DISTRIBUTION BISIMILARITY VIA THE POWER OF CONVEX ALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:10)2021
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2021 AND VI 17 AND IP 3
Results: 15
1
2
ON P/Q-RECOGNISABLE SETS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:12)2021
- By:
- Publication type:
- Article
3
A CHARACTERISATION OF OPEN BISIMILARITY USING AN INTUITIONISTIC MODAL LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:2)2021
- By:
- Publication type:
- Article
4
A DETAILED ACCOUNT OF THE INCONSISTENT LABELLING PROBLEM OF STUTTER-PRESERVING PARTIAL-ORDER REDUCTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:8)2021
- By:
- Publication type:
- Article
5
MULTIMODAL DEPENDENT TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:11)2021
- By:
- Publication type:
- Article
6
FOUNDATIONS OF ONLINE STRUCTURE THEORY II: THE OPERATOR APPROACH.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:6)2021
- By:
- Publication type:
- Article
7
RELOC RELOADED: A MECHANIZED RELATIONAL LOGIC FOR FINE-GRAINED CONCURRENCY AND LOGICAL ATOMICITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:9)2021
- By:
- Publication type:
- Article
8
AXIOMATIZING HYBRID XPATH WITH DATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:5)2021
- By:
- Publication type:
- Article
9
RELATING APARTNESS AND BISIMULATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:15)2021
- By:
- Publication type:
- Article
10
PUMPING LEMMAS FOR WEIGHTED AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:7)2021
- By:
- Publication type:
- Article
11
ON THE UNION CLOSED FRAGMENT OF EXISTENTIAL SECOND-ORDER LOGIC AND LOGICS WITH TEAM SEMANTICS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:14)2021
- By:
- Publication type:
- Article
12
AFFINE EXTENSIONS OF INTEGER VECTOR ADDITION SYSTEMS WITH STATES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:1)2021
- By:
- Publication type:
- Article
13
THE COMPLEXITY OF REACHABILITY IN AFFINE VECTOR ADDITION SYSTEMS WITH STATES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:3)2021
- By:
- Publication type:
- Article
14
REPRESENTING CONTINUOUS FUNCTIONS BETWEEN GREATEST FIXED POINTS OF INDEXED CONTAINERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:13)2021
- By:
- Publication type:
- Article
15
PRESBURGER ARITHMETIC WITH ALGEBRAIC SCALAR MULTIPLICATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2021, v. 17, n. 3, p. 1, doi. 10.46298/LMCS-17(3:4)2021
- By:
- Publication type:
- Article