Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Programació funcional (Informàtica)"'
Autor:
Royo Sales, Juan Pablo
Publikováno v:
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
Universitat Politècnica de Catalunya (UPC)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::523b59a076b1b5d6e93d5379f3ba346c
http://hdl.handle.net/2117/361615
http://hdl.handle.net/2117/361615
Autor:
Ferrà Marcús, Aina
Publikováno v:
Dipòsit Digital de la UB
Universidad de Barcelona
Universidad de Barcelona
Treballs Finals de Grau de Matemàtiques, Facultat de Matemàtiques, Universitat de Barcelona, Any: 2018, Director: Carles Casacuberta
[en] Classically, algebraic structures such as groups, rings, and many others were jointly studied with the la
[en] Classically, algebraic structures such as groups, rings, and many others were jointly studied with the la
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::d73d40220ce6cec726fa7be20480e811
http://hdl.handle.net/2445/125802
http://hdl.handle.net/2445/125802
Autor:
Mas Rovira, Jan
Publikováno v:
Recercat. Dipósit de la Recerca de Catalunya
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
instname
UPCommons. Portal del coneixement obert de la UPC
Universitat Politècnica de Catalunya (UPC)
We present Phileas, an automatic theorem prover focused on structural induction. Phileas is capable of automatically proving properties about inductively defined data types in Haskell anb reporting a proof in a human readable format.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7e5d6c101e6a59ea2d0a1bf5c1ac6b05
http://hdl.handle.net/2117/120914
http://hdl.handle.net/2117/120914