Full Text Available
Access Full Text at Repository
Search Results - "Computer"
-
A Flexible Proof Format for SAT Solver-Elaborator Communication
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Uniform Interpolants in EUF: Algorithms using DAG-representations
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A Cubical Language for Bishop Sets
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Higher Order Automatic Differentiation of Higher Order Functions
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
The Big-O Problem
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A Scalable Algorithm for Decentralized Actor Termination Detection
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
BDD-Based Algorithm for SCC Decomposition of Edge-Coloured Graphs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Sequential Relational Decomposition
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Hilbert's Tenth Problem in Coq (Extended Version)
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Verified Approximation Algorithms
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Infinite Probabilistic Databases
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A tier-based typed programming language characterizing Feasible Functionals
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Covariance and Controvariance: a fresh look at an old issue (a primer in advanced type systems for learning functional programmers)
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Proof Theory of Riesz Spaces and Modal Riesz Spaces
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Reachability and liveness in parametric timed automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Fixed Points Theorems for Non-Transitive Relations
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Duality for powerset coalgebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Canonicity and homotopy canonicity for cubical type theory
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text