USING MODELS TO MODEL-CHECK RECURSIVE SCHEMES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/lmcs-11(2:7)2015
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2015 AND VI 11 AND IP 2
Results: 8
1
2
BOUNDING LINEAR HEAD REDUCTION AND VISIBLE INTERACTION THROUGH SKELETONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:6)2015
- By:
- Publication type:
- Article
3
CONTAINMENT FOR CONDITIONAL TREE PATTERNS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:4)2015
- By:
- Publication type:
- Article
4
MUTUALLY TESTING PROCESSES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:1)2015
- By:
- Publication type:
- Article
5
LEARNING AND DESIGNING STOCHASTIC PROCESSES FROM LOGICAL CONSTRAINTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:3)2015
- By:
- Publication type:
- Article
6
LOGICAL STRENGTH OF COMPLEXITY THEORY AND A FORMALIZATION OF THE PCP THEOREM IN BOUNDED ARITHMETIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:8)2015
- By:
- Publication type:
- Article
7
ON REACHABILITY FOR UNIDIRECTIONAL CHANNEL SYSTEMS EXTENDED WITH REGULAR TESTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/LMCS-11(2:2)2015
- By:
- Publication type:
- Article
8
FROM KLEISLI CATEGORIES TO COMMUTATIVE C*-ALGEBRAS: PROBABILISTIC GELFAND DUALITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 2, p. 1, doi. 10.2168/lmcs-11(2:5)2015
- By:
- Publication type:
- Article