0 citations
Decidable Theories I
Lecture notes in mathematics1970
Citations Over TimeTop 16% of 1970 papers
Related Papers
- Walking the decidability line for rules with existential variables(2010)
- → Epistemic Logics with Quantification Over Epistemic Operators: Decidability and Expressiveness(2023)3 cited
- → Deciding the Verification Problem for Abstract State Machines(2003)6 cited
- → On Reachability Problem for Linear Hybrid Systems(2002)
- → On the decidability of finite extensions of decidable fields(2018)