- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1433-299X
- Umfang
-
Online-Ressource
- Sprache
-
Englisch
- Anmerkungen
-
online resource.
- Erschienen in
-
Automating Event-B invariant proofs by rippling and proof patching ; day:2 ; month:1 ; year:2019 ; pages:1-35
Formal aspects of computing ; (2.1.2019), 1-35
- Urheber
- Beteiligte Personen und Organisationen
-
SpringerLink (Online service)
- DOI
-
10.1007/s00165-018-00476-7
- URN
-
urn:nbn:de:101:1-2019020722304117570513
- Rechteinformation
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
14.08.2025, 10:51 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
- Lin, Yuhui
- Bundy, Alan
- Grov, Gudmund
- Maclean, Ewen
- SpringerLink (Online service)
Ähnliche Objekte (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 Change of Representation for Proofs in Discrete Mathematics (Extended Version)
New proofs on two recent inequalities for unitarily invariant norms
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Reliable reconstruction of fine-grained proofs in a proof assistant
Automating Industrial Event Stream Analytics: Methods, Models, and Tools
Automating anticorruption?
Automating Creativity
What is the Meaning of Proofs? : A Fregean Distinction in Proof-Theoretic Semantics
Towards automating duality
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 Change of Representation for Proofs in Discrete Mathematics (Extended Version)
New proofs on two recent inequalities for unitarily invariant norms
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Reliable reconstruction of fine-grained proofs in a proof assistant
Automating Industrial Event Stream Analytics: Methods, Models, and Tools
Automating anticorruption?
Automating Creativity
What is the Meaning of Proofs? : A Fregean Distinction in Proof-Theoretic Semantics
Towards automating duality
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 Change of Representation for Proofs in Discrete Mathematics (Extended Version)
New proofs on two recent inequalities for unitarily invariant norms
Meaning and identity of proofs in (bilateralist) proof-theoretic semantics
Reliable reconstruction of fine-grained proofs in a proof assistant
Automating Industrial Event Stream Analytics: Methods, Models, and Tools
Automating anticorruption?
Automating Creativity
What is the Meaning of Proofs? : A Fregean Distinction in Proof-Theoretic Semantics