( en | de | ru )

 

Disambiguierung von "Tarlecki, Andrzej"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
CASL, the Common Algebraic Specification Language

, , , und . Logics of formal specification languages, Volume 22 von Monographs in Theoretical Computer Science, Kapitel 3, Springer-Verlag Heidelberg, (2008)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Andrzej Debski

Andrzej Lingas

Andrzej Szczerbakow

Andrzej Szplit

Andrzej Tamborek

 

Weitere Publikationen von Autoren mit dem selben Namen

A Naive Domain Universe for VDM., und . VDM Europe, Volume 428 von Lecture Notes in Computer Science, Seite 552-579. Springer, (1990)Formal Development of ML Programs: Methodological Aspects., und . ADT, (1988)Continuous abstract data types: basic machinery and results., und . FCT, Volume 199 von Lecture Notes in Computer Science, Seite 431-441. Springer, (1985)The Semantics of Extended ML: A Gentle Introduction., , und . Semantics of Specification Languages, Seite 186-215. Springer, (1993)CASL, the Common Algebraic Specification Language, , , und . Logics of formal specification languages, Volume 22 von Monographs in Theoretical Computer Science, Kapitel 3, Springer-Verlag Heidelberg, (2008)Algebraic Specification with Built-in Domain Constructions., , und . CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 132-148. Springer, (1988)Amalgamation in CASL via Enriched Signatures., , und . ICALP, Volume 2076 von Lecture Notes in Computer Science, Seite 993-1004. Springer, (2001)What is a Logic? (revised version), , , und . Logica Universalis, second edition, Seite 111-133. Birkhäuser, (2007)Amalgamation via enriched CASL signatures, , und . International Colloquium on Automata, Languages and Programming (ICALP 2001), Volume 2076 von Lecture Notes in Computer Science, Seite 993-1004. Springer; Berlin; http://www.springer.de, (2001)Amalgamation in the semantics of CASL, , , , und . Theoretical Computer Science, 331 (1): 215-247 (2005)