Found: 23
Select item for more details and to access through your institution.
ASYNCHRONOUS WREATH PRODUCT AND CASCADE DECOMPOSITIONS FOR CONCURRENT BEHAVIOURS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(222)2022
- By:
- Publication type:
- Article
FORMALIZING THE FACE LATTICE OF POLYHEDRA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(210)2022
- By:
- Publication type:
- Article
WHEN CAN WE ANSWER QUERIES USING RESULT-BOUNDED DATA INTERFACES?
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(214)2022
- By:
- Publication type:
- Article
A FLEXIBLE PROOF FORMAT FOR SAT SOLVER-ELABORATOR COMMUNICATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(23)2022
- By:
- Publication type:
- Article
TRACTABLE COMBINATIONS OF TEMPORAL CSPS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(211)2022
- By:
- Publication type:
- Article
THE THEORY OF TRACES FOR SYSTEMS WITH NONDETERMINISM, PROBABILITY, AND TERMINATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(221)2022
- By:
- Publication type:
- Article
DETERMINISABILITY OF REGISTER AND TIMED AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(29)2022
- By:
- Publication type:
- Article
SYNTHESIS OF COMPUTABLE REGULAR FUNCTIONS OF INFINITE WORDS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(223)2022
- By:
- Publication type:
- Article
CIRCULAR PROOFS AS SESSION-TYPED PROCESSES: A LOCAL VALIDITY CONDITION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(28)2022
- By:
- Publication type:
- Article
ENUMERATING ANSWERS TO FIRST-ORDER QUERIES OVER DATABASES OF LOW DEGREE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(27)2022
- By:
- Publication type:
- Article
PROBABILISTIC REWRITING AND ASYMPTOTIC BEHAVIOUR: ON TERMINATION AND UNIQUE NORMAL FORMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(25)2022
- By:
- Publication type:
- Article
QUOTIENTS, INDUCTIVE TYPES, & QUOTIENT INDUCTIVE TYPES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(215)2022
- By:
- Publication type:
- Article
UNIFORM INTERPOLANTS IN EUF: ALGORITHMS USING DAG-REPRESENTATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(22)2022
- By:
- Publication type:
- Article
GLUING RESOURCE PROOF-STRUCTURES: INHABITATION AND INVERTING THE TAYLOR EXPANSION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(24)2022
- By:
- Publication type:
- Article
MODULAR TERMINATION FOR SECOND-ORDER COMPUTATION RULES AND APPLICATION TO ALGEBRAIC EFFECT HANDLERS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(218)2022
- By:
- Publication type:
- Article
ACTRIS 2.0: ASYNCHRONOUS SESSION-TYPE BASED REASONING IN SEPARATION LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(216)2022
- By:
- Publication type:
- Article
A NEAR-OPTIMAL PARALLEL ALGORITHM FOR JOINING BINARY RELATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(26)2022
- By:
- Publication type:
- Article
TRAKHTENBROT'S THEOREM IN COQ: FINITE MODEL THEORY THROUGH THE CONSTRUCTIVE LENS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(217)2022
- By:
- Publication type:
- Article
CC-CIRCUITS AND THE EXPRESSIVE POWER OF NILPOTENT ALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(212)2022
- By:
- Publication type:
- Article
THE SHAPLEY VALUE OF INCONSISTENCY MEASURES FOR FUNCTIONAL DEPENDENCIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(220)2022
- By:
- Publication type:
- Article
BEYOND NOTATIONS: HYGIENIC MACRO EXPANSION FOR THEOREM PROVING LANGUAGES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(21)2022
- By:
- Publication type:
- Article
CHARACTERISTIC LOGICS FOR BEHAVIOURAL HEMIMETRICS VIA FUZZY LAX EXTENSIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(219)2022
- By:
- Publication type:
- Article
SPECIFICATION AND VERIFICATION OF TIMING PROPERTIES IN INTEROPERABLE MEDICAL SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 2, p. 1, doi. 10.46298/LMCS-18(213)2022
- By:
- Publication type:
- Article