Full Text Available
Access Full Text at Repository
Search Results - "computer science"
-
Characteristic Logics for Behavioural Hemimetrics via Fuzzy Lax Extensions
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
Online Article RSS Article -
Modular Termination for Second-Order Computation Rules and Application to Algebraic Effect Handlers
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Trakhtenbrot's Theorem in Coq: Finite Model Theory through the Constructive Lens
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A Finite-Model-Theoretic View on Propositional Proof Complexity
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Actris 2.0: Asynchronous Session-Type Based Reasoning in Separation Logic
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Quotients, inductive types, and quotient inductive types
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
When Can We Answer Queries Using Result-Bounded Data Interfaces?
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Specification and Verification of Timing Properties in Interoperable Medical Systems
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
CC-circuits and the expressive power of nilpotent algebras
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Tractable Combinations of Temporal CSPs
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Formalizing the Face Lattice of Polyhedra
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Circular Proofs as Session-Typed Processes: A Local Validity Condition
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
Determinisability of register and timed automata
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
A Near-Optimal Parallel Algorithm for Joining Binary Relations
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text
-
Gluing resource proof-structures: inhabitation and inverting the Taylor expansion
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
A Flexible Proof Format for SAT Solver-Elaborator Communication
Published in Logical Methods in Computer Science (2022)Subjects: “…Computer Science & IT…”
Get full text
-
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