Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
Attacker Control and Impact for Confidentiality and Integrity
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Algorithmic Randomness and Capacity of Closed Sets
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Coherent and finiteness spaces
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Randomisation and Derandomisation in Descriptive Complexity Theory
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Composition with Target Constraints
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the mathematical synthesis of equational logics
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Logical Concurrency Control from Sequential Proofs
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Real Analytic Machines and Degrees
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Conway games, algebraically and coalgebraically
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Permission-Based Separation Logic for Message-Passing Concurrency
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Answering Non-Monotonic Queries in Relational Data Exchange
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Co-c.e. spheres and cells in computable metric spaces
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Constraint solving in non-permutative nominal abstract syntax
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Monotonicity Constraints for Termination in the Integer Domain
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Realizability algebras: a program to well order R
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Derivational Complexity Induced by the Dependency Pair Method
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
First-order query evaluation on structures of bounded degree
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
Turing machines on represented sets, a model of computation for Analysis
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text
-
TRX: A Formally Verified Parser Interpreter
Published in Logical Methods in Computer Science (2011)Subjects: “…Computer Science & Information Science…”
Get full text