DUNCHEV, TSVETAN CHAVDAROV
DUNCHEV, TSVETAN CHAVDAROV
ARAG - AREA FINANZA E PARTECIPATE
Collaboratori
Mostra
records
Risultati 1 - 3 di 3 (tempo di esecuzione: 0.001 secondi).
Implementing HOL in an higher order logic programming language
2016 Dunchev, Tsvetan; Sacerdoti Coen, Claudio; Tassi, Enrico
ELPI: Fast, embeddable, λprolog interpreter
2015 Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico
Embedded Lambda Prolog Interpreter (ELPI)
2015 Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi
| Titolo | Autore(i) | Anno | Periodico | Editore | Tipo | File |
|---|---|---|---|---|---|---|
| Implementing HOL in an higher order logic programming language | Dunchev, Tsvetan; Sacerdoti Coen, Claudio; Tassi, Enrico | 2016-01-01 | - | Association for Computing Machinery | 4.01 Contributo in Atti di convegno | - |
| ELPI: Fast, embeddable, λprolog interpreter | Dunchev, Tsvetan Chavdarov; Guidi, Ferruccio; Sacerdoti Coen, Claudio; Tassi, Enrico | 2015-01-01 | LECTURE NOTES IN COMPUTER SCIENCE | Springer Verlag | 4.01 Contributo in Atti di convegno | - |
| Embedded Lambda Prolog Interpreter (ELPI) | Tsvetan Chavdarov, Dunchev; Claudio Sacerdoti Coen; Enrico Tassi | 2015-01-01 | - | - | 7.04 Software | - |