PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Tarlecki, Andrzej"

Author of the publication

copydeleteadd this publication to your clipboard
Amalgamation in the semantics of CASL.

, , , , and . Theor. Comput. Sci., 331 (1): 215-247 (2005)

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.

No persons found for author name Tarlecki, Andrzej
add a person with the name Tarlecki, Andrzej
 

Other publications of authors with the same name

Structured Theory Presentations and Logic Representations., , and . Ann. Pure Appl. Logic, 67 (1-3): 113-160 (1994)Algebraic Methods for Specification and Formal Development of Programs., and . ACM Comput. Surv., 31 (3es): 10 (1999)Toward Specifications for Reconfigurable Component Systems.. ICATPN, volume 4546 of Lecture Notes in Computer Science, page 24-28. Springer, (2007)Horizontal Composability Revisited., and . Essays Dedicated to Joseph A. Goguen, volume 4060 of Lecture Notes in Computer Science, page 296-316. Springer, (2006)The Foundational Legacy of ASL., and . Software, Services, and Systems, volume 8950 of Lecture Notes in Computer Science, page 253-272. Springer, (2015)A Three-Valued Logic for Software Specification and Validation., , and . VDM Europe, volume 328 of Lecture Notes in Computer Science, page 218-242. Springer, (1988)Towards Formal Development of Programs from Algebraic Specifications: Model-Theoretic Foundations., and . ICALP, volume 623 of Lecture Notes in Computer Science, page 656-671. Springer, (1992)Global Development via Local Observational Construction Steps., , and . MFCS, volume 2420 of Lecture Notes in Computer Science, page 1-24. Springer, (2002)Bits and Pieces of the Theory of Institutions.. CTCS, volume 240 of Lecture Notes in Computer Science, page 334-365. Springer, (1985)The Definition of Extended ML: A Gentle Introduction., , and . Theor. Comput. Sci., 173 (2): 445-484 (1997)