scientific article; zbMATH DE number 868103

zbMATH Open0844.68001MaRDI QIDQ4873986FDOQ4873986

Authors: Egon Börger 

Publication date: 21 April 1996

Title of this publication is not available (Why is that?)

Recommendations

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

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)

Cited In (5)

• Metafinite model theory
• An evolving algebra abstract machine
• The railroad crossing problem: an experiment with instantaneous actions and immediate reactions
• Equivalence is in the eye of the beholder
• Title not available (Why is that?)

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)