Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
The Subpower Membership Problem for Finite Algebras with Cube Terms
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Efficient reduction of nondeterministic automata with application to language inclusion testing
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Relative Entailment Among Probabilistic Implications
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A sequent calculus for a semi-associative law
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Light Modality for Recursion
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Shrub-depth: Capturing Height of Dense Graphs
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Degrees of extensionality in the theory of Böhm trees and Sallé's conjecture
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Extending set functors to generalised metric spaces
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Models of Type Theory Based on Moore Paths
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Natural Transformations as Rewrite Rules and Monad Composition
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Probabilistic call by push value
Published in Logical Methods in Computer Science (2019)Subjects: “…Computer Science & Information Science…”
Get full text
-
Subsumption Algorithms for Three-Valued Geometric Resolution
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Axioms for Modelling Cubical Type Theory in a Topos
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
One-way definability of two-way word transducers
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Taylor expansion in linear logic is invertible
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Model Checking Flat Freeze LTL on One-Counter Automata
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reasoning About Bounds in Weighted Transition Systems
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Inducing syntactic cut-elimination for indexed nested sequents
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text
-
Termination in Convex Sets of Distributions
Published in Logical Methods in Computer Science (2018)Subjects: “…Computer Science & Information Science…”
Get full text