Full Text Available
Access Full Text at Repository
Search Results - "Computer Science"
-
Structurally Cyclic Petri Nets
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Datalog Rewritings of Regular Path Queries using Views
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Modular session types for objects
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
FO Model Checking of Interval Graphs
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Problems in number theory from busy beaver competition
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
From nominal to higher-order rewriting and back again
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Faster Existential FO Model Checking on Posets
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Finite choice, convex choice and finding roots
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Quantitative information flow under generic leakage functions and adaptive adversaries
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
The computability path ordering
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Logic and Branching Automata
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Expressive Path Queries on Graph with Data
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Ellipses and Lambda Definability
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Exact Unification and Admissibility
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text
-
Weak upper topologies and duality for cones
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & IT…”
Get full text