Found: 11
Select item for more details and to access through your institution.
USING HIGHER-ORDER CONTRACTS TO MODEL SESSION TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:10)2016
- By:
- Publication type:
- Article
CERTIFIED CONTEXT-FREE PARSING: A FORMALISATION OF VALIANT'S ALGORITHM IN AGDA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:6)2016
- By:
- Publication type:
- Article
GENERIC ALGORITHMS FOR HALTING PROBLEM AND OPTIMAL MACHINES REVISITED.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:1)2016
- By:
- Publication type:
- Article
ON THE CHARACTERIZATION OF MODELS OF H*: THE SEMANTICAL ASPECT.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/lmcs-12(2:4)2016
- By:
- Publication type:
- Article
QUASIPOLYNOMIAL NORMALISATION IN DEEP INFERENCE VIA ATOMIC FLOWS AND THRESHOLD FORMULAE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/lmcs-12(2:5)2016
- By:
- Publication type:
- Article
FORMALIZED LINEAR ALGEBRA OVER ELEMENTARY DIVISOR RINGS IN COQ.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:7)2016
- By:
- Publication type:
- Article
NON-OBFUSCATED UNPROVABLE PROGRAMS & MANY RESULTANT SUBTLETIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:2)2016
- By:
- Publication type:
- Article
TWO-VARIABLE LOGIC WITH COUNTING AND A LINEAR ORDER.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:8)2016
- By:
- Publication type:
- Article
NO SOLVABLE LAMBDA-VALUE TERM LEFT BEHIND.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:12)2016
- By:
- Publication type:
- Article
FO<sup>2</sup>(<,+1,~) ON DATA TREES, DATA TREE AUTOMATA AND BRANCHING VECTOR ADDITION SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:3)2016
- By:
- Publication type:
- Article
THE LARGEST RESPECTFUL FUNCTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 2, p. 1, doi. 10.2168/LMCS-12(2:11)2016
- By:
- Publication type:
- Article