How to Make Ad Hoc Proof Automation Less Ad Hoc

Gonthier, Georges; Ziliani, Beta; Nanevski, Aleksander; Dreyer, Derek

doi:10.1017/S0956796813000051

Local TagsRelease HistoryDetailsSummary

How to Make Ad Hoc Proof Automation Less Ad Hoc

Gonthier, G., Ziliani, B., Nanevski, A., & Dreyer, D. (2013). How to Make Ad Hoc Proof Automation Less Ad Hoc. Journal of Functional Programming, 23(4), 357-401. doi:10.1017/S0956796813000051.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-1A1C-1 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0028-1A1D-0

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Gonthier, Georges¹, Author
Ziliani, Beta², Author
Nanevski, Aleksander¹, Author
Dreyer, Derek², Author

Affiliations:
1External Organizations, ou_persistent22
2Group D. Dreyer, Max Planck Institute for Software Systems, Max Planck Society, ou_2105286

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2013Date issued: 2013

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: Internal

Identifiers: eDoc: 687874
DOI: 10.1017/S0956796813000051

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Journal of Functional Programming

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: -

Pages: - Volume / Issue: 23 (4) Sequence Number: - Start / End Page: 357 - 401 Identifier: -