Full Text Available
Access Full Text at Repository
Search Results - "Computer and Information Science"
-
Tractable Combinations of Temporal CSPs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
Online Article RSS Article -
Formalizing the Face Lattice of Polyhedra
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Determinisability of register and timed automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Enumerating Answers to First-Order Queries over Databases of Low Degree
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Near-Optimal Parallel Algorithm for Joining Binary Relations
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Probabilistic Rewriting and Asymptotic Behaviour: on Termination and Unique Normal Forms
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Flexible Proof Format for SAT Solver-Elaborator Communication
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Uniform Interpolants in EUF: Algorithms using DAG-representations
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Cubical Language for Bishop Sets
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Register Automata with Extrema Constraints, and an Application to Two-Variable Logic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Higher Order Automatic Differentiation of Higher Order Functions
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
The Big-O Problem
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
A Scalable Algorithm for Decentralized Actor Termination Detection
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Sequential Relational Decomposition
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Hilbert's Tenth Problem in Coq (Extended Version)
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text
-
Verified Approximation Algorithms
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & Information Science…”
Get full text