REGULAR SEPARABILITY OF ONE COUNTER AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:20)2019
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2019 AND VI 15 AND IP 2
Results: 18
1
2
UPPER BOUNDS ON THE QUANTIFIER DEPTH FOR GRAPH DIFFERENTIATION IN FIRST-ORDER LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:19)2019
- By:
- Publication type:
- Article
3
THE HEIGHT OF PIECEWISE-TESTABLE LANGUAGES AND THE COMPLEXITY OF THE LOGIC OF SUBWORDS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1
- By:
- Publication type:
- Article
4
An ω-Algebra for Real-Time Energy Problems
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:17)2019
- By:
- Publication type:
- Article
5
FEEDBACK COMPUTABILITY ON CANTOR SPACE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:7)2019
- By:
- Publication type:
- Article
6
EVERY METRIC SPACE IS SEPARABLE IN FUNCTION REALIZABILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:14)2019
- By:
- Publication type:
- Article
7
A DENOTATIONAL SEMANTICS FOR SPARC TSO.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:10)2019
- By:
- Publication type:
- Article
8
REWRITABILITY IN MONADIC DISJUNCTIVE DATALOG, MMSNP, AND EXPRESSIVE DESCRIPTION LOGICS
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:15)2019
- By:
- Publication type:
- Article
9
POLISHNESS OF SOME TOPOLOGIES RELATED TO WORD OR TREE AUTOMATA
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:9)2019
- By:
- Publication type:
- Article
10
ON THE EXPRESSIVENESS AND MONITORING OF METRIC TEMPORAL LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:13)2019
- By:
- Publication type:
- Article
11
A STRATEGY FOR DYNAMIC PROGRAMS: START OVER AND MUDDLE THROUGH.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:12)2019
- By:
- Publication type:
- Article
12
COVERING AND SEPARATION FOR LOGICAL FRAGMENTS WITH MODULAR PREDICATES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:11)2019
- By:
- Publication type:
- Article
13
REASONING ABOUT EFFECTS: FROM LISTS TO CYBER-PHYSICAL AGENTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:8)2019
- By:
- Publication type:
- Article
14
PROVING SOUNDNESS OF EXTENSIONAL NORMAL-FORM BISIMILARITIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(1:31)2019
- By:
- Publication type:
- Article
15
CANONICAL MODELS AND THE COMPLEXITY OF MODAL TEAM LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:2)2019
- By:
- Publication type:
- Article
16
STREAMABILITY OF NESTED WORD TRANSDUCTIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:1)2019
- By:
- Publication type:
- Article
17
GENERALISED MERMIN-TYPE NON-LOCALITY ARGUMENTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:3)2019
- By:
- Publication type:
- Article
18
VALIDITY AND ENTAILMENT IN MODAL AND PROPOSITIONAL DEPENDENCE LOGICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2019, v. 15, n. 2, p. 1, doi. 10.23638/LMCS-15(2:4)2019
- By:
- Publication type:
- Article