scientific article; zbMATH DE number 1231674

MaRDI QIDQ4223002zbMATH OpenFDO

Authors José Meseguer, Carolyn Talcott

Publication date 7 January 1999

Full work available at URL http://www.elsevier.com/cas/tree/store/tcs/free/entcs/store/contents.htt?jrnl=tcs&sctn=entcs&mode=sub&vol=15#15023

zbMATH Keywords

open mechanized reasoning systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) General topics in artificial intelligence (68T01)

Recommendations

• scientific article; zbMATH DE number 1231668
• scientific article; zbMATH DE number 1497753
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• scientific article; zbMATH DE number 1231543

Cited in

(5)

• Actor theories in rewriting logic
• scientific article; zbMATH DE number 1231668 (Why is no real title available?)
• scientific article; zbMATH DE number 1497753 (Why is no real title available?)
• Reasoning theories. Toward an architecture for open mechanized reasoning systems
• The control layer in open mechanized reasoning systems: Annotations and tactics

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