Works matching IS 18605974 AND DT 2025 AND VI 21 AND IP 1
Results: 13
RANDOM DETERMINISTIC AUTOMATA WITH ONE ADDED TRANSITION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(111)2025
- By:
- Publication type:
- Article
CHECKPOINT-BASED ROLLBACK RECOVERY IN SESSION-BASED PROGRAMMING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(12)2025
- By:
- Publication type:
- Article
NONINTERFERENCE ANALYSIS OF REVERSIBLE SYSTEMS: AN APPROACH BASED ON BRANCHING BISIMILARITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(16)2025
- By:
- Publication type:
- Article
DIVERSITY OF ANSWERS TO CONJUNCTIVE QUERIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(19)2025
- By:
- Publication type:
- Article
INTEGRATION IN CONES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(11)2025
- By:
- Publication type:
- Article
COMPLETE AND TRACTABLE MACHINE-INDEPENDENT CHARACTERIZATIONS OF SECOND-ORDER POLYTIME.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(15)2025
- By:
- Publication type:
- Article
DECIDABILITY OF ONE-CLOCK WEIGHTED TIMED GAMES WITH ARBITRARY WEIGHTS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(18)2025
- By:
- Publication type:
- Article
REGULAR MODEL CHECKING UPSIDE-DOWN: AN INVARIANT-BASED APPROACH.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(14)2025
- By:
- Publication type:
- Article
REWRITING FOR SYMMETRIC MONOIDAL CATEGORIES WITH COMMUTATIVE (CO)MONOID STRUCTURE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(112)2025
- By:
- Publication type:
- Article
ALGEBRAIC PRESENTATIONS OF TYPE DEPENDENCY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(114)2025
- By:
- Publication type:
- Article
QUANTITATIVE EQUALITY IN SUBSTRUCTURAL LOGIC VIA LIPSCHITZ DOCTRINES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(17)2025
- By:
- Publication type:
- Article
MULTI-STRUCTURAL GAMES AND NUMBER OF QUANTIFIERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(110)2025
- By:
- Publication type:
- Article
BISIMILARITY IN FRESH-REGISTER AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2025, v. 21, n. 1, p. 1, doi. 10.46298/LMCS-21(113)2025
- By:
- Publication type:
- Article