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
Works matching IS 18605974 AND DT 2014 AND VI 10 AND IP 1
Results: 18
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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