Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Definable decompositions for graphs of bounded linear cliquewidth
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
2-adjoint equivalences in homotopy type theory
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & IT…”
Get full text
-
Tameness in least fixed-point logic and McColm's conjecture
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & IT…”
Get full text
-
On the Strong Equivalences for LPMLN Programs
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & IT…”
Get full text
-
Axiomatizing Maximal Progress and Discrete Time
Published in Logical Methods in Computer Science (2021)Subjects: “…Computer Science & IT…”
Get full text
-
Towards a Minimal Stabilizer ZX-calculus
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
On open well-filtered spaces
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Psi-Calculi Revisited: Connectivity and Compositionality
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Towards Races in Linear Logic
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Life is Random, Time is Not: Markov Decision Processes with Window Objectives
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Theory of higher order interpretations and application to Basic Feasible Functions
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
An extended type system with lambda-typed lambda-expressions
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Clause Set Cycles and Induction
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Convexity and Order in Probabilistic Call-by-Name FPC
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Transfinite Lyndon words
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Collaboration vs. choreography conformance in BPMN
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
A Functional (Monadic) Second-Order Theory of Infinite Trees
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text
-
Reversing Place Transition Nets
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & IT…”
Get full text