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
Abstract
Abstract, 23rd International Conference on Types for Proofs and Programs (TYPES 2017)
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)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