Copertina

Formalizing Factorization on Euclidean Domains and Abstract Euclidean Algorithms

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	de Lima, Thaynara Arielly, Avelar, Andréia Borges, Galdino, André Luiz, Ayala-Rincón, Mauricio
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

Modal definability in Euclidean modal logics
di: Balbiani, Philippe, et al.
Pubblicazione: (2025)

Autoformalizing Euclidean Geometry
di: Murphy, Logan, et al.
Pubblicazione: (2024)

Deciding Robust Instances of an Escape Problem for Dynamical Systems in Euclidean Space
di: Neumann, Eike
Pubblicazione: (2025)

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 Scene Graphs: Formalizing and Monitoring Spatial Properties of Automated Driving Functions
di: Saxena, Ishan, et al.
Pubblicazione: (2025)

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

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

Formalizing Hyperspaces and Operations on Subsets of Polish spaces over Abstract Exact Real Numbers
di: Konečný, Michal, et al.
Pubblicazione: (2024)

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

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

A Formal Analysis of Capacity Scaling Algorithms for Minimum-Cost Flows
di: Abdulaziz, Mohammad, et al.
Pubblicazione: (2026)

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

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

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

Formalizing equivalences without tears
di: de Jong, Tom
Pubblicazione: (2024)

Domain theory in univalent foundations I: Directed complete posets and Scott's $D_\infty$
di: de Jong, Tom
Pubblicazione: (2024)

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)

Fully Abstract Encodings of $λ$-Calculus in HOcore through Abstract Machines
di: Biernacka, Małgorzata, et al.
Pubblicazione: (2022)

On the Completeness of Interpolation Algorithms
di: Hetzl, Stefan, et al.
Pubblicazione: (2024)

Formalization of Amicable Numbers Theory
di: Chen, Zhipeng, et al.
Pubblicazione: (2026)

Three Fundamental Questions in Modern Infinite-Domain Constraint Satisfaction
di: Pinsker, Michael, et al.
Pubblicazione: (2025)

Formalizing two-level type theory with cofibrant exo-nat
di: Uskuplu, Elif
Pubblicazione: (2023)

Meta-Modelling in Formal Concept Analysis
di: Wang, Yingjian
Pubblicazione: (2024)

Formal Modelling and Analysis of Slot Machines
di: Groote, Jan Friso, et al.
Pubblicazione: (2024)

Formal Verification of Isothermal Chemical Reactors
di: Feyzishendi, Parivash, et al.
Pubblicazione: (2025)

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

Prime Factorization in Models of PV$_1$
di: Ježil, Ondřej
Pubblicazione: (2025)

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)

Proceedings Eighth Symposium on Working Formal Methods
di: Marin, Mircea, et al.
Pubblicazione: (2024)

A Rocq Formalization of Monomial and Graded Orders
di: Boldo, Sylvie, et al.
Pubblicazione: (2025)

Exploring Formal Math on the Blockchain: An Explorer for Proofgold
di: Brown, Chad E., et al.
Pubblicazione: (2025)

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

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

Universal Horn Sentences and the Joint Embedding Property
di: Bodirsky, Manuel, et al.
Pubblicazione: (2021)

Formal Quality Measures for Predictors in Markov Decision Processes
di: Baier, Christel, et al.
Pubblicazione: (2024)