Search Results for - Narrowed by: Mathematical logic. - TEDU library - Computation by Abstract Devices.

Cellular Automata and Discrete Complex Systems 25th IFIP WG 1.5 International Workshop, AUTOMATA 2019, Guadalajara, Mexico, June 26–28, 2019, Proceedings

2024-05-19T21:09:09Z

Yazar Castillo-Ramirez, Alonso. editor. (orcid)0000-0002-2020-8699
https://doi.org/10.1007/978-3-030-20981-0
Format: Electronic Resources

Quantum Interaction 11th International Conference, QI 2018, Nice, France, September 3–5, 2018, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar Coecke, Bob. editor. (orcid)0000-0002-5310-8723
https://doi.org/10.1007/978-3-030-35895-2
Format: Electronic Resources

Descriptional Complexity of Formal Systems 18th IFIP WG 1.2 International Conference, DCFS 2016, Bucharest, Romania, July 5-8, 2016. Proceedings

2024-05-19T21:09:09Z

Yazar Câmpeanu, Cezar. editor.
http://dx.doi.org/10.1007/978-3-319-41114-9
Format: Electronic Resources

Topics in Theoretical Computer Science The First IFIP WG 1.8 International Conference, TTCS 2015, Tehran, Iran, August 26-28, 2015, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar Hajiaghayi, Mohammad Taghi. editor.
http://dx.doi.org/10.1007/978-3-319-28678-5
Format: Electronic Resources

Pursuit of the Universal 12th Conference on Computability in Europe, CiE 2016, Paris, France, June 27 - July 1, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-40189-8
Format: Electronic Resources

Formal Techniques for Distributed Objects, Components, and Systems 36th IFIP WG 6.1 International Conference, FORTE 2016, Held as Part of the 11th International Federated Conference on Distributed Computing Techniques, DisCoTec 2016, Heraklion, Crete, Greece, June 6-9, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Albert, Elvira. editor.
http://dx.doi.org/10.1007/978-3-319-39570-8
Format: Electronic Resources

Reachability Problems 10th International Workshop, RP 2016, Aalborg, Denmark, September 19-21, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Larsen, Kim Guldstrand. editor.
http://dx.doi.org/10.1007/978-3-319-45994-3
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Fränzle, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-44878-7
Format: Electronic Resources

Computer Safety, Reliability, and Security SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS, Trondheim, Norway, September 20, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Skavhaug, Amund. editor.
http://dx.doi.org/10.1007/978-3-319-45480-1
Format: Electronic Resources

Foundations of Software Science and Computation Structures 19th International Conference, FOSSACS 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

2024-05-19T21:09:09Z

Yazar Jacobs, Bart. editor.
http://dx.doi.org/10.1007/978-3-662-49630-5
Format: Electronic Resources

Unconventional Computation and Natural Computation 15th International Conference, UCNC 2016, Manchester, UK, July 11-15, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Amos, Martyn. editor.
http://dx.doi.org/10.1007/978-3-319-41312-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 22nd International Conference, TACAS 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

2024-05-19T21:09:09Z

Yazar Chechik, Marsha. editor.
http://dx.doi.org/10.1007/978-3-662-49674-9
Format: Electronic Resources

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Foret, Annie. editor.
http://dx.doi.org/10.1007/978-3-662-53042-9
Format: Electronic Resources

Developments in Language Theory 20th International Conference, DLT 2016, Montréal, Canada, July 25-28, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Brlek, Srečko. editor.
http://dx.doi.org/10.1007/978-3-662-53132-7
Format: Electronic Resources

Implementation and Application of Automata 21st International Conference, CIAA 2016, Seoul, South Korea, July 19-22, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Han, Yo-Sub. editor.
http://dx.doi.org/10.1007/978-3-319-40946-7
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Butler, Michael. editor.
http://dx.doi.org/10.1007/978-3-319-33600-8
Format: Electronic Resources

Cellular Automata and Discrete Complex Systems 22nd IFIP WG 1.5 International Workshop, AUTOMATA 2016, Zurich, Switzerland, June 15-17, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Cook, Matthew. editor.
http://dx.doi.org/10.1007/978-3-319-39300-1
Format: Electronic Resources

Statistical Language and Speech Processing 4th International Conference, SLSP 2016, Pilsen, Czech Republic, October 11-12, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Král, Pavel. editor.
http://dx.doi.org/10.1007/978-3-319-45925-7
Format: Electronic Resources

Computer Science – Theory and Applications 11th International Computer Science Symposium in Russia, CSR 2016, St. Petersburg, Russia, June 9-13, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Kulikov, Alexander S. editor.
http://dx.doi.org/10.1007/978-3-319-34171-2
Format: Electronic Resources

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

2024-05-19T21:09:09Z

Yazar Hasuo, Ichiro. editor.
http://dx.doi.org/10.1007/978-3-319-40370-0
Format: Electronic Resources

Computing and Combinatorics 22nd International Conference, COCOON 2016, Ho Chi Minh City, Vietnam, August 2-4, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Dinh, Thang N. editor.
http://dx.doi.org/10.1007/978-3-319-42634-1
Format: Electronic Resources

Web Reasoning and Rule Systems 10th International Conference, RR 2016, Aberdeen, UK, September 9-11, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Ortiz, Magdalena. editor.
http://dx.doi.org/10.1007/978-3-319-45276-0
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-05-19T21:09:09Z

Yazar Skrzypczak, Michał. author.
http://dx.doi.org/10.1007/978-3-662-52947-8
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 17th International Conference, VMCAI 2016, St. Petersburg, FL, USA, January 17-19, 2016. Proceedings

2024-05-19T21:09:09Z

Yazar Jobstmann, Barbara. editor.
http://dx.doi.org/10.1007/978-3-662-49122-5
Format: Electronic Resources

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-30000-9
Format: Electronic Resources

Hybrid Metaheuristics 10th International Workshop, HM 2016, Plymouth, UK, June 8-10, 2016, Proceedings

2024-05-19T21:09:09Z

Yazar Blesa, Maria J. editor.
http://dx.doi.org/10.1007/978-3-319-39636-1
Format: Electronic Resources

Directed Algebraic Topology and Concurrency

2024-05-19T21:09:09Z

Yazar Fajstrup, Lisbeth. author.
http://dx.doi.org/10.1007/978-3-319-15398-8
Format: Electronic Resources

AI*IA 2015 Advances in Artificial Intelligence XIVth International Conference of the Italian Association for Artificial Intelligence, Ferrara, Italy, September 23-25, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Gavanelli, Marco. editor.
http://dx.doi.org/10.1007/978-3-319-24309-2
Format: Electronic Resources

Reachability Problems 9th International Workshop, RP 2015, Warsaw, Poland, September 21-23, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Bojańczyk, Mikołaj. editor.
http://dx.doi.org/10.1007/978-3-319-24537-9
Format: Electronic Resources

Foundations of Software Science and Computation Structures 18th International Conference, FOSSACS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Pitts, Andrew. editor.
http://dx.doi.org/10.1007/978-3-662-46678-0
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Baier, Christel. editor.
http://dx.doi.org/10.1007/978-3-662-46681-0
Format: Electronic Resources

Recent Trends in Algebraic Development Techniques 22nd International Workshop, WADT 2014, Sinaia, Romania, September 4-7, 2014, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar Codescu, Mihai. editor.
http://dx.doi.org/10.1007/978-3-319-28114-8
Format: Electronic Resources

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-15579-1
Format: Electronic Resources

Formal Modeling and Analysis of Timed Systems 13th International Conference, FORMATS 2015, Madrid, Spain, September 2-4, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Sankaranarayanan, Sriram. editor.
http://dx.doi.org/10.1007/978-3-319-22975-1
Format: Electronic Resources

Machines, Computations, and Universality 7th International Conference, MCU 2015, Famagusta, North Cyprus, September 9-11, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Durand-Lose, Jerome. editor.
http://dx.doi.org/10.1007/978-3-319-23111-2
Format: Electronic Resources

Evolving Computability 11th Conference on Computability in Europe, CiE 2015, Bucharest, Romania, June 29-July 3, 2015. Proceedings

2024-05-19T21:09:09Z

Yazar Beckmann, Arnold. editor.
http://dx.doi.org/10.1007/978-3-319-20028-6
Format: Electronic Resources

Implementation and Application of Automata 20th International Conference, CIAA 2015, Umeå, Sweden, August 18-21, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Drewes, Frank. editor.
http://dx.doi.org/10.1007/978-3-319-22360-5
Format: Electronic Resources

FM 2015: Formal Methods 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Bjørner, Nikolaj. editor.
http://dx.doi.org/10.1007/978-3-319-19249-9
Format: Electronic Resources

Developments in Language Theory 19th International Conference, DLT 2015, Liverpool, UK, July 27-30, 2015, Proceedings.

2024-05-19T21:09:09Z

Yazar Potapov, Igor. editor.
http://dx.doi.org/10.1007/978-3-319-21500-6
Format: Electronic Resources

Inductive Logic Programming 24th International Conference, ILP 2014, Nancy, France, September 14-16, 2014, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar Davis, Jesse. editor.
http://dx.doi.org/10.1007/978-3-319-23708-4
Format: Electronic Resources

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

2024-05-19T21:09:09Z

Yazar Graf, Susanne. editor.
http://dx.doi.org/10.1007/978-3-319-19195-9
Format: Electronic Resources

Descriptional Complexity of Formal Systems 17th International Workshop, DCFS 2015, Waterloo, ON, Canada, June 25-27, 2015. Proceedings

2024-05-19T21:09:09Z

Yazar Shallit, Jeffrey. editor.
http://dx.doi.org/10.1007/978-3-319-19225-3
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 16th International Conference, VMCAI 2015, Mumbai, India, January 12-14, 2015. Proceedings

2024-05-19T21:09:09Z

Yazar D’Souza, Deepak. editor.
http://dx.doi.org/10.1007/978-3-662-46081-8
Format: Electronic Resources

Logic and Its Applications 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings

2024-05-19T21:09:09Z

Yazar Banerjee, Mohua. editor.
http://dx.doi.org/10.1007/978-3-662-45824-2
Format: Electronic Resources

Unifying Theories of Programming 5th International Symposium, UTP 2014, Singapore, May 13, 2014, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar Naumann, David. editor.
http://dx.doi.org/10.1007/978-3-319-14806-9
Format: Electronic Resources

Text Analysis Pipelines Towards Ad-hoc Large-Scale Text Mining

2024-05-19T21:09:09Z

Yazar Wachsmuth, Henning. author.
http://dx.doi.org/10.1007/978-3-319-25741-9
Format: Electronic Resources

Computer Science -- Theory and Applications 10th International Computer Science Symposium in Russia, CSR 2015, Listvyanka, Russia, July 13-17, 2015, Proceedings

2024-05-19T21:09:09Z

Yazar Beklemishev, Lev D. editor.
http://dx.doi.org/10.1007/978-3-319-20297-6
Format: Electronic Resources

Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation Essays Dedicated to Gerhard Brewka on the Occasion of His 60th Birthday

2024-05-19T21:09:09Z

Yazar Eiter, Thomas. editor.
http://dx.doi.org/10.1007/978-3-319-14726-0
Format: Electronic Resources

Computing with New Resources Essays Dedicated to Jozef Gruska on the Occasion of His 80th Birthday

2024-05-19T21:09:09Z

Yazar Calude, Cristian S. editor.
http://dx.doi.org/10.1007/978-3-319-13350-8
Format: Electronic Resources

Categories and Types in Logic, Language, and Physics Essays Dedicated to Jim Lambek on the Occasion of His 90th Birthday

2024-05-19T21:09:09Z

Yazar Casadio, Claudia. editor.
http://dx.doi.org/10.1007/978-3-642-54789-8
Format: Electronic Resources

Reachability Problems 8th International Workshop, RP 2014, Oxford, UK, September 22-24, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Ouaknine, Joël. editor.
http://dx.doi.org/10.1007/978-3-319-11439-2
Format: Electronic Resources

Abstract State Machines, Alloy, B, TLA, VDM, and Z 4th International Conference, ABZ 2014, Toulouse, France, June 2-6, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Ait Ameur, Yamine. editor.
http://dx.doi.org/10.1007/978-3-662-43652-3
Format: Electronic Resources

Inductive Logic Programming 23rd International Conference, ILP 2013, Rio de Janeiro, Brazil, August 28-30, 2013, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar Zaverucha, Gerson. editor.
http://dx.doi.org/10.1007/978-3-662-44923-3
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part II

2024-05-19T21:09:09Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45231-8
Format: Electronic Resources

Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I

2024-05-19T21:09:09Z

Yazar Margaria, Tiziana. editor.
http://dx.doi.org/10.1007/978-3-662-45234-9
Format: Electronic Resources

Implementation and Application of Automata 19th International Conference, CIAA 2014, Giessen, Germany, July 30 – August 2, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Holzer, Markus. editor.
http://dx.doi.org/10.1007/978-3-319-08846-4
Format: Electronic Resources

Foundations of Software Science and Computation Structures 17th International Conference, FOSSACS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings

2024-05-19T21:09:09Z

Yazar Muscholl, Anca. editor.
http://dx.doi.org/10.1007/978-3-642-54830-7
Format: Electronic Resources

From Programs to Systems. The Systems perspective in Computing ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Bensalem, Saddek. editor.
http://dx.doi.org/10.1007/978-3-642-54848-2
Format: Electronic Resources

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Diaz, Josep. editor.
http://dx.doi.org/10.1007/978-3-662-44602-7
Format: Electronic Resources

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

2024-05-19T21:09:09Z

Yazar Bonsangue, Marcello M. editor.
http://dx.doi.org/10.1007/978-3-662-44124-4
Format: Electronic Resources

FM 2014: Formal Methods 19th International Symposium, Singapore, May 12-16, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Jones, Cliff. editor.
http://dx.doi.org/10.1007/978-3-319-06410-9
Format: Electronic Resources

Horizons of the Mind. A Tribute to Prakash Panangaden Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

2024-05-19T21:09:09Z

Yazar Breugel, Franck van. editor.
http://dx.doi.org/10.1007/978-3-319-06880-0
Format: Electronic Resources

Developments in Language Theory 18th International Conference, DLT 2014, Ekaterinburg, Russia, August 26-29, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Shur, Arseny M. editor.
http://dx.doi.org/10.1007/978-3-319-09698-8
Format: Electronic Resources

Computer Science - Theory and Applications 9th International Computer Science Symposium in Russia, CSR 2014, Moscow, Russia, June 7-11, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Hirsch, Edward A. editor.
http://dx.doi.org/10.1007/978-3-319-06686-8
Format: Electronic Resources

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

2024-05-19T21:09:09Z

Yazar Jürgensen, Helmut. editor.
http://dx.doi.org/10.1007/978-3-319-09704-6
Format: Electronic Resources

Regulated Grammars and Automata

2024-05-19T21:09:09Z

Yazar Meduna, Alexander. author.
http://dx.doi.org/10.1007/978-1-4939-0369-6
Format: Electronic Resources

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

2024-05-19T21:09:09Z

Yazar Boniol, Frédéric. editor.
http://dx.doi.org/10.1007/978-3-319-07512-9
Format: Electronic Resources

Tools and Algorithms for the Construction and Analysis of Systems 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-642-54862-8
Format: Electronic Resources

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings

2024-05-19T21:09:09Z

Yazar Dediu, Adrian-Horia. editor.
http://dx.doi.org/10.1007/978-3-319-04921-2
Format: Electronic Resources

Computers and Games 8th International Conference, CG 2013, Yokohama, Japan, August 13-15, 2013, Revised Selected Papers

2024-05-19T21:09:09Z

Yazar van den Herik, H. Jaap. editor.
http://dx.doi.org/10.1007/978-3-319-09165-5
Format: Electronic Resources

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

2024-05-19T21:09:09Z

Yazar Ábrahám, Erika. editor.
http://dx.doi.org/10.1007/978-3-662-43613-4
Format: Electronic Resources

Verification, Model Checking, and Abstract Interpretation 15th International Conference, VMCAI 2014, San Diego, CA, USA, January 19-21, 2014, Proceedings

2024-05-19T21:09:09Z

Yazar McMillan, Kenneth L. editor.
http://dx.doi.org/10.1007/978-3-642-54013-4
Format: Electronic Resources