Found: 26
Select item for more details and to access through your institution.
ON THE AXIOMATISABILITY OF PARALLEL COMPOSITION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:15)2022
- By:
- Publication type:
- Article
VERIFYING LIQUIDITY OF RECURSIVE BITCOIN CONTRACTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:22)2022
- By:
- Publication type:
- Article
AN EXTENSIBLE EQUALITY CHECKING ALGORITHM FOR DEPENDENT TYPE THEORIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:17)2022
- By:
- Publication type:
- Article
UNIVERSAL ALGEBRAIC METHODS FOR CONSTRAINT SATISFACTION PROBLEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:12)2022
- By:
- Publication type:
- Article
DUALITY FOR POWERSET COALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:27)2022
- By:
- Publication type:
- Article
CONFORMANCE RELATIONS AND HYPERPROPERTIES FOR DOPING DETECTION IN TIME AND SPACE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:14)2022
- By:
- Publication type:
- Article
OPTIMIZING TREE DECOMPOSITIONS IN MSO.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:26)2022
- By:
- Publication type:
- Article
BOUNDED REACHABILITY PROBLEMS ARE DECIDABLE IN FIFO MACHINES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:19)2022
- By:
- Publication type:
- Article
SATISFIABILITY AND MODEL CHECKING FOR THE LOGIC OF SUB-INTERVALS UNDER THE HOMOGENEITY ASSUMPTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:24)2022
- By:
- Publication type:
- Article
σ-LOCALES IN FORMAL TOPOLOGY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:7)2022
- By:
- Publication type:
- Article
CANONICITY AND HOMOTOPY CANONICITY FOR CUBICAL TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:28)2022
- By:
- Publication type:
- Article
NORMALIZATION FOR PLANAR STRING DIAGRAMS AND A QUADRATIC EQUIVALENCE ALGORITHM.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:10)2022
- By:
- Publication type:
- Article
WEIGHT ANNOTATION IN INFORMATION EXTRACTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:21)2022
- By:
- Publication type:
- Article
FIXED-POINT THEOREMS FOR NON-TRANSITIVE RELATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:30)2022
- By:
- Publication type:
- Article
QUOTIENTS OF BOUNDED NATURAL FUNCTORS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:23)2022
- By:
- Publication type:
- Article
A DUALITY THEORETIC VIEW ON LIMITS OF FINITE STRUCTURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:16)2022
- By:
- Publication type:
- Article
CONDITIONAL BISIMILARITY FOR REACTIVE SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:6)2022
- By:
- Publication type:
- Article
INTEGRITY CONSTRAINTS REVISITED: FROM EXACT TO APPROXIMATE IMPLICATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:5)2022
- By:
- Publication type:
- Article
A RECURSIVE APPROACH TO SOLVING PARITY GAMES IN QUASIPOLYNOMIAL TIME.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:8)2022
- By:
- Publication type:
- Article
PROOF THEORY OF RIESZ SPACES AND MODAL RIESZ SPACES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:32)2022
- By:
- Publication type:
- Article
RESIDUALITY AND LEARNING FOR NONDETERMINISTIC NOMINAL AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:29)2022
- By:
- Publication type:
- Article
A LOGIC FOR MONITORING DYNAMIC NETWORKS OF SPATIALLY-DISTRIBUTED CYBER-PHYSICAL SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:4)2022
- By:
- Publication type:
- Article
ON THE TAYLOR EXPANSION OF λ-TERMS AND THE GROUPOID STRUCTURE OF THEIR RIGID APPROXIMANTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:1)2022
- By:
- Publication type:
- Article
ON THE NIELSEN–SCHREIER THEOREM IN HOMOTOPY TYPE THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:18)2022
- By:
- Publication type:
- Article
QUANTIFYING OVER BOOLEAN ANNOUNCEMENTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:20)2022
- By:
- Publication type:
- Article
NO-GO THEOREMS FOR DISTRIBUTIVE LAWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 1, p. 1, doi. 10.46298/LMCS-18(1:13)2022
- By:
- Publication type:
- Article