Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Domain Representable Spaces Defined by Strictly Positive Induction
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Positive Supercompilation for a Higher-Order Call-By-Value Language
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automated Verification of Practical Garbage Collectors
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Spatial logics with connectedness predicates
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
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