RANKING TEMPLATES FOR LINEAR LOOPS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:16)2015
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2015 AND VI 11 AND IP 1
Results: 19
1
2
ASPECT-ORIENTED LINEARIZABILITY PROOFS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:20)2015
- By:
- Publication type:
- Article
3
BIALGEBRAIC SEMANTICS FOR LOGIC PROGRAMMING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:14)2015
- By:
- Publication type:
- Article
4
ON THE RELATIVE PROOF COMPLEXITY OF DEEP INFERENCE VIA ATOMIC FLOWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:4)2015
- By:
- Publication type:
- Article
5
POSITIVE INDUCTIVE-RECURSIVE DEFINITIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:13)2015
- By:
- Publication type:
- Article
6
SIMULATION IN THE CALL-BY-NEED LAMBDA-CALCULUS WITH LETREC, CASE, CONSTRUCTORS, AND SEQ.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:7)2015
- By:
- Publication type:
- Article
7
THE EXTENSIONAL REALIZABILITY MODEL OF CONTINUOUS FUNCTIONALS AND THREE WEAKLY NON-CONSTRUCTIVE CLASSICAL THEOREMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:8)2015
- By:
- Publication type:
- Article
8
EXTRACTING VERIFIED DECISION PROCEDURES: DPLL AND RESOLUTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:6)2015
- By:
- Publication type:
- Article
9
COMPLEXITY OF PROBLEMS OF COMMUTATIVE GRAMMARS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:9)2015
- By:
- Publication type:
- Article
10
EFFECTIVE ZERO-DIMENSIONALITY FOR COMPUTABLE METRIC SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:11)2015
- By:
- Publication type:
- Article
11
MONADS NEED NOT BE ENDOFUNCTORS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:3)2015
- By:
- Publication type:
- Article
12
A HOARE LOGIC FOR THE COINDUCTIVE TRACE-BASED BIG-STEP SEMANTICS OF WHILE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:1)2015
- By:
- Publication type:
- Article
13
PROGRAM LOGICS FOR HOMOGENEOUS GENERATIVE RUN-TIME META-PROGRAMMING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:5)2015
- By:
- Publication type:
- Article
14
PERMISSION-BASED SEPARATION LOGIC FOR MULTITHREADED JAVA PROGRAMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:2)2015
- By:
- Publication type:
- Article
15
MODELLING MAC-LAYER COMMUNICATIONS IN WIRELESS SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:18)2015
- By:
- Publication type:
- Article
16
THE COMPUTATIONAL COMPLEXITY OF PROPOSITIONAL CIRQUENT CALCULUS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/lmcs-11(1:12)2015
- By:
- Publication type:
- Article
17
HIGH-LEVEL COUNTEREXAMPLES FOR PROBABILISTIC AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:15)2015
- By:
- Publication type:
- Article
18
KERNELIZING MSO PROPERTIES OF TREES OF FIXED HEIGHT, AND SOME CONSEQUENCES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:19)2015
- By:
- Publication type:
- Article
19
WEAK CAT-OPERADS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2015, v. 11, n. 1, p. 1, doi. 10.2168/LMCS-11(1:10)2015
- By:
- Publication type:
- Article