Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
Spatial logics with connectedness predicates
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Automatic Modular Abstractions for Template Numerical Constraints
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Classical BI: Its Semantics and Proof Theory
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Lazy Evaluation and Delimited Control
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Size-Change Termination, Monotonicity Constraints and Ranking Functions
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Transforming Outermost into Context-Sensitive Rewriting
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Redundancy, Deduction Schemes, and Minimum-Size Bases for Association Rules
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Analytic Tableaux for Simple Type Theory and its First-Order Fragment
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Monadic Second-Order Transduction Hierarchy
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Orthomodular lattices, Foulis Semigroups and Dagger Kernel Categories
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Infinitary Combinatory Reduction Systems: Normalising Reduction Strategies
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Weighted Logics for Nested Words and Algebraic Formal Power Series
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Guarded Second-Order Logic, Spanning Trees, and Network Flows
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Bifinite Chu Spaces
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
O-Minimal Hybrid Reachability Games
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Observational Equivalence and Full Abstraction in the Symmetric Interaction Combinators
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
Infinitary Combinatory Reduction Systems: Confluence
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Step-indexed Semantics of Imperative Objects
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Type System For Call-By-Name Exceptions
Published in Logical Methods in Computer Science (2009)Subjects: “…Computer Science & Information Science…”
Get full text