scientific article; zbMATH DE number 2090037

zbMath1072.68536MaRDI QIDQ4808705

Diane Bahrami, Marc Aiguier, Catherine Dubois

Publication date: 12 August 2004

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

formal systemterm rewritinglogicalitysemi-commutationabstract convertibility relationabstract rewrite treeintegration of logical reasoning and computer algebra

Mathematics Subject Classification ID

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

Related Items (2)

Structures for abstract rewriting ⋮ Some general results about proof normalization

This page was built for publication: