Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Simplified Algorithmic Metatheorems Beyond MSO: Treewidth and Neighborhood Diversity
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Computing the Width of Non-deterministic Automata
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A non-regular language of infinite trees that is recognizable by a sort-wise finite algebra
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Flow Logic
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lifting Coalgebra Modalities and $mathsf{MELL}$ Model Structure to Eilenberg-Moore Categories
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Dynamic Geometry of Interaction Machine: A Token-Guided Graph Rewriter
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
On completeness and parametricity in the realizability semantics of System F
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Scalar and Vectorial mu-calculus with Atoms
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Free $omega$-Continuous and Regular Ordered Algebras
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
$aleph_1$ and the modal $mu$-calculus
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Rule Formats for Nominal Process Calculi
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Flat Freeze LTL
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
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 & Information Science…”
Get full text
-
Nash Equilibrium and Bisimulation Invariance
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
On noncommutative extensions of linear logic
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Definability and Interpolation within Decidable Fixpoint Logics
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Higher-dimensional automata modeling shared-variable systems
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Regular tree languages in low levels of the Wadge Hierarchy
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A diagrammatic calculus of fermionic quantum circuits
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text