scientific article; zbMATH DE number 1951192

MaRDI QIDQ4413680zbMATH OpenFDO

Authors Egon Börger, Tommaso Bolognesi

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890218.htm

Mathematics Subject Classification ID

Searching and sorting (68P10) Functional programming and lambda calculus (68N18)

Recommendations

• scientific article; zbMATH DE number 1951194
• scientific article; zbMATH DE number 1543042
• Abstract State Machines 2004. Advances in Theory and Practice
• A behavioural theory of recursive algorithms
• scientific article; zbMATH DE number 2155186

Cited in

(5)

• Abstract state machines: a unifying view of models of computation and of system design frameworks
• A high-level modular definition of the semantics of C\(_{\sharp}\)
• Abstract State Machines 2004. Advances in Theory and Practice
• scientific article; zbMATH DE number 1951194 (Why is no real title available?)
• A behavioural theory of recursive algorithms

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