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
Works matching IS 18605974 AND DT 2022 AND VI 18 AND IP 2
Results: 23
1
2
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
3
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
4
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
5
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
6
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
7
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
8
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
9
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
10
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
11
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
12
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
13
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
14
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
15
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
16
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
17
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
18
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
19
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
20
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
21
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
22
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
23
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