Simple view
Full metadata view
Authors
Statistics
Random generation of closed simply typed
Journal
Theory and Practice of Logic Programming
35
Author
Bendkowski Maciej
Grygiel Katarzyna
Tarau Paul
Volume
18
Number
1
Pages
97-119
ISSN
1471-0684
eISSN
1475-3081
Language
English
Journal language
English
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
Scopus© citations
2
| dc.affiliation | Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej | pl |
| dc.contributor.author | Bendkowski, Maciej - 177150 | pl |
| dc.contributor.author | Grygiel, Katarzyna - 136103 | pl |
| dc.contributor.author | Tarau, Paul | pl |
| dc.date.accessioned | 2018-03-07T12:41:14Z | |
| dc.date.available | 2018-03-07T12:41:14Z | |
| dc.date.issued | 2018 | pl |
| dc.description.number | 1 | pl |
| dc.description.physical | 97-119 | pl |
| dc.description.volume | 18 | pl |
| dc.identifier.doi | 10.1017/S147106841700045X | pl |
| dc.identifier.eissn | 1475-3081 | pl |
| dc.identifier.issn | 1471-0684 | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/51376 | |
| dc.language | eng | pl |
| dc.language.container | eng | pl |
| dc.rights | Dodaję tylko opis bibliograficzny | * |
| dc.rights.licence | Bez licencji otwartego dostępu | |
| dc.rights.uri | * | |
| dc.subtype | Article | pl |
| dc.title | Random generation of closed simply typed $\lambda$-terms : a synergy between logic programming and Boltzmann samplers* | pl |
| dc.title.journal | Theory and Practice of Logic Programming | pl |
| dc.type | JournalArticle | pl |
| dspace.entity.type | Publication |
dc.affiliationpl
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej dc.contributor.authorpl
Bendkowski, Maciej - 177150 dc.contributor.authorpl
Grygiel, Katarzyna - 136103 dc.contributor.authorpl
Tarau, Paul dc.date.accessioned
2018-03-07T12:41:14Z dc.date.available
2018-03-07T12:41:14Z dc.date.issuedpl
2018 dc.description.numberpl
1 dc.description.physicalpl
97-119 dc.description.volumepl
18 dc.identifier.doipl
10.1017/S147106841700045X dc.identifier.eissnpl
1475-3081 dc.identifier.issnpl
1471-0684 dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/51376 dc.languagepl
eng dc.language.containerpl
eng dc.rights*
Dodaję tylko opis bibliograficzny dc.rights.licence
Bez licencji otwartego dostępu dc.rights.uri*
dc.subtypepl
Article dc.titlepl
Random generation of closed simply typed $\lambda$-terms : a synergy between logic programming and Boltzmann samplers* dc.title.journalpl
Theory and Practice of Logic Programming dc.typepl
JournalArticle dspace.entity.type
Publication Affiliations
Wydział Matematyki i Informatyki
Bendkowski, Maciej
Grygiel, Katarzyna
No affiliation
Tarau, Paul