Cover Image

Generalization of Variadic Structures with Binders: A Tool for Structural Code Comparison

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Baumgartner, Alexander, Kutsia, Temur
Format:	Preprint
Published:	2025
Subjects:	Logic in Computer Science
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Generalization Problems with Atom-Variables in Languages with Binders and Equational Theories
by: Nantes-Sobrinho, Daniele, et al.
Published: (2025)

Nominal anti-unification
by: Baumgartner, Alexander, et al.
Published: (2025)

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

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

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

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

Simple Classes of Automatic Structures
by: Blumensath, Achim
Published: (2025)

Generating Theorems by Generating Proof Structures
by: Wernhard, Christoph
Published: (2026)

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

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

Simplifier: A New Tool for Boolean Circuit Simplification
by: Averkov, Daniil, et al.
Published: (2025)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
by: Pant, Sangeeta, et al.
Published: (2024)

Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
by: Nishiyama, Yumiko
Published: (2025)

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)
by: Clairambault, Pierre, et al.
Published: (2023)

Computing with Infinite Objects: the Gray Code Case
by: Spreen, Dieter, et al.
Published: (2021)

Logic Programming with Multiplicative Structures
by: Acclavio, Matteo, et al.
Published: (2024)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
by: Lyon, Tim S.
Published: (2022)

AutoDeduct: A Tool for Automated Deductive Verification of C Code
by: Amilon, Jesper, et al.
Published: (2025)

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

Structural Liveness of Conservative Petri Nets
by: Jančar, Petr, et al.
Published: (2025)

Algebraic Reasoning over Relational Structures
by: Jurka, Jan, et al.
Published: (2024)

Multi-Structural Games and Number of Quantifiers
by: Fagin, Ronald, et al.
Published: (2021)

Structural Analysis of Boolean Equation Systems
by: Keiren, Jeroen, et al.
Published: (2010)

Structural Operational Semantics for True Concurrency
by: Wang, Yong
Published: (2026)

Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)

Structural Analysis of GRAFCET Control Specifications
by: Schnakenbeck, Aron, et al.
Published: (2023)

Structural Liveness of Immediate Observation Petri Nets
by: Jancar, Petr, et al.
Published: (2021)

Branch-Well-Structured Transition Systems and Extensions
by: Bollig, Benedikt, et al.
Published: (2022)

A System of Interaction and Structure III: The Complexity of BV and Pomset Logic
by: Nguyên, Lê Thành Dũng, et al.
Published: (2022)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Support is Search
by: Gheorghiu, Alexander V.
Published: (2026)

Automated Hybrid Grounding Using Structural and Data-Driven Heuristics
by: Beiser, Alexander, et al.
Published: (2025)

Structure-Aware Computing, Partial Quantifier Elimination And SAT
by: Goldberg, Eugene
Published: (2024)

Bounded Structural Model Finding with Symbolic Data Constraints
by: Boronat, Artur
Published: (2026)

A General (Uniform) Relational Semantics for Sentential Logics
by: Hartonas, Chrysafis
Published: (2025)

Adaptive Query Algorithms for Relational Structures Based on Homomorphism Counts
by: Cate, Balder ten, et al.
Published: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Structuring Definitions in Mathematical Libraries
by: Gusakov, Alena, et al.
Published: (2025)

Multi-Structural Games and Beyond
by: Carmosino, Marco, et al.
Published: (2023)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)