scientific article; zbMATH DE number 3819689

MaRDI QIDQ3666824zbMATH OpenFDO

Authors Chinliang Chang, Richard Chartung Lee

Publication date 1983

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)