scientific article

zbMATH Open0981.68635MaRDI QIDQ2778866

Michaël Rusinowitch

Publication date: 21 March 2002

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2051/20510002

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

Mathematics Subject Classification ID

Computing methodologies and applications (68U99) Grammars and rewriting systems (68Q42)

Related Items (5)

Title not available (Why is that?) ⋮ Deductive verification in decidable fragments with Ivy ⋮ A rewriting approach to satisfiability procedures. ⋮ A paramodulation-based calculus for refuting schemata of clause sets defined by rewrite rules ⋮ Rewriting Techniques and Applications

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