Publication:2724155
From MaRDI portal
zbMath1009.03001MaRDI QIDQ2724155
Publication date: 9 July 2001
complexityresolutiontemporal logiclogic programmingbinary decision diagramsclassical logicHoare logicGentzen systemssemantic tableauxHilbert systems
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Logic in artificial intelligence (68T27) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Mechanization of proofs and logical operations (03B35) Logic programming (68N17) Temporal logic (03B44)
Related Items
The HeKatE methodology. Hybrid engineering of intelligent systems, Finite-state automata in information technologies, Functional PearlDeduction for functional programmers, Similarity saturation for first order linear temporal logic with UNLESS