scientific article

zbMath1009.03001MaRDI QIDQ2724155

Mordechai Ben-Ari

Publication date: 9 July 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

complexityresolutiontemporal logiclogic programmingbinary decision diagramsclassical logicHoare logicGentzen systemssemantic tableauxHilbert systems

Mathematics Subject Classification ID

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 (4)

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

This page was built for publication: