Found: 8
Select item for more details and to access through your institution.
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
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
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
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
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
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
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
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