Found: 13
Select item for more details and to access through your institution.
AN ANALYTIC PROPOSITIONAL PROOF SYSTEM ON GRAPHS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:1)2022
- By:
- Publication type:
- Article
UNIFORM RELIABILITY OF SELF-JOIN-FREE CONJUNCTIVE QUERIES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:3)2022
- By:
- Publication type:
- Article
A THEORY OF AUTOMATED MARKET MAKERS IN DEFI.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:12)2022
- By:
- Publication type:
- Article
COALGEBRAIC GEOMETRIC LOGIC: BASIC THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:10)2022
- By:
- Publication type:
- Article
GEOMETRIC MODEL CHECKING OF CONTINUOUS SPACE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:7)2022
- By:
- Publication type:
- Article
CONVEXITY VIA WEAK DISTRIBUTIVE LAWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:8)2022
- By:
- Publication type:
- Article
ALGEBRAIC COHERENT CONFLUENCE AND HIGHER GLOBULAR KLEENE ALGEBRAS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:9)2022
- By:
- Publication type:
- Article
BUILDING SPECIFICATIONS IN THE EVENT-B INSTITUTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:4)2022
- By:
- Publication type:
- Article
LINEAR EQUATIONS FOR UNORDERED DATA VECTORS IN [D]<sup>k</sup> → Z<sup>d</sup>.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:11)2022
- By:
- Publication type:
- Article
INDUCTIVE AND COINDUCTIVE TOPOLOGICAL GENERATION WITH CHURCH'S THESIS AND THE AXIOM OF CHOICE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:5)2022
- By:
- Publication type:
- Article
GENERAL DECIDABILITY RESULTS FOR ASYNCHRONOUS SHARED-MEMORY PROGRAMS: HIGHER-ORDER AND BEYOND.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:2)2022
- By:
- Publication type:
- Article
CONVERSE EXTENSIONALITY AND APARTNESS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:13)2022
- By:
- Publication type:
- Article
QUASILINEAR-TIME COMPUTATION OF GENERIC MODAL WITNESSES FOR BEHAVIOURAL INEQUIVALENCE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2022, v. 18, n. 4, p. 1, doi. 10.46298/LMCS-18(4:6)2022
- By:
- Publication type:
- Article