scientific article
From MaRDI portal
Publication:3365224
zbMath0922.00008MaRDI QIDQ3365224
No author found.
Publication date: 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)
Related Items (6)
Observational logic, constructor-based logic, and their duality. ⋮ A Maude environment for CafeOBJ ⋮ CoFI with Don Sannella ⋮ Swinging types=functions+relations+transition systems ⋮ CASL: the Common Algebraic Specification Language. ⋮ Maude: specification and programming in rewriting logic
This page was built for publication:
