Found: 19
Select item for more details and to access through your institution.
ON THE SATISFIABILITY OF LOCAL FIRST-ORDER LOGICS WITH DATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 1:1, doi. 10.46298/LMCS-20(3:1)2024
- By:
- Publication type:
- Article
MANY-VALUED COALGEBRAIC LOGIC OVER SEMI-PRIMAL VARIETIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 6:1, doi. 10.46298/LMCS-20(3:6)2024
- By:
- Publication type:
- Article
CONTROLLER SYNTHESIS FOR TIMELINE-BASED GAMES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 17:1, doi. 10.46298/LMCS-20(3:17)2024
- By:
- Publication type:
- Article
COMPLEXITY RESULTS FOR MODAL LOGIC WITH RECURSION VIA TRANSLATIONS AND TABLEAUX.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 14:1, doi. 10.46298/LMCS-20(3:14)2024
- By:
- Publication type:
- Article
OPERATIONS ON FIXPOINT EQUATION SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 5:1, doi. 10.46298/LMCS-20(3:5)2024
- By:
- Publication type:
- Article
FULLY ABSTRACT ENCODINGS OF λ-CALCULUS IN HOcore THROUGH ABSTRACT MACHINES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 3:1, doi. 10.46298/LMCS-20(3:3)2024
- By:
- Publication type:
- Article
HALF-POSITIONAL OBJECTIVES RECOGNIZED BY DETERMINISTIC BÜCHI AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 19:1, doi. 10.46298/LMCS-20(3:19)2024
- By:
- Publication type:
- Article
SYNTHESIZING NESTED RELATIONAL QUERIES FROM IMPLICIT SPECIFICATIONS: VIA MODEL THEORY AND VIA PROOF THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 7:1, doi. 10.46298/LMCS-20(3:7)2024
- By:
- Publication type:
- Article
SIMULATIONS FOR EVENT-CLOCK AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 2:1, doi. 10.46298/LMCS-20(3:2)2024
- By:
- Publication type:
- Article
ON TWO-VARIABLE GUARDED FRAGMENT LOGIC WITH EXPRESSIVE LOCAL PRESBURGER CONSTRAINTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 16:1, doi. 10.46298/LMCS-20(3:16)2024
- By:
- Publication type:
- Article
ISOLATED SUBORDERS AND THEIR APPLICATION TO COUNTING CLOSURE OPERATORS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 11:1, doi. 10.46298/LMCS-20(3:11)2024
- By:
- Publication type:
- Article
COALGEBRAIC SATISFIABILITY CHECKING FOR ARITHMETIC μ-CALCULI.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 9:1, doi. 10.46298/LMCS-20(3:9)2024
- By:
- Publication type:
- Article
DETERMINISTIC PUSHDOWN AUTOMATA CAN COMPRESS SOME NORMAL SEQUENCES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 15:1, doi. 10.46298/LMCS-20(3:15)2024
- By:
- Publication type:
- Article
GAME COMONADS & GENERALISED QUANTIFIERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 8:1, doi. 10.46298/LMCS-20(3:8)2024
- By:
- Publication type:
- Article
A SESSION TYPE SYSTEM FOR ASYNCHRONOUS UNRELIABLE BROADCAST COMMUNICATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 13:1, doi. 10.46298/LMCS-20(3:13)2024
- By:
- Publication type:
- Article
A FAITHFUL AND QUANTITATIVE NOTION OF DISTANT REDUCTION FOR THE LAMBDA-CALCULUS WITH GENERALIZED APPLICATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 10:1, doi. 10.46298/LMCS-20(3:10)2024
- By:
- Publication type:
- Article
DECIDABILITY FOR STURMIAN WORDS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 12:1, doi. 10.46298/LMCS-20(3:12)2024
- By:
- Publication type:
- Article
TWIN-WIDTH AND PERMUTATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 4:1, doi. 10.46298/LMCS-20(3:4)2024
- By:
- Publication type:
- Article
ZETA FUNCTIONS AND THE (LINEAR) LOGIC OF MARKOV PROCESSES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 3, p. 18:1, doi. 10.46298/LMCS-20(3:18)2024
- By:
- Publication type:
- Article