Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- Extent
-
1 Online-Ressource.
- Language
-
Englisch
- Bibliographic citation
-
Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq ; volume:68 ; number:3 ; day:14 ; month:8 ; year:2024 ; pages:1-32 ; date:9.2024
Journal of automated reasoning ; 68, Heft 3 (14.8.2024), 1-32, 9.2024
- Creator
-
Gross, Jason
Erbsen, Andres
Philipoom, Jade
Agrawal, Rajashree
Chlipala, Adam
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-024-09705-6
- URN
-
urn:nbn:de:101:1-2411222126158.962730477991
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:38 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Gross, Jason
- Erbsen, Andres
- Philipoom, Jade
- Agrawal, Rajashree
- Chlipala, Adam
- SpringerLink (Online service)
Other Objects (12)
Tafel: Le Canard souffleur, Coq primitif, Poule primitive.
Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue
Rewriting Academia
Rewriting rewriting : Marguerite Duras, Annie Ernaux, and Marie Redonnet
Symbolic rewriting techniques
String rewriting systems
Confluent string rewriting
REWILDING AND REWRITING
Termersetzungssysteme : Term Rewriting
Coq
Le Coq ou la Menthe Coq
Rewriting the Black Body
Tafel: Le Canard souffleur, Coq primitif, Poule primitive.
Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue
Rewriting Academia
Rewriting rewriting : Marguerite Duras, Annie Ernaux, and Marie Redonnet
Symbolic rewriting techniques
String rewriting systems
Confluent string rewriting
REWILDING AND REWRITING
Termersetzungssysteme : Term Rewriting
Coq
Le Coq ou la Menthe Coq
Rewriting the Black Body
Tafel: Le Canard souffleur, Coq primitif, Poule primitive.
Towards Scalable Hybrid Stores: Constraint-Based Rewriting to the Rescue
Rewriting Academia
Rewriting rewriting : Marguerite Duras, Annie Ernaux, and Marie Redonnet
Symbolic rewriting techniques
String rewriting systems
Confluent string rewriting
REWILDING AND REWRITING
Termersetzungssysteme : Term Rewriting
Coq
Le Coq ou la Menthe Coq