Image de couverture de livre

Term Ordering Diagrams

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hajdu, Márton, Coutelier, Robin, Kovács, Laura, Voronkov, Andrei
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Partial Redundancy in Saturation
par: Hajdu, Márton, et autres
Publié: (2025)

Getting Saturated with Induction
par: Hajdu, Márton, et autres
Publié: (2024)

Synthesis Benchmarks for Automated Reasoning
par: Hajdu, Márton, et autres
Publié: (2025)

The Vampire Diary
par: Bártek, Filip, et autres
Publié: (2025)

Lazy Reimplication in Chronological Backtracking
par: Coutelier, Robin, et autres
Publié: (2025)

Rewriting and Inductive Reasoning
par: Hajdu, Márton, et autres
Publié: (2024)

Saturating Sorting without Sorts
par: Georgiou, Pamina, et autres
Publié: (2024)

SAT-Based Subsumption Resolution
par: Coutelier, Robin, et autres
Publié: (2024)

Program Synthesis in Saturation
par: Hozzová, Petra, et autres
Publié: (2024)

SAT Solving for Variants of First-Order Subsumption
par: Coutelier, Robin, et autres
Publié: (2024)

Completeness of Synthesis under Realizability Assumptions using Superposition
par: Hajdu, Márton, et autres
Publié: (2026)

Lean on Vampire Proofs (Short Paper)
par: Bodingbauer, Jonas, et autres
Publié: (2026)

Positive Almost-Sure Termination of Polynomial Random Walks
par: Winkler, Lorenz, et autres
Publié: (2025)

Terminating Hybrid Tableaus for Ordered Models
par: Nishimura, Yuki
Publié: (2025)

Finding Connections via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2026)

Constraint Learning for Non-confluent Proof Search
par: Rawson, Michael, et autres
Publié: (2026)

Spanning Matrices via Satisfiability Solving
par: Eisenhofer, Clemens, et autres
Publié: (2024)

Internal and External Calculi: Ordering the Jungle without Being Lost in Translations
par: Lyon, Tim S., et autres
Publié: (2023)

Fuzzy Aristotelian Diagrams
par: Syropoulos, Apostolos
Publié: (2024)

Certificate-Aware Property-Directed Reachability
par: Ferdowsi, Arman, et autres
Publié: (2026)

On Solving String Equations via Powers and Parikh Images
par: Eisenhofer, Clemens, et autres
Publié: (2026)

String Diagrams for Monoidal Categories, in Rocq
par: Pous, Damien
Publié: (2026)

PolySAT: Word-level Bit-vector Reasoning in Z3
par: Rath, Jakob, et autres
Publié: (2024)

Bifurcation Logic: Separation Through Ordering
par: Galmiche, Didier, et autres
Publié: (2025)

MCSat-based Finite Field Reasoning in the Yices2 SMT Solver
par: Hader, Thomas, et autres
Publié: (2024)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
par: Watanabe, Kazuki
Publié: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
par: Watanabe, Kazuki, et autres
Publié: (2024)

Local structure of idempotent algebras I
par: Bulatov, Andrei A.
Publié: (2020)

Translating Workflow Nets into the Partially Ordered Workflow Language
par: Kourani, Humam, et autres
Publié: (2025)

Two-Variable Logic for Hierarchically Partitioned and Ordered Data
par: Fiuk, Oskar, et autres
Publié: (2025)

Revisiting Assumptions Ordering in CAR-Based Model Checking
par: Dong, Yibo, et autres
Publié: (2024)

Linear Loop Synthesis for Quadratic Invariants
par: Hitarth, S., et autres
Publié: (2023)

Ordered Completion for Non-Locally Tight mini-gringo Programs
par: Heuer, Jan
Publié: (2025)

Tape Diagrams for Monoidal Monads
par: Bonchi, Filippo, et autres
Publié: (2025)

Enriching Diagrams with Algebraic Operations
par: Villoria, Alejandro, et autres
Publié: (2023)

A Categorical Framework for Modeling with Stock and Flow Diagrams
par: Baez, John C., et autres
Publié: (2022)

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
par: Jeanteur, Simon, et autres
Publié: (2023)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems
par: Baader, Franz, et autres
Publié: (2024)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
par: Rashid, Adnan, et autres
Publié: (2024)