Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
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
Online Article RSS Article -
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
-
Constructing Fully Complete Models of Multiplicative Linear Logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deciding definability in FO2(
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proof Theory of a Multi-Lane Spatial Logic
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
Service-Oriented Logic Programming
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text