Towards a Scalable Proof Engine: A Performant Prototype Rewriting Primitive for Coq
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- Umfang
-
1 Online-Ressource.
- Sprache
-
Englisch
- Erschienen in
-
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
- Urheber
-
Gross, Jason
Erbsen, Andres
Philipoom, Jade
Agrawal, Rajashree
Chlipala, Adam
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s10817-024-09705-6
- URN
-
urn:nbn:de:101:1-2411222126158.962730477991
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.08.2025, 07:38 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Beteiligte
- Gross, Jason
- Erbsen, Andres
- Philipoom, Jade
- Agrawal, Rajashree
- Chlipala, Adam
- SpringerLink (Online service)
Ähnliche Objekte (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