Full Text Available
Access Full Text at Repository
Search Results - Information Engineering
-
Algorithms for Game Metrics
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
A Proof Theoretic Analysis of Intruder Theories
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sampled Semantics of Timed Automata
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Expressiveness and Closure Properties for Quantitative Languages
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Domain Representable Spaces Defined by Strictly Positive Induction
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
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