scientific article; zbMATH DE number 939032

MaRDI QIDQ4897208zbMATH OpenFDO

Authors Enshao Shen

Publication date 27 October 1996

zbMATH Keywords

finite model theorymodel theoretic logic

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

Recommendations

• scientific article; zbMATH DE number 3881877
• scientific article; zbMATH DE number 733393
• Finite model theory and its applications.
• scientific article; zbMATH DE number 4021109

Cited in

(9)

• Some notes on graph automata, tiling systems and partition logic
• How the insulator and pseudogap states coalesce beneath the superconductor dome
• scientific article; zbMATH DE number 3881877 (Why is no real title available?)
• scientific article; zbMATH DE number 3851055 (Why is no real title available?)
• Computational model theory: an overview
• scientific article; zbMATH DE number 733393 (Why is no real title available?)
• Model-Theoretic Logics
• The arduous road of modelling: excerpts from records of an enjoyable co-operation of nearly 20 years
• MODEL THEORY AND MACHINE LEARNING

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