Simple view

Full metadata view

Authors

Statistics

A natural counting of lambda terms

2016
book section
conference proceedings
10.1007/978-3-662-49192-8_15
Author
Bendkowski Maciej

Grygiel Katarzyna

Lescanne Pierre

Zaionc Marek
Editor
Freivalds Rūsiņš Mārtiņš

Engels Gregor

Catania Barbara
publisher
BerlinHeidelberg : Springer-Verlag
Book title / Journal title
SOFSEM 2016 : Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science : Harrachov, Czech Republic, January 23-28, 2016 : proceedings
Pages
183-194
ISBN
978-3-662-49191-1
eISBN
978-3-662-49192-8
Series
Lecture Notes in Computer Science
Serie's ISSN
0302-9743
Serie's eISSN
1611-3349
Number of serie
9587
Language
English
Book language / Journal language
English
Conference
42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016)
Conference start date
2016-01-23
End date conference
2016-01-28
Conference city
Harrachov
Conference country
Czechy
Conference type
international
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
cris.lastimport.wos2024-04-09T20:48:30Z
dc.affiliationWydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznejpl
dc.conference42nd International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2016)pl
dc.conference.cityHarrachov
dc.conference.countryCzechy
dc.conference.datefinish2016-01-28
dc.conference.datestart2016-01-23
dc.conference.indexscopustrue
dc.contributor.authorBendkowski, Maciej - 177150 pl
dc.contributor.authorGrygiel, Katarzyna - 136103 pl
dc.contributor.authorLescanne, Pierrepl
dc.contributor.authorZaionc, Marek - 132832 pl
dc.contributor.editorFreivalds, Rūsiņš Mārtiņšpl
dc.contributor.editorEngels, Gregorpl
dc.contributor.editorCatania, Barbarapl
dc.date.accessioned2016-05-23T09:15:28Z
dc.date.available2016-05-23T09:15:28Z
dc.date.issued2016pl
dc.description.conftypeinternationalpl
dc.description.physical183-194pl
dc.description.publication0,75pl
dc.description.seriesLecture Notes in Computer Science
dc.description.seriesnumber9587
dc.identifier.doi10.1007/978-3-662-49192-8_15pl
dc.identifier.eisbn978-3-662-49192-8pl
dc.identifier.isbn978-3-662-49191-1pl
dc.identifier.serieseissn1611-3349
dc.identifier.seriesissn0302-9743
dc.identifier.urihttp://ruj.uj.edu.pl/xmlui/handle/item/26742
dc.languageengpl
dc.language.containerengpl
dc.pubinfoBerlinpl
dc.pubinfoHeidelberg : Springer-Verlagpl
dc.rights.licencebez licencji
dc.subtypeConferenceProceedingspl
dc.titleA natural counting of lambda termspl
dc.title.containerSOFSEM 2016 : Theory and Practice of Computer Science : 42nd International Conference on Current Trends in Theory and Practice of Computer Science : Harrachov, Czech Republic, January 23-28, 2016 : proceedingspl
dc.typeBookSectionpl
dspace.entity.typePublication

* The migration of download and view statistics prior to the date of April 8, 2024 is in progress.

Views
0
Views per month

No access

No Thumbnail Available
Collections
Research publications