Automated Reasoning

From MaRDI portal

Revision as of 22:06, 8 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:5307057

Jump to:navigation, search

DOI10.1007/b98691zbMath1126.03302OpenAlexW4239036627MaRDI QIDQ5307057

Cesare Tinelli, Silvio Ghilardi, Franz Baader

Publication date: 25 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b98691

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35) Word problems, etc. in computability and recursion theory (03D40)

Related Items (2)

A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Model-theoretic methods in combined constraint satisfiability

This page was built for publication: Automated Reasoning

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:5307057&oldid=19975731"