Buchumschlag

RV32I in ACL2

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Kwan, Carl
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Logic in Computer Science
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

An ACL2s Interface to Z3
von: Walter, Andrew T., et al.
Veröffentlicht: (2025)

A Proof of the Schröder-Bernstein Theorem in ACL2
von: Jurgensen, Grant
Veröffentlicht: (2025)

Extended Abstract: Partial-encapsulate and Its Support for Floating-point Operations in ACL2
von: Kaufmann, Matt, et al.
Veröffentlicht: (2025)

Proceedings 19th International Workshop on the ACL2 Theorem Prover and Its Applications
von: Gamboa, Ruben, et al.
Veröffentlicht: (2025)

An Enumerative Embedding of the Python Type System in ACL2s
von: Xifaras, Samuel, et al.
Veröffentlicht: (2025)

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

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

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
von: Ken, Eitetsu, et al.
Veröffentlicht: (2024)

Improving the Diproche CNL through Autoformalization via Large Language Models
von: Carl, Merlin
Veröffentlicht: (2023)

Local structure of idempotent algebras I
von: Bulatov, Andrei A.
Veröffentlicht: (2020)

Proofs that Modify Proofs, 1/2
von: Towsner, Henry
Veröffentlicht: (2025)

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

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
von: Almeida, Rodrigo Nicolau
Veröffentlicht: (2023)

Sequent Calculi for Data-Aware Modal Logics
von: Areces, Carlos, et al.
Veröffentlicht: (2025)

$Π_{2}^{P}$ vs PSpace Dichotomy for the Quantified Constraint Satisfaction Problem
von: Zhuk, Dmitriy
Veröffentlicht: (2024)

Graphical Proof Theory I: Sequent Systems on Undirected Graphs
von: Acclavio, Matteo
Veröffentlicht: (2023)

Comparing and Contrasting Arrow's Impossibility Theorem and Gödel's Incompleteness Theorem
von: Livson, Ori, et al.
Veröffentlicht: (2025)

A study of cut-elimination for a non-labelled cyclic proof system for propositional dynamic logics
von: Oda, Yukihiro
Veröffentlicht: (2025)

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

Decidability in First-Order Modal Logic with Non-Rigid Constants and Definite Descriptions
von: Artale, Alessandro, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Second-order Logic
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Many-valued coalgebraic dynamic logics: Safety and strong completeness via reducibility
von: Hansen, Helle Hvid, et al.
Veröffentlicht: (2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C
von: Ayhan, Sara, et al.
Veröffentlicht: (2025)

On semantics of first-order justification logic with binding modalities
von: Yavorskaya, Tatiana, et al.
Veröffentlicht: (2025)

Basis-Sensitive Quantum Typing via Realisability
von: Díaz-Caro, Alejandro, et al.
Veröffentlicht: (2025)

An abstract fixed-point theorem for Horn formula equations
von: Hetzl, Stefan, et al.
Veröffentlicht: (2025)

Terminating Hybrid Tableaus for Ordered Models
von: Nishimura, Yuki
Veröffentlicht: (2025)

Skolemization In Intermediate Logics
von: Baaz, Matthias, et al.
Veröffentlicht: (2025)

Shininess, strong politeness, and unicorns
von: Przybocki, Benjamin, et al.
Veröffentlicht: (2025)

Quantum modal logic
von: Tokuo, Kenji
Veröffentlicht: (2025)

Simple Classes of Automatic Structures
von: Blumensath, Achim
Veröffentlicht: (2025)

Constructive Ordinal Exponentiation
von: de Jong, Tom, et al.
Veröffentlicht: (2025)

Proof-theoretic Semantics for Classical Propositional Logic with Assertion and Denial
von: Gheorghiu, Alexander V., et al.
Veröffentlicht: (2025)

Prime Factorization in Models of PV$_1$
von: Ježil, Ondřej
Veröffentlicht: (2025)

Intuitionistic monotone modal logic via translation
von: de Groot, Jim
Veröffentlicht: (2025)

Realizing the totally unordered structure of ordinals
von: Fontanella, Laura, et al.
Veröffentlicht: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
von: Santiago-Fernández, Sofía, et al.
Veröffentlicht: (2025)

Bilateral base-extension semantics
von: Barroso-Nascimento, Victor, et al.
Veröffentlicht: (2025)

Infinite trees
von: Goy, Alexandre
Veröffentlicht: (2025)

A dual characterisation of simple and subdirectly-irreducible temporal Heyting algebras
von: Alvarez, David Quinn
Veröffentlicht: (2025)