scientific article; zbMATH DE number 8772
From MaRDI portal
Publication:3971260
zbMATH Open0757.68076MaRDI QIDQ3971260FDOQ3971260
Authors: Yuri Gurevich 
Publication date: 25 June 1992
Title of this publication is not available (Why is that?)
Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)
Cited In (12)
- \textsf{lean}\textit{EA}: a lean evolving algebra compiler
- An evolving algebra abstract machine
- Equivalence is in the eye of the beholder
- Relations as abstract datatypes: An institution to specify relations between algebras
- Dynamic interpretations of constraint-based grammar formalisms
- Abstract state machines and computationally complete query languages
- Automata network dynamical systems for construction of fractal objects
- Evolution of algebraic terms. I: Term to term operation continuity
- Specification and correctness proof of a WAM extension with abstract type constraints
- Ibn Sīnā on analysis. I. Proof search. Or: Abstract state machines as a tool for history of logic
- Title not available (Why is that?)
- Construction and analysis of ground models and their refinements as a foundation for validating computer-based systems
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3971260)
