Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014. Proceedings /

This book constitutes the refereed proceedings of the 16th International Conference on Descriptional Complexity of Formal Systems, DCFS 2014, held in Turku, Finland, in August 2014. The 27 full papers presented were carefully reviewed and selected from 35 submissions. The conference dealt with the f...

Полное описание

Библиографическая информация
Опубликовано в: :	Springer eBooks
Соавтор:	SpringerLink (Online service)
Другие авторы:	Jürgensen, Helmut (Редактор), Karhumäki, Juhani (Редактор), Okhotin, Alexander (Редактор)
Формат:	Электронная книга
Язык:	English
Публикация:	Cham : Springer International Publishing : Imprint: Springer, 2014.
Серии:	Lecture Notes in Computer Science,
Предметы:	Computer Science. Computer software. Logic design. Computational complexity. Computation by Abstract Devices. Mathematical Logic and Formal Languages. Logics and Meanings of Programs. Algorithm Analysis and Problem Complexity. Discrete Mathematics in Computer Science.
Online-ссылка:	http://dx.doi.org/10.1007/978-3-319-09704-6 Перейти в каталог НБ ТГУ

Похожие документы

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, ON, Canada, July 22-25, 2013. Proceedings /
Публикация: (2013)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings /
Публикация: (2015)

Developments in Language Theory (vol. # 3572) 9th International Conference, DLT 2005, Palermo, Italy, July 4-8, 2005, Proceedings
по: De Felice, Clelia
Публикация: (2005)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007. Proceedings /
по: Harju, Tero
Публикация: (2007)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013. Proceedings /
Публикация: (2013)

Formal Methods in Software and Systems Modeling Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday
по: Kreowski, Hans-Jörg
Публикация: (2005)

Modelling Computing Systems Mathematics for Computer Science /
по: Moller, Faron, et al.
Публикация: (2013)

Semantics of Probabilistic Processes An Operational Approach /
по: Deng, Yuxin
Публикация: (2014)

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings /
Публикация: (2014)

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /
Публикация: (2014)

Developments in Language Theory (vol. # 4036) 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings
по: Ibarra, Oscar H.
Публикация: (2006)

FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science 27th International Conference, New Delhi, India, December 12-14, 2007. Proceedings /
по: Arvind, V.
Публикация: (2007)

FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings
по: Ramanujam, R.
Публикация: (2005)

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings
по: Arun-Kumar, S.
Публикация: (2006)

STACS 2007 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007. Proceedings /
по: Thomas, Wolfgang
Публикация: (2007)

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings /
Публикация: (2014)

STACS 2006 23rd Annual Symposium on Theoretical Aspects of Computer Science, Marseille, France, February 23-25, 2006, Proceedings
по: Durand, Bruno
Публикация: (2006)

Theoretical Computer Science (vol. # 3701) 9th Italian Conference, ICTCS 2005, Siena, Italy, October 12-14, 2005, Proceedings
по: Coppo, Mario
Публикация: (2005)

Developments in Language Theory 17th International Conference, DLT 2013, Marne-la-Vallée, France, June 18-21, 2013. Proceedings /
Публикация: (2013)

The Nature of Computation. Logic, Algorithms, Applications 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013. Proceedings /
Публикация: (2013)

Logic and Its Applications 5th Indian Conference, ICLA 2013, Chennai, India, January 10-12, 2013. Proceedings /
Публикация: (2013)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings /
Публикация: (2015)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings /
Публикация: (2014)

Regulated Grammars and Automata
по: Meduna, Alexander, et al.
Публикация: (2014)

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings /
Публикация: (2014)

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings /
Публикация: (2014)

Fundamentals of Computation Theory 16th International Symposium, FCT 2007, Budapest, Hungary, August 27-30, 2007. Proceedings /
по: Csuhaj-Varjú, Erzsébet
Публикация: (2007)

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers /
Публикация: (2014)

Implementation and Application of Automata (vol. # 4094) 11th International Conference, CIAA 2006, Taipei, Taiwan, August 21-23, 2006, Proceedings
по: Ibarra, Oscar H.
Публикация: (2006)

Coalgebraic Methods in Computer Science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers /
Публикация: (2014)

Comprehensive Mathematics for Computer Scientists 2 Calculus and ODEs, Splines, Probability, Fourier and Wavelet Theory, Fractals and Neural Networks, Categories and Lambda Calculus /
по: Mazzola, Guerino
Публикация: (2005)

Implementation and Applications of Automata 13th International Conference, CIAA 2008, San Francisco, California, USA, July 21-24, 2008. Proceedings /
по: Hutchison, David
Публикация: (2008)

Machines, Computations, and Universality 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007. Proceedings /
по: Durand-Lose, Jérôme
Публикация: (2007)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Praque, Czech Republic, July 16-18, 2007, Revised Selected Papers /
по: Holub, Jan
Публикация: (2007)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings /
Публикация: (2013)

Implementation and Application of Automata (vol. # 3845) 10th International Conference, CIAA 2005, Sophia Antipolis, France, June 27-29, 2005, Revised Selected Papers
по: Farré, Jacques
Публикация: (2006)

Machines, Computations, and Universality 4th International Conference, MCU 2004, Saint Petersburg, Russia, September 21-24, 2004, Revised Selected Papers
по: Margenstern, Maurice
Публикация: (2005)

Fundamentals of Computation Theory 15th International Symposium, FCT 2005, Lübeck, Gemany, August 17-20, 2005, Proceedings
по: Liskiewicz, Maciej
Публикация: (2005)

Principles and Practice of Constraint Programming 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings /
Публикация: (2013)

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings. /
Публикация: (2015)