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
Works matching IS 18605974 AND DT 2016 AND VI 12 AND IP 2
Results: 11
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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