Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Formal Theories for Linear Algebra
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
On Global Types and Multi-Party Session
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Modeling Adversaries in a Logic for Security Protocol Analysis
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Alternating register automata on finite words and trees
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
The rapid points of a complex oscillation
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Theorem proving for prenex Gödel logic with Delta: checking validity and unsatisfiability
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Derivation Lengths Classification of Gödel's T Extending Howard's Assignment
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Bi-Directional Refinement Algorithm for the Calculus of (Co)Inductive Constructions
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Deciding Kleene Algebras in Coq
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Two-Variable Logic with Two Order Relations
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
Typing Copyless Message Passing
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
QRB-Domains and the Probabilistic Powerdomain
Published in Logical Methods in Computer Science (2012)Subjects: “…Computer Science & Information Science…”
Get full text
-
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