Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version)
- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1661-8289
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Automating Change of Representation for Proofs in Discrete Mathematics (Extended Version) ; day:18 ; month:7 ; year:2016 ; pages:1-29
Mathematics in computer science ; (18.7.2016), 1-29
- Creator
-
Raggi, Daniel
- Contributor
- DOI
-
10.1007/s11786-016-0275-z
- URN
-
urn:nbn:de:1111-20160722542
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
14.08.2025, 10:48 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
- Raggi, Daniel
- Bundy, Alan
- Grov, Gudmund
- Pease, Alison
- SpringerLink (Online service)
Other Objects (12)
Automating Type Soundness Proofs for Domain-Specific Languages
MENON : automating a Socratic teaching model for mathematical proofs
Automating recursive definitions and termination proofs in higher-order logic
Automating Event-B invariant proofs by rippling and proof patching
Discrete mathematics
Mathematics, algorithms, proofs : 05021 summary ; 09.01. - 14.01.05
Lecture Mathematics: The Value of Erro in Proofs
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Notes on discrete mathematics
Discrete mathematics and applications
Diskrete Mathematik : Discrete mathematics
Proofs and fundamentals : a first course in abstract mathematics
Automating Type Soundness Proofs for Domain-Specific Languages
MENON : automating a Socratic teaching model for mathematical proofs
Automating recursive definitions and termination proofs in higher-order logic
Automating Event-B invariant proofs by rippling and proof patching
Discrete mathematics
Mathematics, algorithms, proofs : 05021 summary ; 09.01. - 14.01.05
Lecture Mathematics: The Value of Erro in Proofs
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Notes on discrete mathematics
Discrete mathematics and applications
Diskrete Mathematik : Discrete mathematics
Proofs and fundamentals : a first course in abstract mathematics
Automating Type Soundness Proofs for Domain-Specific Languages
MENON : automating a Socratic teaching model for mathematical proofs
Automating recursive definitions and termination proofs in higher-order logic
Automating Event-B invariant proofs by rippling and proof patching
Discrete mathematics
Mathematics, algorithms, proofs : 05021 summary ; 09.01. - 14.01.05
Lecture Mathematics: The Value of Erro in Proofs
Mathematics, algorithms, proofs : 05021 abstracts collection ; Dagstuhl seminar
Notes on discrete mathematics
Discrete mathematics and applications
Diskrete Mathematik : Discrete mathematics