:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autori principali:	Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Polesiuk, Piotr, Pous, Damien, Schmitt, Alan
Natura:	Preprint
Pubblicazione:	2022
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2205.06665
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

String Diagrams for Monoidal Categories, in Rocq
di: Pous, Damien
Pubblicazione: (2026)

A Fully Abstract Model of PCF Based on Extended Addressing Machines
di: Intrigila, Benedetto, et al.
Pubblicazione: (2023)

On Tools for Completeness of Kleene Algebra with Hypotheses
di: Pous, Damien, et al.
Pubblicazione: (2022)

Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)

A finite presentation of graphs of treewidth at most three
di: Doumane, Amina, et al.
Pubblicazione: (2024)

Adhesive category theory for graph rewriting in Rocq
di: Arsac, Samuel, et al.
Pubblicazione: (2025)

Abstracting Situation Calculus Action Theories
di: Banihashemi, Bita, et al.
Pubblicazione: (2024)

Foundations for an Abstract Proof Theory in the Context of Horn Rules
di: Lyon, Tim S., et al.
Pubblicazione: (2023)

A Classical Linear $λ$-Calculus based on Contraposition
di: Barenbaum, Pablo, et al.
Pubblicazione: (2026)

Proofs for Free in the $λΠ$-Calculus Modulo Theory
di: Traversié, Thomas
Pubblicazione: (2024)

Positive Sharing and Abstract Machines
di: Accattoli, Beniamino, et al.
Pubblicazione: (2025)

Kuroda's Translation for the $λΠ$-Calculus Modulo Theory and Dedukti
di: Traversié, Thomas
Pubblicazione: (2024)

Reasonable Space for the $λ$-Calculus, Logarithmically
di: Accattoli, Beniamino, et al.
Pubblicazione: (2022)

From Rewrite Rules to Axioms in the $λ$$Π$-Calculus Modulo Theory
di: Blot, Valentin, et al.
Pubblicazione: (2024)

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
di: Pizzo, Nicolò, et al.
Pubblicazione: (2026)

Proof-theoretic Semantics for Intuitionistic Multiplicative Linear Logic (Extended Abstract)
di: Gheorghiu, Alexander V., et al.
Pubblicazione: (2023)

The Characterization of Abstract Truth and its Factorization
di: Kent, Robert E.
Pubblicazione: (2024)

Minimally Comparing Relational Abstract Domains
di: Ballou, Kenny, et al.
Pubblicazione: (2023)

Identifying Minimal Changes in the Zone Abstract Domain
di: Ballou, Kenny, et al.
Pubblicazione: (2023)

Abstract computation over first-order structures. Part IIa: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms
di: Gaßner, Christine
Pubblicazione: (2025)

Abstract computation over first-order structures. Part I: Deterministic and non-deterministic BSS RAMs
di: Gaßner, Christine
Pubblicazione: (2025)

Quantitative Types for the Functional Machine Calculus
di: Heijltjes, Willem
Pubblicazione: (2025)

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms
di: de Lima, Thaynara Arielly, et al.
Pubblicazione: (2024)

An Abstract Account of Up-to Techniques for Inductive Behavioural Relations
di: Sangiorgi, Davide
Pubblicazione: (2024)

Weighted Rewriting: Semiring Semantics for Abstract Reduction Systems
di: Ahrens, Emma, et al.
Pubblicazione: (2025)

Model Checking as Program Verification by Abstract Interpretation (Extended Version)
di: Baldan, Paolo, et al.
Pubblicazione: (2025)

Efficient Implementation of an Abstract Domain of Quantified First-Order Formulas
di: Frenkel, Eden, et al.
Pubblicazione: (2024)

A Formalization of Abstract Rewriting in Agda
di: Arkle, Sam, et al.
Pubblicazione: (2026)

Database Research needs an Abstract Relational Query Language
di: Gatterbauer, Wolfgang, et al.
Pubblicazione: (2025)

The Functional Machine Calculus III: Choice (Early Announcement)
di: Heijltjes, Willem
Pubblicazione: (2024)

Bridge and Bound: A Logic-Based Framework for Abstracting (Extended Report)
di: Szalas, Andrzej
Pubblicazione: (2025)

A Program Logic for Abstract (Hyper)Properties
di: Baldan, Paolo, et al.
Pubblicazione: (2026)

An Abstract Domain for Heap Commutativity (Extended Version)
di: Pincus, Jared, et al.
Pubblicazione: (2024)

Extended Abstract: Mutable Objects with Several Implementations
di: Kaufmann, Matt, et al.
Pubblicazione: (2025)

BAss: Symbolic Reasoning in Abstract Dialectical Frameworks
di: Pastva, Samuel, et al.
Pubblicazione: (2026)

Abstract Operational Methods for Call-by-Push-Value
di: Goncharov, Sergey, et al.
Pubblicazione: (2024)

Complete and Terminating Tableau Calculus for Undirected Graph
di: Nishimura, Yuki, et al.
Pubblicazione: (2024)

Abstract Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

Stability Property for the Call-by-Value $λ$-calculus through Taylor Expansion
di: Barbarossa, Davide
Pubblicazione: (2024)