scientific article; zbMATH DE number 2090037

MaRDI QIDQ4808705zbMATH OpenFDO

Authors Marc Aiguier, Diane Bahrami, Catherine Dubois

Publication date 12 August 2004

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

zbMATH Keywords

term rewritingformal systemlogicalitysemi-commutationabstract convertibility relationabstract rewrite treeintegration of logical reasoning and computer algebra

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Structure of proofs (03F07)

Recommendations

• Logicality of conditional rewrite systems
• scientific article; zbMATH DE number 1231663
• scientific article; zbMATH DE number 785049
• scientific article; zbMATH DE number 4092821
• scientific article; zbMATH DE number 1342254

Cited in

(9)

• Functional and Logic Programming
• Structures for abstract rewriting
• A formal theory of generalized intermediate syllogisms
• The logic of generalized truth values and the logic of bilattices
• A Note on Goddard and Routley's Significance Logic
• The bounds of logic. A generalized viewpoint
• scientific article; zbMATH DE number 4132122 (Why is no real title available?)
• General Criterion for Essential Nonfault Locatability of Logical Functions
• Some general results about proof normalization

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