scientific article; zbMATH DE number 578242

MaRDI QIDQ4293537zbMATH OpenFDO

Authors Mordechai Ben-Ari

Publication date 29 May 1994

zbMATH Keywords

complexityfinally resolutionGentzen systemsHilbert systemsinference systemssemantic tableauxtemporal logic

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 53085
• Logic for computer scientists
• scientific article; zbMATH DE number 1615755
• scientific article; zbMATH DE number 194217

Cited in

(15)

• Temporal aspects of the modal logic of subset spaces
• scientific article; zbMATH DE number 1615755 (Why is no real title available?)
• scientific article; zbMATH DE number 46338 (Why is no real title available?)
• scientific article; zbMATH DE number 53085 (Why is no real title available?)
• scientific article; zbMATH DE number 108434 (Why is no real title available?)
• scientific article; zbMATH DE number 194217 (Why is no real title available?)
• scientific article; zbMATH DE number 1852932 (Why is no real title available?)
• scientific article; zbMATH DE number 793951 (Why is no real title available?)
• scientific article; zbMATH DE number 914492 (Why is no real title available?)
• scientific article; zbMATH DE number 1446599 (Why is no real title available?)
• Logic for computer scientists
• scientific article; zbMATH DE number 5063195 (Why is no real title available?)
• scientific article; zbMATH DE number 2239771 (Why is no real title available?)
• Logic calculi in informatics. How is logic used by the computer?
• Mathematical logic. Foundations for information science

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