Simple view
Full metadata view
Authors
Statistics
On the likelihood of normalization in combinatory logic
Journal
Journal of Logic and Computation
30
Author
Bendkowski Maciej
Grygiel Katarzyna
Zaionc Marek
Volume
27
Number
7
Pages
2251-2269
ISSN
0955-792X
eISSN
1465-363X
Language
English
Journal language
English
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
Scopus© citations
7
| 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 | Zaionc, Marek - 132832 | pl |
| dc.date.accessioned | 2017-12-01T14:22:40Z | |
| dc.date.available | 2017-12-01T14:22:40Z | |
| dc.date.issued | 2017 | pl |
| dc.description.number | 7 | pl |
| dc.description.physical | 2251-2269 | pl |
| dc.description.volume | 27 | pl |
| dc.identifier.doi | 10.1093/logcom/exx005 | pl |
| dc.identifier.eissn | 1465-363X | pl |
| dc.identifier.issn | 0955-792X | pl |
| dc.identifier.uri | https://ruj.uj.edu.pl/xmlui/handle/item/47056 | |
| 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 | On the likelihood of normalization in combinatory logic | pl |
| dc.title.journal | Journal of Logic and Computation | 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
Zaionc, Marek - 132832 dc.date.accessioned
2017-12-01T14:22:40Z dc.date.available
2017-12-01T14:22:40Z dc.date.issuedpl
2017 dc.description.numberpl
7 dc.description.physicalpl
2251-2269 dc.description.volumepl
27 dc.identifier.doipl
10.1093/logcom/exx005 dc.identifier.eissnpl
1465-363X dc.identifier.issnpl
0955-792X dc.identifier.uri
https://ruj.uj.edu.pl/xmlui/handle/item/47056 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
On the likelihood of normalization in combinatory logic dc.title.journalpl
Journal of Logic and Computation dc.typepl
JournalArticle dspace.entity.type
Publication Affiliations
Wydział Matematyki i Informatyki
Bendkowski, Maciej
Grygiel, Katarzyna
Zaionc, Marek