( en | de | ru )

 

Disambiguation of "Tarlecki, Andrzej"

Author of the publication

copydeleteadd this publication to your clipboard
CASL Semantics

, , , , , , and . CASL Reference Manual, volume 2960 of Lecture Notes in Computer Science, chapter ÏII, Springer Verlag, London, Ëdited by D. Sannella and A. Tarlecki.(2004)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Andrzej Lingas

Andrzej Debski

Andrzej Szplit

Andrzej Tamborek

Andrzej Szczerbakow

 

Other publications of authors with the same name

Existence, Uniqueness, and Construction of Rewrite Systems., , and . SIAM J. Comput., 17 (4): 629-639 (1988)Formal Development of ML Programs: Methodological Aspects., and . ADT, (1988)Continuous abstract data types: basic machinery and results., and . FCT, volume 199 of Lecture Notes in Computer Science, page 431-441. Springer, (1985)Algebraic Specification with Built-in Domain Constructions., , and . CAAP, volume 299 of Lecture Notes in Computer Science, page 132-148. Springer, (1988)A Naive Domain Universe for VDM., and . VDM Europe, volume 428 of Lecture Notes in Computer Science, page 552-579. Springer, (1990)CASL, the Common Algebraic Specification Language, , , and . Logics of formal specification languages, volume 22 of Monographs in Theoretical Computer Science, chapter 3, Springer-Verlag Heidelberg, (2008)The Semantics of Extended ML: A Gentle Introduction., , and . Semantics of Specification Languages, page 186-215. Springer, (1993)Amalgamation in CASL via Enriched Signatures., , and . ICALP, volume 2076 of Lecture Notes in Computer Science, page 993-1004. Springer, (2001)First-Order Specifications of Programmable Data Types., , , and . SIAM J. Comput., 30 (6): 2084-2096 (2000)Checking amalgamability conditions for CASL architectural specifications, , , , and . Mathematical Foundations of Computer Science, volume 2136 of Lecture Notes in Computer Science, page 512--523. Springer; Berlin; http://www.springer.de, (2001)