scientific article; zbMATH DE number 1324839
From MaRDI portal
Publication:4255593
zbMath0973.68002MaRDI QIDQ4255593
No author found.
Publication date: 18 August 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Collections of articles of miscellaneous specific interest (00B15) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (11)
Formal software development in the Verification Support Environment (VSE) ⋮ A Proof Theoretic Interpretation of Model Theoretic Hiding ⋮ Combining Graph Transformation and Algebraic Specification into Model Transformation ⋮ Constructor-based observational logic ⋮ A formally grounded software specification method ⋮ Generalized interpolation in CASL ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ From Grammars and Automata to Algebras and Coalgebras ⋮ Observational interpretation of Casl specifications ⋮ Some Co-Birkhoff Type Theorems ⋮ Logical systems for structured specifications.
Uses Software
This page was built for publication:
