Publication:3365224
From MaRDI portal
zbMath0922.00008MaRDI QIDQ3365224
No author found.
Publication date: 1999
00B15: Collections of articles of miscellaneous specific interest
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
Related Items
Swinging types=functions+relations+transition systems, Maude: specification and programming in rewriting logic, CASL: the Common Algebraic Specification Language., Observational logic, constructor-based logic, and their duality.