Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
A Formal Proof of the Irrationality of $zeta(3)$
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Output-sensitive Information flow analysis
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
The $pi$-Calculus is Behaviourally Complete and Orbit-Finitely Executable
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Convolution Algebras: Relational Convolution, Generalised Modalities and Incidence Algebras
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Axiomatization of betweenness in order-theoretic trees
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Robustness Against Transactional Causal Consistency
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Determinacy in Discrete-Bidding Infinite-Duration Games
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computing Probabilistic Bisimilarity Distances for Probabilistic Automata
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Correct and Efficient Antichain Algorithms for Refinement Checking
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Solvability = Typability + Inhabitation
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modal Logics for Nominal Transition Systems
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Definable decompositions for graphs of bounded linear cliquewidth
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
2-adjoint equivalences in homotopy type theory
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tameness in least fixed-point logic and McColm's conjecture
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Strong Equivalences for LPMLN Programs
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Axiomatizing Maximal Progress and Discrete Time
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & Information Science…”
Get full text
-
Towards a Minimal Stabilizer ZX-calculus
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
On open well-filtered spaces
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Psi-Calculi Revisited: Connectivity and Compositionality
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text