scientific article; zbMATH DE number 868103

MaRDI QIDQ4873986zbMATH OpenFDO

Authors Egon Börger

Publication date 21 April 1996

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(6)

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

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)