Works matching IS 18605974 AND DT 2016 AND VI 12 AND IP 3
Results: 12
ON NATURAL DEDUCTION FOR HERBRAND CONSTRUCTIVE LOGICS I: CURRY-HOWARD CORRESPONDENCE FOR DUMMETT'S LOGIC LC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:13)2016
- By:
- Publication type:
- Article
DATA OPTIMIZATIONS FOR CONSTRAINT AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:11)2016
- By:
- Publication type:
- Article
SOLVING FINITE-DOMAIN LINEAR CONSTRAINTS IN PRESENCE OF THE ALLDIFFERENT.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:5)2016
- By:
- Publication type:
- Article
SYNTHESIS OF STRATEGIES USING THE HOARE LOGIC OF ANGELIC AND DEMONIC NONDETERMINISM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:6)2016
- By:
- Publication type:
- Article
THE GUARDED LAMBDA-CALCULUS: PROGRAMMING AND REASONING WITH GUARDED RECURSION FOR COINDUCTIVE TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:7)2016
- By:
- Publication type:
- Article
DUALIZED SIMPLE TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:2)2016
- By:
- Publication type:
- Article
BLOCK STRUCTURE VS SCOPE EXTRUSION: BETWEEN INNOCENCE AND OMNISCIENCE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:3)2016
- By:
- Publication type:
- Article
REASONING ABOUT DATA REPETITIONS WITH COUNTER SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:1)2016
- By:
- Publication type:
- Article
Z-STABILITY IN CONSTRUCTIVE ANALYSIS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:10)2016
- By:
- Publication type:
- Article
BUILD YOUR OWN CLARITHMETIC II: SOUNDNESS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:12)2016
- By:
- Publication type:
- Article
IDEMPOTENTS IN INTENSIONAL TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:9)2016
- By:
- Publication type:
- Article
HOW MUCH LOOKAHEAD IS NEEDED TO WIN INFINITE GAMES?
- Published in:
- Logical Methods in Computer Science (LMCS), 2016, v. 12, n. 3, p. 1, doi. 10.2168/LMCS-12(3:4)2016
- By:
- Publication type:
- Article