scientific article
From MaRDI portal
Publication:3971260
zbMath0757.68076MaRDI QIDQ3971260
Publication date: 25 June 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55)
Related Items
Dynamic interpretations of constraint-based grammar formalisms ⋮ Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems ⋮ Relations as abstract datatypes: An institution to specify relations between algebras ⋮ Equivalence is in the eye of the beholder ⋮ Ibn Sīnā on Analysis: 1. Proof Search. Or: Abstract State Machines as a Tool for History of Logic ⋮ Automata network dynamical systems for construction of fractal objects ⋮ Specification and correctness proof of a WAM extension with abstract type constraints ⋮ Abstract state machines and computationally complete query languages