Found: 18
Select item for more details and to access through your institution.
UNIFICATION MODULO A 2-SORTED EQUATIONAL THEORY FOR CIPHER-DECIPHER BLOCK CHAINING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:5)2014
- By:
- Publication type:
- Article
KNOWLEDGE SPACES AND THE COMPLETENESS OF LEARNING STRATEGIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:9)2014
- By:
- Publication type:
- Article
REVISITING TRACE AND TESTING EQUIVALENCES FOR NONDETERMINISTIC AND PROBABILISTIC PROCESSES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:16)2014
- By:
- Publication type:
- Article
MONADIC SECOND-ORDER DEFINABLE GRAPH ORDERINGS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:2)2014
- By:
- Publication type:
- Article
EXACT AND APPROXIMATE DETERMINIZATION OF DISCOUNTED-SUM AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:10)2014
- By:
- Publication type:
- Article
UNIVERSAL FIRST-ORDER LOGIC IS SUPERFLUOUS FOR NL, P, NP AND CO NP.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:15)2014
- By:
- Publication type:
- Article
MARKOV DECISION PROCESSES WITH MULTIPLE LONG-RUN AVERAGE OBJECTIVES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:13)2014
- By:
- Publication type:
- Article
ABOUT THE RANGE PROPERTY FOR H.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:3)2014
- By:
- Publication type:
- Article
THE COMPLEXITY OF THE FIRST-ORDER THEORY OF GROUND TREE REWRITE GRAPHS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:7)2014
- By:
- Publication type:
- Article
THE SIZE-CHANGE TERMINATION PRINCIPLE FOR CONSTRUCTOR BASED LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:11)2014
- By:
- Publication type:
- Article
PARAMETERIZED SYNTHESIS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:12)2014
- By:
- Publication type:
- Article
LINEAR TEMPORAL LOGIC FOR REGULAR COST FUNCTIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:4)2014
- By:
- Publication type:
- Article
MODEL CHECKING LOWER BOUNDS FOR SIMPLE GRAPHS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:18)2014
- By:
- Publication type:
- Article
THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENT.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:1)2014
- By:
- Publication type:
- Article
Behavioral Equivalences.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:17)2014
- By:
- Publication type:
- Article
A PROOF OF KAMP'S THEOREM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:14)2014
- By:
- Publication type:
- Article
SEPARATION PROPERTY FOR ?B- AND ?S-REGULAR LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:8)2014
- By:
- Publication type:
- Article
MODULAR COMPLEXITY ANALYSIS FOR TERM REWRITING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2014, v. 10, n. 1, p. 1, doi. 10.2168/LMCS-10(1:19)2014
- By:
- Publication type:
- Article