Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Proof equivalence in MLL is PSPACE-complete
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Published in Logical Methods in Computer Science (2016)Subjects: “…Computer Science & Information Science…”
Get full text
-
Typed realizability for first-order classical analysis
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Program Logic for Verifying Secure Routing Protocols
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
A finer reduction of constraint problems to digraphs
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text
-
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
-
Quantitative information flow under generic leakage functions and adaptive adversaries
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
-
Logic and Branching Automata
Published in Logical Methods in Computer Science (2015)Subjects: “…Computer Science & Information Science…”
Get full text