ON THE METRIC TEMPORAL LOGIC FOR CONTINUOUS STOCHASTIC PROCESSES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:14)2024
- By:
- Publication type:
- Article
Works matching IS 18605974 AND DT 2024 AND VI 20 AND IP 2
Results: 19
1
2
TT<sup>□</sup><sub>C</sub> : A FAMILY OF EXTENSIONAL TYPE THEORIES WITH EFFECTFUL REALIZERS OF CONTINUITY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:18)2024
- By:
- Publication type:
- Article
3
ROBUST NON-COMPUTABILITY OF DYNAMICAL SYSTEMS AND COMPUTABILITY OF ROBUST DYNAMICAL SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:19)2024
- By:
- Publication type:
- Article
4
AN IMPLICIT FUNCTION THEOREM FOR THE STREAM CALCULUS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:15)2024
- By:
- Publication type:
- Article
5
INAPPROXIMABILITY OF UNIQUE GAMES IN FIXED-POINT LOGIC WITH COUNTING.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:3)2024
- By:
- Publication type:
- Article
6
A STRONG BISIMULATION FOR A CLASSICAL TERM CALCULUS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:4)2024
- By:
- Publication type:
- Article
7
EXPLORING NON-REGULAR EXTENSIONS OF PROPOSITIONAL DYNAMIC LOGIC WITH DESCRIPTION-LOGICS FEATURES.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:7)2024
- By:
- Publication type:
- Article
8
BOOLEAN PROPORTION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:2)2024
- By:
- Publication type:
- Article
9
TRANSPENSION: THE RIGHT ADJOINT TO THE PI-TYPE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:16)2024
- By:
- Publication type:
- Article
10
A FIBRATIONAL TALE OF OPERATIONAL LOGICAL RELATIONS: PURE, EFFECTFUL AND DIFFERENTIAL.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:1)2024
- By:
- Publication type:
- Article
11
ON ROBUSTNESS FOR THE SKOLEM, POSITIVITY AND ULTIMATE POSITIVITY PROBLEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:11)2024
- By:
- Publication type:
- Article
12
BRANCH-WELL-STRUCTURED TRANSITION SYSTEMS AND EXTENSIONS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:12)2024
- By:
- Publication type:
- Article
13
ON TOOLS FOR COMPLETENESS OF KLEENE ALGEBRA WITH HYPOTHE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:8)2024
- By:
- Publication type:
- Article
14
EXECUTABLE FIRST-ORDER QUERIES IN THE LOGIC OF INFORMATION FLOWS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:6)2024
- By:
- Publication type:
- Article
15
ENCODABILITY CRITERIA FOR QUANTUM BASED SYSTEMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:5)2024
- By:
- Publication type:
- Article
16
ADDITION AND DIFFERENTIATION OF ZX-DIAGRAMS.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:10)2024
- By:
- Publication type:
- Article
17
THE PEBBLE-RELATION COMONAD IN FINITE MODEL THEORY.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:9)2024
- By:
- Publication type:
- Article
18
LINEAR-TIME LOGICS – A COALGEBRAIC PERSPECTIVE.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:13)2024
- By:
- Publication type:
- Article
19
SEMANTICS, SPECIFICATION LOGIC, AND HOARE LOGIC OF EXACT REAL COMPUTATION.
- Published in:
- Logical Methods in Computer Science (LMCS), 2024, v. 20, n. 2, p. 1, doi. 10.46298/LMCS-20(2:17)2024
- By:
- Publication type:
- Article