scientific article; zbMATH DE number 1497750

zbMATH Open0958.68155MaRDI QIDQ4499161FDOQ4499161

Authors:

Publication date: 6 March 2001

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

Recommendations

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

zbMATH Keywords

evidence algorithmaction language

Mathematics Subject Classification ID

Cites Work

• Truly concurrent constraint programming
• Process algebra for synchronous communication
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some problems in the theories of automata and artificial intelligence
• Conditional rewriting logic as a unified model of concurrency
• Computations in APS
• A general theory of action languages
• Implementation of numerical-analytical approximation methods for functions defined by ordinary differential equations

Cited In (3)

• Deductive tools of an algebraic programming system
• Title not available (Why is that?)
• Mathematical Knowledge Management

Uses Software

• APS-1
• APS

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)