Works matching IS 18605974 AND DT 2014 AND VI 10 AND IP 4
Results: 21
GLOBALLY GOVERNED SESSION SEMANTICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/lmcs-10(4:20)2014
- By:
- Publication type:
- Article
A ROBUST CLASS OF DATA LANGUAGES AND AN APPLICATION TO LEARNING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:19)2014
- By:
- Publication type:
- Article
QUANTIFIED CTL: EXPRESSIVENESS AND COMPLEXITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:17)2014
- By:
- Publication type:
- Article
SUB-COMPUTABLE BOUNDED RANDOMNESS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:15)2014
- By:
- Publication type:
- Article
ALGORITHMIC RANDOMNESS FOR DOOB'S MARTINGALE CONVERGENCE THEOREM IN CONTINUOUS TIME.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:12)2014
- By:
- Publication type:
- Article
COST PRESERVING BISIMULATIONS FOR PROBABILISTIC AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:11)2014
- By:
- Publication type:
- Article
ON THE RELATION OF INTERACTION SEMANTICS TO CONTINUATIONS AND DEFUNCTIONALIZATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:10)2014
- By:
- Publication type:
- Article
STOCHASTIC PARITY GAMES ON LOSSY CHANNEL SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:21)2014
- By:
- Publication type:
- Article
COMPUTING A SOLUTION OF FEIGENBAUM'S FUNCTIONAL EQUATION IN POLYNOMIAL TIME.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:7)2014
- By:
- Publication type:
- Article
STOCHASTIC TIMED AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:6)2014
- By:
- Publication type:
- Article
FULL ABSTRACTION FOR FAIR TESTING IN CCS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:2)2014
- By:
- Publication type:
- Article
ON THE STRICTNESS OF THE QUANTIFIER STRUCTURE HIERARCHY IN FIRST-ORDER LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:3)2014
- By:
- Publication type:
- Article
STATE OF BÜCHI COMPLEMENTATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:13)2014
- By:
- Publication type:
- Article
DECIDABILITY PROBLEMS FOR ACTOR SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:5)2014
- By:
- Publication type:
- Article
BEYOND Q-RESOLUTION AND PRENEX FORM: A PROOF SYSTEM FOR QUANTIFIED CONSTRAINT SATISFACTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:14)2014
- By:
- Publication type:
- Article
GLOBAL SEMANTIC TYPING FOR INDUCTIVE AND COINDUCTIVE COMPUTING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:18)2014
- By:
- Publication type:
- Article
BOUNDED VARIATION AND THE STRENGTH OF HELLY'S SELECTION THEOREM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:16)2014
- By:
- Publication type:
- Article
CONNECTION MATRICES AND THE DEFINABILITY OF GRAPH PARAMETERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:1)2014
- By:
- Publication type:
- Article
AN EFFECT SYSTEM FOR ALGEBRAIC EFFECTS AND HANDLERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:9)2014
- By:
- Publication type:
- Article
THE POWER OF PRIORITY CHANNEL SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:4)2014
- By:
- Publication type:
- Article
CALL-BY-VALUE, CALL-BY-NAME AND THE VECTORIAL BEHAVIOUR OF THE ALGEBRAIC λ-CALCULUS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 4, p. 1, doi. 10.2168/LMCS-10(4:8)2014
- By:
- Publication type:
- Article