Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
QRB-Domains and the Probabilistic Powerdomain
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
A System F accounting for scalars
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Realizability algebras II : new models of ZF + DC
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Büchi Complementation and Size-Change Termination
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Type-elimination-based reasoning for the description logic SHIQbs using decision diagrams and disjunctive datalog
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Semantics and Algorithms for Parametric Monitoring
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Absorbing Subalgebras, Cyclic Terms, and the Constraint Satisfaction Problem
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
A dependent nominal type theory
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
An extension of data automata that captures XPath
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Ground interpolation for the theory of equality
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
On completeness of reducibility candidates as a semantics of strong normalization
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
A type reduction theory for systems with replicated components
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
A note on the expressive power of linear orders
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Timed Parity Games: Complexity and Robustness
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Rooted Phylogeny Problems
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Proof-irrelevant model of CC with predicative induction and judgmental equality
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text