Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
On properties of $B$-terms
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Cellular Cohomology in Homotopy Type Theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Register Games
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Tight Polynomial Worst-Case Bounds for Loop Programs
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
On the incomputability of computable dimension
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Representing Dependencies in Event Structures
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Reachability for infinite time Turing machines with long tapes
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part II)
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Automata Minimization: a Functorial Approach
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A new coinductive confluence proof for infinitary lambda calculus
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Classical Control, Quantum Circuits and Linear Logic in Enriched Category Theory
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Translation of Algorithmic Descriptions of Discrete Functions to SAT with Applications to Cryptanalysis Problems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Unique perfect matchings, forbidden transitions and proof nets for linear logic with Mix
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Universal Ordinary Differential Equation
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
First-order queries on classes of structures with bounded expansion
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Distances between States and between Predicates
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Continuity of Functional Transducers: A Profinite Study of Rational Functions
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Decreasing Diagrams for Confluence and Commutation
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
A syntactic approach to continuity of T-definable functionals
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Complexity of Combinations of Qualitative Constraint Satisfaction Problems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text