scientific article; zbMATH DE number 8772

MaRDI QIDQ3971260zbMATH OpenFDO

Authors Yuri Gurevich

Publication date 25 June 1992

zbMATH Keywords

operational semanticsevolving algebras

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Cited in

(12)

• Equivalence is in the eye of the beholder
• Relations as abstract datatypes: An institution to specify relations between algebras
• \textsf{lean}\textit{EA}: a lean evolving algebra compiler
• An evolving algebra abstract machine
• 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
• scientific article; zbMATH DE number 1162796 (Why is no real title available?)
• 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)