Full Text Available
Access Full Text at Repository
Search Results - Computer Engineering
-
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
Online Article RSS Article -
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
-
Coaxioms: flexible coinductive definitions by inference systems
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Recursion Schemes, the MSO Logic, and the U quantifier
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
On Nominal Syntax and Permutation Fixed Points
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
McShane-Whitney extensions in constructive analysis
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Continuous Regular Functions
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Regular Tree Algebras
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Signatures and Induction Principles for Higher Inductive-Inductive Types
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
Minimization of visibly pushdown automata is NP-complete
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text
-
An operational interpretation of coinductive types
Published in Logical Methods in Computer Science (2020)Subjects: “…Computer Science & Information Science…”
Get full text