CLOSED SETS AND OPERATORS THEREON: REPRESENTATIONS, COMPUTABILITY AND COMPLEXITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:1)2018
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2018 AND VI 14 AND IP 2
Results: 12
1
2
n-PERMUTABILITY AND LINEAR DATALOG IMPLIES SYMMETRIC DATALOG.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:3)2018
- By:
- Publication type:
- Article
3
DOMAINS VIA APPROXIMATION OPERATORS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:6)2018
- By:
- Publication type:
- Article
4
VAN KAMPEN COLIMITS AND PATH UNIQUENESS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:5)2018
- By:
- Publication type:
- Article
5
MONADIC SECOND ORDER LOGIC WITH MEASURE AND CATEGORY QUANTIFIERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:2)2018
- By:
- Publication type:
- Article
6
A NOTE ON FIRST-ORDER SPECTRA WITH BINARY RELATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:4)2018
- By:
- Publication type:
- Article
7
ANALYZING TIMED SYSTEMS USING TREE AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:8)2018
- By:
- Publication type:
- Article
8
A CATEGORICAL APPROACH TO SYNTACTIC MONOIDS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:9)2018
- By:
- Publication type:
- Article
9
UNIQUENESS OF DIRECTED COMPLETE POSETS BASED ON SCOTT CLOSED SET LATTICES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:10)2018
- By:
- Publication type:
- Article
10
THE LANGUAGE OF STRATIFIED SETS IS CONFLUENT AND STRONGLY NORMALISING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:12)2018
- By:
- Publication type:
- Article
11
A DICHOTOMY FOR FIRST-ORDER REDUCTS OF UNARY STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:13)2018
- By:
- Publication type:
- Article
12
WEIHRAUCH-COMPLETENESS FOR LAYERWISE COMPUTABILITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2018, v. 14, n. 2, p. 1, doi. 10.23638/LMCS-14(2:11)2018
- By:
- Publication type:
- Article