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

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

Cited in

(4)

• Using the VIRT programming language for automatic theorem proving
• Harmonization of automata specifications represented in the language L
• Backdoors in combinatorial problems and their probabilistic generalizations
• Constructing algebraic attacks on lightweight symmetric ciphers using functions with small number of output bits

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)