Simple view

Full metadata view

Authors

Statistics

Counting environments and closures

2018
book section
conference proceedings
10.4230/LIPIcs.FSCD.2018.11
Author
Bendkowski Maciej

Lescanne Pierre
Editor
Kirchner Hélène
Book title / Journal title
3rd International Conference on Formal Structures for Computation and Deduction : FSCD 2018, July 9-12, 2018, Oxford, United Kingdom
publisher
Saarbrücken, Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatik
Volume
108
Article ID
11
ISBN
978-3-95977-077-4
Series
Leibniz International Proceedings in Informatics (LIPIcs)
Serie's ISSN
1868-8969
Number of serie
108
Language
English
Book language / Journal language
English
Conference
International Conference on Formal Structures for Computation and Deduction (FSCD)
Conference start date
2018-07-09
End date conference
2018-07-12
Conference city
Oksford
Conference country
Wielka Brytania
Conference type
international
Affiliation
Wydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznej
cris.lastimport.scopus2024-04-07T16:49:23Z
cris.lastimport.wos2024-04-09T22:45:26Z
dc.affiliationWydział Matematyki i Informatyki : Zespół Katedr i Zakładów Informatyki Matematycznejpl
dc.conferenceInternational Conference on Formal Structures for Computation and Deduction (FSCD)pl
dc.conference.cityOksford
dc.conference.countryWielka Brytania
dc.conference.datefinish2018-07-12
dc.conference.datestart2018-07-09
dc.conference.indexscopustrue
dc.contributor.authorBendkowski, Maciej - 177150 pl
dc.contributor.authorLescanne, Pierrepl
dc.contributor.editorKirchner, Hélènepl
dc.date.accessioned2018-09-04T13:45:41Z
dc.date.available2018-09-04T13:45:41Z
dc.date.issued2018pl
dc.date.openaccess0
dc.description.accesstimew momencie opublikowania
dc.description.conftypeinternationalpl
dc.description.publication0,6pl
dc.description.seriesLeibniz International Proceedings in Informatics (LIPIcs)
dc.description.seriesnumber108
dc.description.versionostateczna wersja wydawcy
dc.description.volume108pl
dc.identifier.articleid11pl
dc.identifier.doi10.4230/LIPIcs.FSCD.2018.11pl
dc.identifier.isbn978-3-95977-077-4pl
dc.identifier.projectROD UJ / OPpl
dc.identifier.seriesissn1868-8969
dc.identifier.urihttps://ruj.uj.edu.pl/xmlui/handle/item/56612
dc.languageengpl
dc.language.containerengpl
dc.pubinfoSaarbrücken, Wadern : Schloss Dagstuhl - Leibniz-Zentrum für Informatikpl
dc.rightsUdzielam licencji. Uznanie autorstwa 3.0 Polska*
dc.rights.licenceCC-BY
dc.rights.urihttp://creativecommons.org/licenses/by/3.0/pl/legalcod*
dc.share.typeinne
dc.sourceinfoliczba autorów 69; liczba stron 528; liczba arkuszy wydawniczych 33;pl
dc.subtypeConferenceProceedingspl
dc.titleCounting environments and closurespl
dc.title.container3rd International Conference on Formal Structures for Computation and Deduction : FSCD 2018, July 9-12, 2018, Oxford, United Kingdompl
dc.typeBookSectionpl
dspace.entity.typePublication
Affiliations
Wydział Matematyki i Informatyki
Bendkowski, Maciej
No affiliation
Lescanne, Pierre
Kirchner, Hélène

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

Views
0
Views per month

Open Access

Thumbnail Image
License
cc-by-3

Except as otherwise noted, this item is licensed under the Attribution licence 3.0

Collections
Research publications
Exact sciences
ROD UJ