Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
A rich hierarchy of functionals of finite types
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Applications of Metric Coinduction
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Representations of Stream Processors Using Nested Fixed Points
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Full abstraction for nominal general references
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
RPO, Second-order Contexts, and Lambda-calculus
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two-Way Unary Temporal Logic over Trees
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Structure Theorem and Strict Alternation Hierarchy for FO^2 on Words
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lindstrom theorems for fragments of first-order logic
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decidability of higher-order matching
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Theory of Explicit Substitutions with Safe and Full Composition
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Formalising the pi-calculus using nominal logic
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Explicit fairness in testing semantics
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Polygraphic programs and polynomial-time functions
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Universal Structures and the logic of Forbidden Patterns
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Simulating reachability using first-order logic with applications to verification of linked data structures
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Polynomial Size Analysis of First-Order Shapely Functions
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Continuation-Passing Style and Strong Normalisation for Intuitionistic Sequent Calculi
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Solving Simple Stochastic Games with Few Random Vertices
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ranking Functions for Size-Change Termination II
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Qualitative Logics and Equivalences for Probabilistic Systems
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text