Home
About
Advanced Search
Browse by Discipline
Scientific Societies
E-print Alerts
Add E-prints
FAQ
•
HELP
•
SITE MAP
•
CONTACT US
Search
Advanced Search
Hoffman, Piotr - Instytut Matematyki, Uniwersytet Warszawski
Verifying Architectural Speci cations Piotr Ho man
The Journal of Juristic Papyrology vol. xxxvi (2006), pp. 6790
Union of Equational Theories: An Algebraic Approach ?
Unions of Equational Monadic Theories Piotr Ho man
Reachability in Unions of Commutative Rewriting Systems is Decidable
Verifying Generative Casl Architectural Speci cations
Architectural Speci cations and Their Veri cation
Checking Amalgamability Conditions for CASL Architectural Specifications
Datatypes in Memory David Aspinall1
Semantics of Architectural Speci cations in CASL Lutz Schroder 1 , Till Mossakowski 1 , Andrzej Tarlecki 2;3 , Bartek Klin 4 , and
Unions of Equational Monadic Theories Piotr Ho man
Introduction 3 I Preliminaries 9
