Full Text Available
Access Full Text at Repository
Search Results - Information Science
-
A Fragment of Dependence Logic Capturing Polynomial Time
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Automata theory in nominal sets
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decidability Results for the Boundedness Problem
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Classical propositional logic and decidability of variables in intuitionistic propositional logic
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Synthesis from Probabilistic Components
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Small Stone in Pool
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Parity and Streett Games with Costs
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Probability Logic for Harsanyi Type Spaces
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Dynamic Tags for Security Protocols
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unsolvability Cores in Classification Problems
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Global Numerical Constraints on Trees
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Locating Ax, where A is a subspace of B(H)
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Computability of 1-manifolds
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Infinitary Term Rewriting for Weakly Orthogonal Systems: Properties and Counterexamples
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Partial Order Infinitary Term Rewriting
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Interaction and Depth against Nondeterminism in Proof Search
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Discriminating Lambda-Terms Using Clocked Boehm Trees
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
Querying the Guarded Fragment
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Linear Category of Polynomial Functors (extensional part)
Published in Logical Methods in Computer Science (2014)Subjects: “…Computer Science & Information Science…”
Get full text