Cover Image

QR Code

Logic, Rationality, and Interaction 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015. Proceedings /

FoLLI-LNCS is the publication platform for the Association of Logic, Language and Information (FoLLI, www.folli.org). The Association was founded in 1991 to advance research and education on the interface between logic, linguistics, computer science, and cognitive science. The FoLLI Publications on...

Full description

Corporate Author:	SpringerLink (Online service)
Other Authors:	van der Hoek, Wiebe. (Editor, http://id.loc.gov/vocabulary/relators/edt), Holliday, Wesley H. (Editor, http://id.loc.gov/vocabulary/relators/edt), Wang, Wen-fang. (Editor, http://id.loc.gov/vocabulary/relators/edt)
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edition:	1st ed. 2015.
Series:	Theoretical Computer Science and General Issues ; 9394
Subjects:	Mathematical logic. Computer science—Mathematics. Computer logic. Mathematical Logic and Formal Languages. Mathematical Logic and Foundations. Discrete Mathematics in Computer Science. Symbolic and Algebraic Manipulation. Logics and Meanings of Programs.
Online Access:	https://doi.org/10.1007/978-3-662-48561-3

Similar Items

Logic, Rationality, and Interaction 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017, Proceedings / edited by Alexandru Baltag, Jeremy Seligman, Tomoyuki Yamada.
Published: (2017)

Logic, Rationality, and Interaction 7th International Workshop, LORI 2019, Chongqing, China, October 18–21, 2019, Proceedings / edited by Patrick Blackburn, Emiliano Lorini, Meiyun Guo.
Published: (2019)

Logic, Rationality, and Interaction 4th International Workshop, LORI 2013, Hangzhou, China, October 9-12, 2013, Proceedings / edited by Davide Grossi, Olivier Roy, Huaxin Huang.
Published: (2013)

Constructivity and Computability in Historical and Philosophical Perspective edited by Jacques Dubucs, Michel Bourdeau.
Published: (2014)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings / edited by Annie Foret, Glyn Morrill, Reinhard Muskens, Rainer Osswald, Sylvain Pogodalla.
Published: (2016)

Logical Foundations of Computer Science International Symposium, LFCS 2007, New York, NY, USA, June 4-7, 2007, Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2007)

Formal Languages and Compilation by Stefano Crespi Reghizzi, Luca Breveglieri, Angelo Morzenti.
by: Crespi Reghizzi, Stefano., et al.
Published: (2013)

Logical Foundations of Computer Science International Symposium, LFCS 2016, Deerfield Beach, FL, USA, January 4-7, 2016. Proceedings / edited by Sergei Artemov, Anil Nerode.
Published: (2016)

Developments in Language Theory 11th International Conference, DLT 2007, Turku, Finland, July 3-6, 2007, Proceedings / edited by Tero Harju, Juhani Karhumäki, Arto Lepistö.
Published: (2007)

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)

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings / edited by Mohua Banerjee, Krishna S.
Published: (2015)

Formal Techniques for Distributed Objects, Components, and Systems 35th IFIP WG 6.1 International Conference, FORTE 2015, Held as Part of the 10th International Federated Conference on Distributed Computing Techniques, DisCoTec 2015, Grenoble, France, June 2-4, 2015, Proceedings / edited by Susanne Graf, Mahesh Viswanathan.
Published: (2015)

Dynamic Epistemic Logic by Hans van Ditmarsch, Wiebe van der Hoek, Barteld Kooi.
by: van Ditmarsch, Hans., et al.
Published: (2008)

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

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)

Dependable Software Engineering: Theories, Tools, and Applications First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings / edited by Xuandong Li, Zhiming Liu, Wang Yi.
Published: (2015)

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

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)

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings / edited by Nikhil Bansal, Irene Finocchi.
Published: (2015)

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings / edited by Andreas Maletti.
Published: (2015)

Algebra and Coalgebra in Computer Science Second International Conference, CALCO 2007, Bergen, Norway, August 20-24, 2007, Proceedings / edited by Till Mossakowski, Ugo Montanari, Magne Haveraaen.
Published: (2007)

Logic Functions and Equations Binary Models for Computer Science / by Christian Posthoff, Bernd Steinbach.
by: Posthoff, Christian., et al.
Published: (2019)

Meaning and Proscription in Formal Logic Variations on the Propositional Logic of William T. Parry / by Thomas Macaulay Ferguson.
by: Ferguson, Thomas Macaulay., et al.
Published: (2017)

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

Advances in Proof Theory edited by Reinhard Kahle, Thomas Strahm, Thomas Studer.
Published: (2016)

Constructive Negations and Paraconsistency by Sergei Odintsov.
by: Odintsov, Sergei., et al.
Published: (2008)

Logical Studies of Paraconsistent Reasoning in Science and Mathematics edited by Holger Andreas, Peter Verdée.
Published: (2016)

Algebraic Biology Third International Conference, AB 2008, Castle of Hagenberg, Austria, July 31-August 2, 2008, Proceedings / edited by Katsuhisa Horimoto, Georg Regensburger, Markus Rosenkranz, Hiroshi Yoshida.
Published: (2008)

Algebraic Biology Second International Conference, AB 2007, Castle of Hagenberg, Austria, July 2-4, 2007, Proceedings / edited by Hirokazu Anai, Katsuhisa Horimoto, Temur Kutsia.
Published: (2007)

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)

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers / edited by Ioannis Karydis, Spyros Sioutas, Peter Triantafillou, Dimitrios Tsoumakos.
Published: (2016)

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers / edited by Moreno Falaschi.
Published: (2015)

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)

ABZ 2014: The Landing Gear Case Study Case Study Track, Held at the 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Toulouse, France, June 2-6, 2014, Proceedings / edited by Frederic Boniol, Virginie Wiels, Yamine Ait Ameur, Klaus-Dieter Schewe.
Published: (2014)

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)

Logics of Specification Languages edited by Dines Bjørner, Martin C. Henson.
Published: (2008)

Formal Techniques for Distributed Objects, Components, and Systems 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014, Proceedings / edited by Erika Ábrahám, Catuscia Palamidessi.
Published: (2014)