scientific article; zbMATH DE number 18623

zbMATH Open0790.68103MaRDI QIDQ3976027FDOQ3976027

Authors: Jean-Pierre Jouannaud 

Publication date: 26 June 1992

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

zbMATH Keywords

complexity of proof procedures

Mathematics Subject Classification ID

Parallel algorithms in computer science (68W10) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• Complete axiomatizations of some quotient term algebras
• Unification and Matching in Hierarchical Combinations of Syntactic Theories

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