Go to the corresponding LIPIcs Volume Portal |
pdf-format: |
|
@InProceedings{riba:LIPIcs:2015:5171, author = {Colin Riba}, title = {{Fibrations of Tree Automata}}, booktitle = {13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015)}, pages = {302--316}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-939897-87-3}, ISSN = {1868-8969}, year = {2015}, volume = {38}, editor = {Thorsten Altenkirch}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, URL = {http://drops.dagstuhl.de/opus/volltexte/2015/5171}, URN = {urn:nbn:de:0030-drops-51719}, doi = {10.4230/LIPIcs.TLCA.2015.302}, annote = {Keywords: Tree automata, Game semantics, Categorical logic.} }
Keywords: | Tree automata, Game semantics, Categorical logic. | |
Collection: | 13th International Conference on Typed Lambda Calculi and Applications (TLCA 2015) | |
Issue Date: | 2015 | |
Date of publication: | 15.06.2015 |