Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Expressive Path Queries on Graph with Data
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
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
-
A correspondence between rooted planar maps and normal planar lambda terms
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weak upper topologies and duality for cones
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Featherweight VeriFast
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verification for Timed Automata extended with Unbounded Discrete Data Structures
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Positive fragments of coalgebraic logics
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Axiomatizability of Impossible Futures
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Partial functions and domination
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compositional Verification for Timed Systems Based on Automatic Invariant Generation
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantitative Languages Defined by Functional Automata
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Learning Regular Languages over Large Ordered Alphabets
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Detecting Unrealizability of Distributed Fault-tolerant Systems
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Abstract Model Repair
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logics with rigidly guarded data tests
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantified Constraints and Containment Problems
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Quantitative Approximation of the Probability Distribution of a Markov Process by Formal Abstractions
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Nested Sequents for Constructive Modal Logics
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text