scientific article; zbMATH DE number 1497750

MaRDI QIDQ4499161zbMATH OpenFDO

Authors

Publication date 6 March 2001

zbMATH Keywords

evidence algorithmaction language

Mathematics Subject Classification ID

Recommendations

• scientific article; zbMATH DE number 622672
• scientific article; zbMATH DE number 125121
• The Theorema Environment for Interactive Proof Development

Cites work

• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• A general theory of action languages
• Computations in APS
• Conditional rewriting logic as a unified model of concurrency
• Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations
• Process algebra for synchronous communication
• Some problems in the theories of automata and artificial intelligence
• Truly concurrent constraint programming

Cited in

(3)

• Deductive tools of an algebraic programming system
• scientific article; zbMATH DE number 5372127 (Why is no real title available?)
• Mathematical Knowledge Management

Describes a project that uses

Uses Software

• APS
• APS-1

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