Copertina

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Nantes-Sobrinho, Daniele, Schmidt-Schauss, Manfred, Baumgartner, Alexander, Kutsia, Temur
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison
di: Baumgartner, Alexander, et al.
Pubblicazione: (2025)

Nominal Equational Narrowing: Rewriting for Unification in Languages with Binders
di: Fernández, Maribel, et al.
Pubblicazione: (2025)

Equational Reasoning Modulo Commutativity in Languages with Binders (Extended Version)
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2025)

Nominal anti-unification
di: Baumgartner, Alexander, et al.
Pubblicazione: (2025)

Proceedings Twentieth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
di: Chaudhuri, Kaustuv, et al.
Pubblicazione: (2025)

Equational Anti-Unification over Absorption Theories
di: Ayala-Rincon, Mauricio, et al.
Pubblicazione: (2023)

Nominal Equational Rewriting and Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Strong Nominal Semantics for Fixed-Point Constraints
di: Caires-Santos, Ali K., et al.
Pubblicazione: (2024)

Graded Quantitative Narrowing
di: Ayala-Rincón, Mauricio, et al.
Pubblicazione: (2025)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version)
di: Paulus, Joseph W. N., et al.
Pubblicazione: (2021)

Higher-Order Pattern Unification Modulo Similarity Relations
di: Dundua, Besik, et al.
Pubblicazione: (2025)

Proceedings 18th International Workshop on Logical and Semantic Frameworks, with Applications and 10th Workshop on Horn Clauses for Verification and Synthesis
di: Kutsia, Temur, et al.
Pubblicazione: (2024)

Typed Non-determinism in Concurrent Calculi: The Eager Way
di: Heuvel, Bas van den, et al.
Pubblicazione: (2024)

Compositional Symbolic Execution for Correctness and Incorrectness Reasoning (Extended Version)
di: Lööw, Andreas, et al.
Pubblicazione: (2024)

Large Language Models Imitate Logical Reasoning, but at what Cost?
di: McGinness, Lachlan, et al.
Pubblicazione: (2025)

Experimental Results for Vampire on the Equational Theories Project
di: Janota, Mikoláš
Pubblicazione: (2025)

Case Study: Saturations as Explicit Models in Equational Theories
di: Janota, Mikoláš, et al.
Pubblicazione: (2026)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
di: Baader, Franz, et al.
Pubblicazione: (2026)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
di: Bergstra, Jan A, et al.
Pubblicazione: (2023)

Deciding Equations in the Time Warp Algebra
di: van Gool, Sam, et al.
Pubblicazione: (2023)

The Discontinuity Problem
di: Brattka, Vasco
Pubblicazione: (2020)

The Equational Theory of Relational Kleene Algebra with Graph Loop is PSPACE-Complete
di: Nakamura, Yoshiki
Pubblicazione: (2025)

Equational Theories and Validity for Logically Constrained Term Rewriting (Full Version)
di: Aoto, Takahito, et al.
Pubblicazione: (2024)

A Practical Formalization of Monadic Equational Reasoning in Dependent-type Theory
di: Affeldt, Reynald, et al.
Pubblicazione: (2023)

Unification with Simple Variable Restrictions and Admissibility of $Π_{2}$-rules
di: Almeida, Rodrigo Nicolau, et al.
Pubblicazione: (2024)

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
di: Lyon, Tim S.
Pubblicazione: (2024)

Logic of Sets with Atoms
di: Masters, Jake
Pubblicazione: (2025)

The Finite Satisfiability Problem for Two-Variable, First-Order Logic with one Transitive Relation is Decidable
di: Pratt-Hartmann, Ian
Pubblicazione: (2017)

The Church Synthesis Problem over Continuous Time
di: Rabinovich, Alexander, et al.
Pubblicazione: (2024)

Problems and Consequences of Bilateral Notions of (Meta-)Derivability
di: Ayhan, Sara
Pubblicazione: (2025)

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

The Proof Analysis Problem
di: Arteche, Noel, et al.
Pubblicazione: (2025)

Primitive Recursive Dependent Type Theory
di: Buchholtz, Ulrik, et al.
Pubblicazione: (2024)

Fixed Point Theorems in Computability Theory
di: Terwijn, Sebastiaan A.
Pubblicazione: (2024)

Generalized Optimization Modulo Theories
di: Tsiskaridze, Nestan, et al.
Pubblicazione: (2024)

Characterizing Sets of Theories That Can Be Disjointly Combined
di: Przybocki, Benjamin, et al.
Pubblicazione: (2025)

A Theory of Formal Choreographic Languages
di: Barbanera, Franco, et al.
Pubblicazione: (2022)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

An Analysis of Tennenbaum's Theorem in Constructive Type Theory
di: Hermes, Marc, et al.
Pubblicazione: (2023)

A Generalized Algebraic Theory for Type Theory with Explicit Universe Polymorphism
di: Bezem, Marc, et al.
Pubblicazione: (2026)