Found: 17
Select item for more details and to access through your institution.
SMART CHOICES AND THE SELECTION MONAD.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:3)2023
- By:
- Publication type:
- Article
FIXPOINT THEORY - UPSIDE DOWN.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:15)2023
- By:
- Publication type:
- Article
BRIDGING CAUSAL REVERSIBILITY AND TIME REVERSIBILITY: A STOCHASTIC PROCESS ALGEBRAIC APPROACH.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:6)2023
- By:
- Publication type:
- Article
HYPERATL: A LOGIC FOR HYPERPROPERTIES IN MULTI-AGENT SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:13)2023
- By:
- Publication type:
- Article
UNDERSTANDING THE RELATIVE STRENGTH OF QBF CDCL SOLVERS AND QBF RESOLUTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:2)2023
- By:
- Publication type:
- Article
SAT-INSPIRED HIGHER-ORDER ELIMINATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:9)2023
- By:
- Publication type:
- Article
ENUMERATING INDEPENDENT LINEAR INFERENCES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:11)2023
- By:
- Publication type:
- Article
CAUSAL UNFOLDINGS AND DISJUNCTIVE CAUSES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:4)2023
- By:
- Publication type:
- Article
STATEFUL REALIZERS FOR NONSTANDARD ANALYSIS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:7)2023
- By:
- Publication type:
- Article
LACON-, SHRUB- AND PARITY-DECOMPOSITIONS: CHARACTERIZING TRANSDUCTIONS OF BOUNDED EXPANSION CLASSES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:14)2023
- By:
- Publication type:
- Article
INFERRING SYMBOLIC AUTOMATA.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:5)2023
- By:
- Publication type:
- Article
A COINDUCTIVE REFORMULATION OF MILNER'S PROOF SYSTEM FOR REGULAR EXPRESSIONS MODULO BISIMILARITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:17)2023
- By:
- Publication type:
- Article
LOWERBOUNDS FOR BISIMULATION BY PARTITION REFINEMENT.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:10)2023
- By:
- Publication type:
- Article
FLEXIBLE CORRECT-BY-CONSTRUCTION PROGRAMMING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:16)2023
- By:
- Publication type:
- Article
LNL POLYCATEGORIES AND DOCTRINES OF LINEAR LOGIC.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:1)2023
- By:
- Publication type:
- Article
ON SMALL TYPES IN UNIVALENT FOUNDATIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:8)2023
- By:
- Publication type:
- Article
ADDING NEGATION TO LAMBDA MU.
- Published in:
- Logical Methods in Computer Science (LMCS), 2023, v. 19, n. 2, p. 1, doi. 10.46298/LMCS-19(2:12)2023
- By:
- Publication type:
- Article