Found: 4
Select item for more details and to access through your institution.
REASONING WITH FINITE SETS AND CARDINALITY CONSTRAINTS IN SMT.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 4, p. 1, doi. 10.23638/LMCS-14(4:12)2018
- By:
- Publication type:
- Article
DO HARD SAT-RELATED REASONING TASKS BECOME EASIER IN THE KROM FRAGMENT?
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 4, p. 1, doi. 10.23638/LMCS-14(4:10)2018
- By:
- Publication type:
- Article
INTUITIONISTIC LAYERED GRAPH LOGIC: SEMANTICS AND PROOF THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 4, p. 1, doi. 10.23638/LMCS-14(4:11)2018
- By:
- Publication type:
- Article
GAME CHARACTERIZATION OF PROBABILISTIC BISIMILARITY, AND APPLICATIONS TO PUSHDOWN AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 4, p. 1, doi. 10.23638/LMCS-14(4:13)2018
- By:
- Publication type:
- Article