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