scientific article; zbMATH DE number 868103

MaRDI QIDQ4873986zbMATH OpenFDO

Authors Egon Börger

Publication date 21 April 1996

Mathematics Subject Classification ID

General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to computer science (68-00) Logic programming (68N17) Abstract data types; algebraic specification (68Q65)

Recommendations

• Evolving Algebras 1993: Lipari Guide
• scientific article; zbMATH DE number 1156869
• scientific article; zbMATH DE number 1162796

Cited in

(6)

• Equivalence is in the eye of the beholder
• scientific article; zbMATH DE number 1162796 (Why is no real title available?)
• Evolving Algebras 1993: Lipari Guide
• Metafinite model theory
• An evolving algebra abstract machine
• The railroad crossing problem: an experiment with instantaneous actions and immediate reactions

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 Q4873986)