The boolean pythagorean triples problem in coq
- Luís Cruz-Filipe,
- Joao Marques-Silva,
- Peter Schneider-Kamp
- University of Southern Denmark,
- University of Lisbon
Research Output:
Conference Article in Proceeding or Book/Report chapter
Conference abstract in proceedings
Peer-review
Open access
Publication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Conference abstract in proceedings
Peer-reviewHost publication Subtitle
AbstractsOriginal language
EnglishPages from-to (Number of pages)
Pages 47-48 (2 pages)Publication milestones
- Published - 29/05/2017
Publication status
Published - 29/05/2017
ISBN (Print)
978-963-284-883-9Publication IDs
- Scopus: 85086947632
Host publication title
23rd International Conference on Types for Proofs and Programs (TYPES 2017)Abstract
Abstract, 23rd International Conference on Types for Proofs and Programs (TYPES 2017)
Access to documents
Final published version
License:Unspecified
Related Event
Title
International Conference on Types for Proofs and Programs
Event type
ConferenceDegree of recognition
International eventDate
29/05/2017 - 01/06/2017Location
BudapestHungary