On conservative extensions of syntax in system development

Research output: Contribution to journalJournal articleResearchpeer-review

Standard

On conservative extensions of syntax in system development. / Blikle, Andrzej; Tarlecki, Andrzej; Thorup, Mikkel.

In: Theoretical Computer Science, Vol. 90, No. 1, 1991, p. 209-233.

Research output: Contribution to journalJournal articleResearchpeer-review

Harvard

Blikle, A, Tarlecki, A & Thorup, M 1991, 'On conservative extensions of syntax in system development', Theoretical Computer Science, vol. 90, no. 1, pp. 209-233.

APA

Blikle, A., Tarlecki, A., & Thorup, M. (1991). On conservative extensions of syntax in system development. Theoretical Computer Science, 90(1), 209-233.

Vancouver

Blikle A, Tarlecki A, Thorup M. On conservative extensions of syntax in system development. Theoretical Computer Science. 1991;90(1):209-233.

Author

Blikle, Andrzej ; Tarlecki, Andrzej ; Thorup, Mikkel. / On conservative extensions of syntax in system development. In: Theoretical Computer Science. 1991 ; Vol. 90, No. 1. pp. 209-233.

Bibtex

@article{5705f7e593344a2f8c6c144646c04c5b,
title = "On conservative extensions of syntax in system development",
author = "Andrzej Blikle and Andrzej Tarlecki and Mikkel Thorup",
note = "Announced at VDM'90",
year = "1991",
language = "English",
volume = "90",
pages = "209--233",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "1",

}

RIS

TY - JOUR

T1 - On conservative extensions of syntax in system development

AU - Blikle, Andrzej

AU - Tarlecki, Andrzej

AU - Thorup, Mikkel

N1 - Announced at VDM'90

PY - 1991

Y1 - 1991

M3 - Journal article

VL - 90

SP - 209

EP - 233

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1

ER -

ID: 98309675