Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
A finer reduction of constraint problems to digraphs
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Preservation and decomposition theorems for bounded degree structures
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bisimulation of Labelled State-to-Function Transition Systems Coalgebraically
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Structurally Cyclic Petri Nets
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Datalog Rewritings of Regular Path Queries using Views
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Type Reconstruction for the Linear pi-Calculus with Composite Regular Types
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modular session types for objects
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
FO Model Checking of Interval Graphs
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Problems in number theory from busy beaver competition
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
From nominal to higher-order rewriting and back again
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Faster Existential FO Model Checking on Posets
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
A decidable weakening of Compass Logic based on cone-shaped cardinal directions
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Finite choice, convex choice and finding roots
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Formal Design of Asynchronous Fault Detection and Identification Components using Temporal Epistemic Logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
The computability path ordering
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logic and Branching Automata
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Expressive Path Queries on Graph with Data
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ellipses and Lambda Definability
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Exact Unification and Admissibility
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text