Full Text Available
Access Full Text at Repository
Search Results - "computer science"
-
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
On completeness and parametricity in the realizability semantics of System F
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Scalar and Vectorial mu-calculus with Atoms
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
On Free $omega$-Continuous and Regular Ordered Algebras
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
On the enumeration of closures and environments with an application to random generation
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
$aleph_1$ and the modal $mu$-calculus
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Rule Formats for Nominal Process Calculi
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
The Complexity of Flat Freeze LTL
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
The parameterized space complexity of model-checking bounded variable first-order logic
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Nash Equilibrium and Bisimulation Invariance
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
On noncommutative extensions of linear logic
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Definability and Interpolation within Decidable Fixpoint Logics
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Higher-dimensional automata modeling shared-variable systems
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Regular tree languages in low levels of the Wadge Hierarchy
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
A diagrammatic calculus of fermionic quantum circuits
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Interaction Graphs: Exponentials
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Approximability in the GPAC
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
The Data Complexity of Ontology-Mediated Queries with Closed Predicates
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Alternating, private alternating, and quantum alternating realtime automata
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text
-
Query learning of derived $omega$-tree languages in polynomial time
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & IT…”
Get full text