scientific article; zbMATH DE number 1368949
From MaRDI portal
Publication:4702593
zbMath0949.03028MaRDI QIDQ4702593
Horst Reichel, Till Mossakowski, Maura Cerioli
Publication date: 24 November 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
free modelsdata type specificationalgebraic frameworksconditional fragmentserror algebrasorder-sortednesspartial first-order logic
Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Classical first-order logic (03B10)
Related Items (5)
Inversive meadows and divisive meadows ⋮ Dynamic Reconfiguration via Typed Modalities ⋮ Some Co-Birkhoff Type Theorems ⋮ CASL: the Common Algebraic Specification Language. ⋮ Relating CASL with other specification languages: the institution level.
This page was built for publication:
