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