Cover Image

QR Code

Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday /

This Festschrift is published in honor of Yuri Gurevich’s 80th birthday. An associated conference, YuriFest 2020, was planned for May 18–20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuri’s 80th birthday. Because of the coronavirus...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	Blass, Andreas. (Editor, http://id.loc.gov/vocabulary/relators/edt), Cégielski, Patrick. (Editor, http://id.loc.gov/vocabulary/relators/edt), Dershowitz, Nachum. (Editor, http://id.loc.gov/vocabulary/relators/edt), Droste, Manfred. (Editor, http://id.loc.gov/vocabulary/relators/edt), Finkbeiner, Bernd. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Cham : Springer International Publishing : Imprint: Springer, 2020.
Edition:	1st ed. 2020.
Series:	Programming and Software Engineering ; 12180
Subjects:	Computer programming. Data structures (Computer science). Computer communication systems. Special purpose computers. Artificial intelligence. Computer logic. Software engineering. Programming Techniques. Data Structures. Computer Communication Networks. Special Purpose and Application-Based Systems. Logic in AI. Software Engineering.
Online Access:	https://doi.org/10.1007/978-3-030-48006-6

Similar Items

Integrated Formal Methods 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings / edited by Brijesh Dongol, Elena Troubitsyna.
Published: (2020)

Formal Techniques for Safety-Critical Systems 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers / edited by Osman Hasan, Frédéric Mallet.
Published: (2020)

Combinatorics on Words 12th International Conference, WORDS 2019, Loughborough, UK, September 9–13, 2019, Proceedings / edited by Robert Mercaş, Daniel Reidenbach.
Published: (2019)

Computer Vision Systems 11th International Conference, ICVS 2017, Shenzhen, China, July 10-13, 2017, Revised Selected Papers / edited by Ming Liu, Haoyao Chen, Markus Vincze.
Published: (2017)

Dynamic Logic. New Trends and Applications Second International Workshop, DaLí 2019, Porto, Portugal, October 7–11, 2019, Proceedings / edited by Luís Soares Barbosa, Alexandru Baltag.
Published: (2020)

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 Industrial Critical Systems 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings / edited by Michael Dierkes, Charles Pecheur.
Published: (2013)

Critical Systems: Formal Methods and Automated Verification Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18–20, 2017, Proceedings / edited by Laure Petrucci, Cristina Seceleanu, Ana Cavalcanti.
Published: (2017)

Critical Systems: Formal Methods and Automated Verification Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings / edited by Maurice H. ter Beek, Stefania Gnesi, Alexander Knapp.
Published: (2016)

Formal Methods for Industrial Critical Systems 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings / edited by Manuel Núñez, Matthias Güdemann.
Published: (2015)

Descriptional Complexity of Formal Systems 21st IFIP WG 1.02 International Conference, DCFS 2019, Košice, Slovakia, July 17–19, 2019, Proceedings / edited by Michal Hospodár, Galina Jirásková, Stavros Konstantinidis.
Published: (2019)

Formal Methods: Applications and Technology 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International Workshop on Parallel and Distributed Methods in Verification, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006, Revised Selected / edited by Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol.
Published: (2007)

Formal Methods for Industrial Critical Systems 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers / edited by Stefan Leue, Pedro Merino.
Published: (2008)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part I / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Advanced Computer Architecture 12th Conference, ACA 2018, Yingkou, China, August 10-11, 2018, Proceedings / edited by Chao Li, Junjie Wu.
Published: (2018)

Engineering Trustworthy Software Systems First International School, SETSS 2014, Chongqing, China, September 8-13, 2014. Tutorial Lectures / edited by Zhiming Liu, Zili Zhang.
Published: (2016)

Ingredients for Successful System Level Design Methodology by Hiren D. Patel, Sandeep Kumar Shukla.
by: Patel, Hiren D., et al.
Published: (2008)

Ad Hoc Networks 6th International ICST Conference, ADHOCNETS 2014, Rhodes, Greece, August 18-19, 2014, Revised Selected Papers / edited by Natalie Mitton, Antoine Gallais, Melike Erol Kantarci, Symeon Papavassiliou.
Published: (2014)

Benchmarking, Measuring, and Optimizing Third BenchCouncil International Symposium, Bench 2020, Virtual Event, November 15–16, 2020, Revised Selected Papers / edited by Felix Wolf, Wanling Gao.
Published: (2021)

Innovation in Manufacturing Networks Eighth IFIP International Conference on Information Technology for Balanced Automation Systems, Porto, Portugal, June 23-25, 2008 / edited by Américo Azevedo.
Published: (2008)

Chatbot Research and Design 4th International Workshop, CONVERSATIONS 2020, Virtual Event, November 23–24, 2020, Revised Selected Papers / edited by Asbjørn Følstad, Theo Araujo, Symeon Papadopoulos, Effie L.-C. Law, Ewa Luger, Morten Goodwin, Petter Bae Brandtzaeg.
Published: (2021)

Leveraging Applications of Formal Methods, Verification and Validation: Applications 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20–30, 2020, Proceedings, Part III / edited by Tiziana Margaria, Bernhard Steffen.
Published: (2020)

Job Scheduling Strategies for Parallel Processing 21st International Workshop, JSSPP 2017, Orlando, FL, USA, June 2, 2017, Revised Selected Papers / edited by Dalibor Klusáček, Walfredo Cirne, Narayan Desai.
Published: (2018)

Ad Hoc Networks 5th International ICST Conference, ADHOCNETS 2013, Barcelona, Spain, October 2013, Revised Selected Papers / edited by Mostafa Hashem Sherif, Abdelhamid Mellouk, Jun Li, Paolo Bellavista.
Published: (2014)

Industrial Networks and Intelligent Systems 7th EAI International Conference, INISCOM 2021, Hanoi, Vietnam, April 22-23, 2021, Proceedings / edited by Nguyen-Son Vo, Van-Phuc Hoang, Quoc-Tuan Vien.
Published: (2021)

5G for Future Wireless Networks Second EAI International Conference, 5GWN 2019, Changsha, China, February 23-24, 2019, Proceedings / edited by Victor C. M. Leung, Haijun Zhang, Xiping Hu, Qiang Liu, Zhi Liu.
Published: (2019)

Artificial General Intelligence 10th International Conference, AGI 2017, Melbourne, VIC, Australia, August 15-18, 2017, Proceedings / edited by Tom Everitt, Ben Goertzel, Alexey Potapov.
Published: (2017)

Computer Vision – ECCV 2018 15th European Conference, Munich, Germany, September 8-14, 2018, Proceedings, Part II / edited by Vittorio Ferrari, Martial Hebert, Cristian Sminchisescu, Yair Weiss.
Published: (2018)

Computer Vision – ECCV 2018 Workshops Munich, Germany, September 8-14, 2018, Proceedings, Part IV / edited by Laura Leal-Taixé, Stefan Roth.
Published: (2019)

Industrial IoT Technologies and Applications 4th EAI International Conference, Industrial IoT 2020, Virtual Event, December 11, 2020, Proceedings / edited by Lourdes Peñalver, Lorena Parra.
Published: (2021)

Communication Systems and Networks 10th International Conference, COMSNETS 2018, Bangalore, India, January 3-7, 2018, Extended Selected Papers / edited by Subir Biswas, Animesh Mukherjee, Mun Choon Chan, Sandip Chakraborty, Abhinav Kumar, Giridhar Mandyam, Rajeev Shorey.
Published: (2019)

Joint Training for Neural Machine Translation by Yong Cheng.
by: Cheng, Yong., et al.
Published: (2019)

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)

Advances in Soft Computing 18th Mexican International Conference on Artificial Intelligence, MICAI 2019, Xalapa, Mexico, October 27 – November 2, 2019, Proceedings / edited by Lourdes Martínez-Villaseñor, Ildar Batyrshin, Antonio Marín-Hernández.
Published: (2019)

Functional and Constraint Logic Programming 28th International Workshop, WFLP 2020, Bologna, Italy, September 7, 2020, Revised Selected Papers / edited by Michael Hanus, Claudio Sacerdoti Coen.
Published: (2021)

Developments in Language Theory 24th International Conference, DLT 2020, Tampa, FL, USA, May 11–15, 2020, Proceedings / edited by Nataša Jonoska, Dmytro Savchuk.
Published: (2020)

Cyber Physical Systems. Model-Based Design 9th International Workshop, CyPhy 2019, and 15th International Workshop, WESE 2019, New York City, NY, USA, October 17-18, 2019, Revised Selected Papers / edited by Roger Chamberlain, Martin Edin Grimheden, Walid Taha.
Published: (2020)

Agent-Oriented Software Engineering Reflections on Architectures, Methodologies, Languages, and Frameworks / edited by Onn Shehory, Arnon Sturm.
Published: (2014)

Artificial Intelligence for Communications and Networks First EAI International Conference, AICON 2019, Harbin, China, May 25–26, 2019, Proceedings, Part II / edited by Shuai Han, Liang Ye, Weixiao Meng.
Published: (2019)

Biomimetic and Biohybrid Systems 7th International Conference, Living Machines 2018, Paris, France, July 17–20, 2018, Proceedings / edited by Vasiliki Vouloutsi, José Halloy, Anna Mura, Michael Mangan, Nathan Lepora, Tony J. Prescott, Paul F.M.J. Verschure.
Published: (2018)