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

Publikation: Konference artikel i Proceeding eller bog/rapport kapitel › Konferenceabstrakt i proceedings › Forskning › peer review

Abstract

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

Originalsprog	Engelsk
Titel	23rd International Conference on Types for Proofs and Programs (TYPES 2017) : Abstracts
Antal sider	2
Publikationsdato	29 maj 2017
Sider	47-48
ISBN (Trykt)	978-963-284-883-9
Status	Udgivet - 29 maj 2017
Udgivet eksternt	Ja
Begivenhed	International Conference on Types for Proofs and Programs - Budapest, Ungarn Varighed: 29 maj 2017 → 1 jun. 2017 Konferencens nummer: 23 https://www.proceedings.com/47692.html

Konference

Konference	International Conference on Types for Proofs and Programs
Nummer	23
Land/Område	Ungarn
By	Budapest
Periode	29/05/2017 → 01/06/2017
Internetadresse	https://www.proceedings.com/47692.html

Adgang til dokumentet

https://types2017.elte.hu/proc.pdf#page=55Licens: Ikke-specificeret

Citationsformater

@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

Konference

Adgang til dokumentet

Fingeraftryk

Citationsformater