Realizability modulo theories
From MaRDI portal
Publication:6561346
DOI10.1016/J.JLAMP.2024.100971MaRDI QIDQ6561346FDOQ6561346
Authors: Andoni Rodríguez, César Sánchez 
Publication date: 25 June 2024
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Cites Work
- A Decision Procedure for the First Order Theory of Real Addition with Order
- Title not available (Why is that?)
- Title not available (Why is that?)
- Automata, logics, and infinite games. A guide to current research
- A new decision method for elementary algebra
- A \(2^{2^{2^{pn}}}\) upper bound on the complexity of Presburger arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- Verification, Model Checking, and Abstract Interpretation
- Title not available (Why is that?)
- Synthesis of Reactive(1) designs
- Church’s Problem and a Tour through Automata Theory
- Definability and decision problems in arithmetic
- Verification, Model Checking, and Abstract Interpretation
- Title not available (Why is that?)
- Title not available (Why is that?)
- Reactive synthesis from signal temporal logic specifications
- Title not available (Why is that?)
- A constraint-based approach to solving games on infinite graphs
- Causality-based game solving
- Alfred Tarski's elimination theory for real closed fields
- Title not available (Why is that?)
- Title not available (Why is that?)
- Decidable \({\exists}^*{\forall}^*\) first-order fragments of linear rational arithmetic with uninterpreted predicates
- Vacuity in synthesis
- Synthesis with Identifiers
- Bounded synthesis of register transducers
- On synthesis of specifications with arithmetic
- LTL with arithmetic and its applications in reasoning about hierarchical systems
- Title not available (Why is that?)
- Temporal stream logic modulo theories
- Temporal stream logic: synthesis beyond the Bools
- Boolean abstractions for realizability modulo theories
This page was built for publication: Realizability modulo theories
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6561346)
