Full Text Available
Access Full Text at Repository
Search Results - Computer and Information Science
-
On Second-Order Monadic Monoidal and Groupoidal Quantifiers
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Weak omega-categories from intensional type theory
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
The General Vector Addition System Reachability Problem by Presburger Inductive Invariants
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Non-Deterministic Kleene Coalgebras
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interactive Learning-Based Realizability for Heyting Arithmetic with EM1
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Well-definedness of Streams by Transformation and Termination
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Local Termination: theory and practice
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unification in the Description Logic EL
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Propositional Dynamic Logic for Message-Passing Systems
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Initial Algebra Semantics for Cyclic Sharing Tree Structures
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Acyclic Solos and Differential Interaction Nets
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
Algorithms for Game Metrics
Published in Logical Methods in Computer Science (2010)Subjects: “…Computer Science & Information Science…”
Get full text
-
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