Cover Image

QR Code

Language and Automata Theory and Applications 12th International Conference, LATA 2018, Ramat Gan, Israel, April 9-11, 2018, Proceedings /

This book constitutes the refereed proceedings of the 12th International Conference on Language and Automata Theory and Applications, LATA 2018, held in Ramat Gan, Israel, in April 2018. The 20 revised full papers presented together with 3 invited papers were carefully reviewed and selected from 58...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Klein, Shmuel Tomi. (Editor, http://id.loc.gov/vocabulary/relators/edt), Martín-Vide, Carlos. (Editor, http://id.loc.gov/vocabulary/relators/edt), Shapira, Dana. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2018.
Edition:	1st ed. 2018.
Series:	Theoretical Computer Science and General Issues ; 10792
Subjects:	Computer logic. Mathematical logic. Algorithms. Computer programming. Artificial intelligence. Mathematical statistics. Logics and Meanings of Programs. Mathematical Logic and Formal Languages. Algorithm Analysis and Problem Complexity. Programming Techniques. Artificial Intelligence. Probability and Statistics in Computer Science.
Online Access:	https://doi.org/10.1007/978-3-319-77313-1

Similar Items

Language and Automata Theory and Applications 13th International Conference, LATA 2019, St. Petersburg, Russia, March 26-29, 2019, Proceedings / edited by Carlos Martín-Vide, Alexander Okhotin, Dana Shapira.
Published: (2019)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5–8, 2018, Proceedings / edited by Michael Butler, Alexander Raschke, Thai Son Hoang, Klaus Reichl.
Published: (2018)

Frontiers of Combining Systems 10th International Symposium, FroCoS 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings / edited by Carsten Lutz, Silvio Ranise.
Published: (2015)

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 / edited by Marcello M. Bonsangue.
Published: (2014)

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday / edited by Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten.
Published: (2014)

CONCUR 2014 – Concurrency Theory 25th International Conference, CONCUR 2014, Rome, Italy, September 2-5, 2014. Proceedings.
Published: (2014)

Automated Reasoning and Mathematics Essays in Memory of William W. McCune / edited by Maria Paola Bonacina, Mark E. Stickel.
Published: (2013)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings / edited by Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz.
Published: (2016)

Implementation and Application of Automata 12th International Conference, CIAA 2007, Prague, Czech Republic, July 16-18, 2007, Revised Selected Papers / edited by Jan Holub, Jan Ždárek.
Published: (2007)

Formal Methods Teaching Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, Porto, Portugal, October 7, 2019, Proceedings / edited by Brijesh Dongol, Luigia Petre, Graeme Smith.
Published: (2019)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers / edited by Nicolas Lachiche, Christel Vrain.
Published: (2018)

Grammatical Inference: Algorithms and Applications 9th International Colloquium, ICGI 2008 Saint-Malo, France, September 22-24, 2008 Proceedings / edited by Alexander Clark, François Coste, Laurent Miclet.
Published: (2008)

Functional and Logic Programming 9th International Symposium, FLOPS 2008, Ise, Japan, April 14-16, 2008, Proceedings / edited by Jacques Garrigue, Manuel Hermenegildo.
Published: (2008)

Automated Technology for Verification and Analysis 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings / edited by Bernd Finkbeiner, Geguang Pu, Lijun Zhang.
Published: (2015)

Machines, Computations, and Universality 8th International Conference, MCU 2018, Fontainebleau, France, June 28–30, 2018, Proceedings / edited by Jérôme Durand-Lose, Sergey Verlan.
Published: (2018)

Formal Methods for Multicore Programming 15th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2015, Bertinoro, Italy, June 15-19, 2015, Advanced Lectures / edited by Marco Bernardo, Einar Broch Johnsen.
Published: (2015)

Abstraction, Reformulation, and Approximation 7th International Symposium, SARA 2007, Whistler, Canada, July 18-21, 2007, Proceedings / edited by Ian Miguel, Wheeler Tuml.
Published: (2007)

Coalgebraic Methods in Computer Science 13th IFIP WG 1.3 International Workshop, CMCS 2016, Colocated with ETAPS 2016, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers / edited by Ichiro Hasuo.
Published: (2016)

Descriptional Complexity of Formal Systems 16th International Workshop, DCFS 2014, Turku, Finland, August 5-8, 2014, Proceedings / edited by Helmut Jürgensen, Juhani Karhumäki, Alexander Okhotin.
Published: (2014)

Computer Science - Theory and Applications 8th International Computer Science Symposium in Russia, CSR 2013, Ekaterinburg, Russia, June 25-29, 2013, Proceedings / edited by Andrei A. Bulatov, Arseny M. Shur.
Published: (2013)

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings / edited by Jeffrey Shallit, Alexander Okhotin.
Published: (2015)

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings / edited by Jerome Durand-Lose, Benedek Nagy.
Published: (2015)

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings / edited by Cezar Câmpeanu, Florin Manea, Jeffrey Shallit.
Published: (2016)

Descriptional Complexity of Formal Systems 15th International Workshop, DCFS 2013, London, Canada, July 22-25, 2013, Proceedings / edited by Jürgensen, Rogério Reis.
Published: (2013)

Formal Aspects of Component Software 15th International Conference, FACS 2018, Pohang, South Korea, October 10–12, 2018, Proceedings / edited by Kyungmin Bae, Peter Csaba Ölveczky.
Published: (2018)

Computing with Foresight and Industry 15th Conference on Computability in Europe, CiE 2019, Durham, UK, July 15–19, 2019, Proceedings / edited by Florin Manea, Barnaby Martin, Daniël Paulusma, Giuseppe Primiero.
Published: (2019)

Computer Science – Theory and Applications 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings / edited by Pascal Weil.
Published: (2017)

Developments in Language Theory 21st International Conference, DLT 2017, Liège, Belgium, August 7-11, 2017, Proceedings / edited by Émilie Charlier, Julien Leroy, Michel Rigo.
Published: (2017)

Formal Methods – Fun for Everybody First International Workshop, FMFun 2019, Bergen, Norway, December 2–3, 2019, Revised Selected Papers / edited by Antonio Cerone, Markus Roggenbach.
Published: (2021)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018, Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2018)

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings / edited by Stefania Gnesi, Arend Rensink.
Published: (2014)

Fundamental Approaches to Software Engineering 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Perdita Stevens, Andrzej Wąsowski.
Published: (2016)

Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings / edited by Alexander Egyed, Ina Schaefer.
Published: (2015)

Integrated Formal Methods 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings / edited by Erika Ábrahám, Marieke Huisman.
Published: (2016)

Integrated Formal Methods 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings / edited by Elvira Albert, Emil Sekerinski.
Published: (2014)

Fundamental Approaches to Software Engineering 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings / edited by Marieke Huisman, Julia Rubin.
Published: (2017)

Integrated Formal Methods 10th International Conference, IFM 2013, Turku, Finland, June 10-14, 2013, Proceedings / edited by Einar Broch Johnsen, Luigia Petre.
Published: (2013)

Descriptional Complexity of Formal Systems 19th IFIP WG 1.02 International Conference, DCFS 2017, Milano, Italy, July 3-5, 2017, Proceedings / edited by Giovanni Pighizzini, Cezar Câmpeanu.
Published: (2017)

Automated Deduction – CADE 26 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6–11, 2017, Proceedings / edited by Leonardo de Moura.
Published: (2017)

Automated Deduction -- CADE-24 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings / edited by Maria Paola Bonacina.
Published: (2013)