scientific article; zbMATH DE number 3819689

zbMATH Open0518.03004MaRDI QIDQ3666824FDOQ3666824

Authors: Chinliang Chang, Richard Chartung Lee 

Publication date: 1983

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

zbMATH Keywords

classical logical systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)

Cited In (2)

• Harmonization of automata specifications represented in the language L
• Using the VIRT programming language for automatic theorem proving

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