The boolean pythagorean triples problem in coq

Luís Cruz-Filipe; Joao Marques-Silva; Peter Schneider-Kamp

The boolean pythagorean triples problem in coq

Luís Cruz-Filipe
, Joao Marques-Silva
, Peter Schneider-Kamp

Research output: Conference Article in Proceeding or Book/Report chapter › Conference abstract in proceedings › Research › peer-review

Abstract

Abstract, 23rd International Conference on Types for Proofs and Programs (TYPES 2017)

Original language	English
Title of host publication	23rd International Conference on Types for Proofs and Programs (TYPES 2017) : Abstracts
Number of pages	2
Publication date	29 May 2017
Pages	47-48
ISBN (Print)	978-963-284-883-9
Publication status	Published - 29 May 2017
Externally published	Yes
Event	International Conference on Types for Proofs and Programs - Budapest, Hungary Duration: 29 May 2017 → 1 Jun 2017 Conference number: 23 https://www.proceedings.com/47692.html

Conference

Conference	International Conference on Types for Proofs and Programs
Number	23
Country/Territory	Hungary
City	Budapest
Period	29/05/2017 → 01/06/2017
Internet address	https://www.proceedings.com/47692.html

Access to Document

https://types2017.elte.hu/proc.pdf#page=55Licence: Unspecified

Cite this

@inbook{72651c68a7fe4abaaddef6a1583600cb,

title = "The boolean pythagorean triples problem in coq",

abstract = "Abstract, 23rd International Conference on Types for Proofs and Programs (TYPES 2017) ",

author = "Lu{\'i}s Cruz-Filipe and Joao Marques-Silva and Peter Schneider-Kamp",

note = "23rd International Conference on Types for Proofs and Programs, TYPES 2017 ; Conference date: 29-05-2017 Through 01-06-2017; International Conference on Types for Proofs and Programs, TYPES ; Conference date: 29-05-2017 Through 01-06-2017",

year = "2017",

month = may,

day = "29",

language = "English",

isbn = "978-963-284-883-9",

pages = "47--48",

booktitle = "23rd International Conference on Types for Proofs and Programs (TYPES 2017)",

url = "https://www.proceedings.com/47692.html",

}

TY - ABST

T1 - The boolean pythagorean triples problem in coq

AU - Cruz-Filipe, Luís

AU - Marques-Silva, Joao

AU - Schneider-Kamp, Peter

N1 - Conference code: 23

PY - 2017/5/29

Y1 - 2017/5/29

N2 - Abstract, 23rd International Conference on Types for Proofs and Programs (TYPES 2017)

AB - Abstract, 23rd International Conference on Types for Proofs and Programs (TYPES 2017)

UR - https://www.scopus.com/pages/publications/85086947632

UR - https://types2017.elte.hu/proc.pdf

M3 - Conference abstract in proceedings

SN - 978-963-284-883-9

SP - 47

EP - 48

BT - 23rd International Conference on Types for Proofs and Programs (TYPES 2017)

T2 - International Conference on Types for Proofs and Programs

Y2 - 29 May 2017 through 1 June 2017

ER -

The boolean pythagorean triples problem in coq

Abstract

Conference

Access to Document

Fingerprint

Cite this