Search Results for - Narrowed by: Computer science -- Mathematics. - TEDU library - Mathematical logic.

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-06-13T11:18:08Z

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

Turing Computability Theory and Applications

2024-06-13T11:18:08Z

Yazar Soare, Robert I. author.
http://dx.doi.org/10.1007/978-3-642-31933-4
Format: Electronic Resources

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

2024-06-13T11:18:08Z

Yazar Han, Yo-Sub. editor.
http://dx.doi.org/10.1007/978-3-319-40946-7
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-06-13T11:18:08Z

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

Directed Algebraic Topology and Concurrency

2024-06-13T11:18:08Z

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

Combinatorial Algorithms 26th International Workshop, IWOCA 2015, Verona, Italy, October 5-7, 2015, Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Lipták, Zsuzsanna. editor.
http://dx.doi.org/10.1007/978-3-319-29516-9
Format: Electronic Resources

Trusted Systems 7th International Conference, INTRUST 2015, Beijing, China, December 7-8, 2015, Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Yung, Moti. editor.
http://dx.doi.org/10.1007/978-3-319-31550-8
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-06-13T11:18:08Z

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

Graph Transformation 9th International Conference, ICGT 2016, in Memory of Hartmut Ehrig, Held as Part of STAF 2016, Vienna, Austria, July 5-6, 2016, Proceedings

2024-06-13T11:18:08Z

Yazar Echahed, Rachid. editor.
http://dx.doi.org/10.1007/978-3-319-40530-8
Format: Electronic Resources

Descriptive Set Theoretic Methods in Automata Theory Decidability and Topological Complexity

2024-06-13T11:18:08Z

Yazar Skrzypczak, Michał. author.
http://dx.doi.org/10.1007/978-3-662-52947-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-06-13T11:18:08Z

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

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

2024-06-13T11:18:08Z

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

Automated Reasoning 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016, Proceedings

2024-06-13T11:18:08Z

Yazar Olivetti, Nicola. editor.
http://dx.doi.org/10.1007/978-3-319-40229-1
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-06-13T11:18:08Z

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

Finitely Supported Mathematics An Introduction

2024-06-13T11:18:08Z

Yazar Alexandru, Andrei. author.
http://dx.doi.org/10.1007/978-3-319-42282-4
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Combinatorial Algorithms 27th International Workshop, IWOCA 2016, Helsinki, Finland, August 17-19, 2016, Proceedings

2024-06-13T11:18:08Z

Yazar Mäkinen, Veli. editor.
http://dx.doi.org/10.1007/978-3-319-44543-4
Format: Electronic Resources

Principles and Practice of Constraint Programming 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings

2024-06-13T11:18:08Z

Yazar Rueher, Michel. editor.
http://dx.doi.org/10.1007/978-3-319-44953-1
Format: Electronic Resources

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

2024-06-13T11:18:08Z

Yazar Väänänen, Jouko. editor.
http://dx.doi.org/10.1007/978-3-662-52921-8
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Algorithmic Aspects of Cloud Computing First International Workshop, ALGOCLOUD 2015, Patras, Greece, September 14-15, 2015. Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Karydis, Ioannis. editor.
http://dx.doi.org/10.1007/978-3-319-29919-8
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

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

2024-06-13T11:18:08Z

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

Mathematics of Program Construction 12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings

2024-06-13T11:18:08Z

Yazar Hinze, Ralf. editor.
http://dx.doi.org/10.1007/978-3-319-19797-5
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Proietti, Maurizio. editor.
http://dx.doi.org/10.1007/978-3-319-17822-6
Format: Electronic Resources

Combinatorial Algorithms 25th International Workshop, IWOCA 2014, Duluth, MN, USA, October 15-17, 2014, Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Jan, Kratochvíl. editor.
http://dx.doi.org/10.1007/978-3-319-19315-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 21st International Conference, CP 2015, Cork, Ireland, August 31 -- September 4, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Pesant, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-23219-5
Format: Electronic Resources

Automated Reasoning with Analytic Tableaux and Related Methods 24th International Conference, TABLEAUX 2015, Wroclaw, Poland, September 21-24, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar De Nivelle, Hans. editor.
http://dx.doi.org/10.1007/978-3-319-24312-2
Format: Electronic Resources

Graph Transformation 8th International Conference, ICGT 2015, Held as Part of STAF 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings

2024-06-13T11:18:08Z

Yazar Parisi-Presicce, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-21145-9
Format: Electronic Resources

Combinatorics on Words 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Manea, Florin. editor.
http://dx.doi.org/10.1007/978-3-319-23660-5
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 25th International Symposium, LOPSTR 2015, Siena, Italy, July 13-15, 2015. Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Falaschi, Moreno. editor.
http://dx.doi.org/10.1007/978-3-319-27436-2
Format: Electronic Resources

Introduction to Concurrency Theory Transition Systems and CCS

2024-06-13T11:18:08Z

Yazar Gorrieri, Roberto. author.
http://dx.doi.org/10.1007/978-3-319-21491-7
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar de Paiva, Valeria. editor.
http://dx.doi.org/10.1007/978-3-662-47709-0
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Kahl, Wolfram. editor.
http://dx.doi.org/10.1007/978-3-319-24704-5
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Mathematical Foundations of Computer Science 2015 40th International Symposium, MFCS 2015, Milan, Italy, August 24-28, 2015, Proceedings, Part I

2024-06-13T11:18:08Z

Yazar Italiano, Giuseppe F. editor.
http://dx.doi.org/10.1007/978-3-662-48057-1
Format: Electronic Resources

Intelligent Computer Mathematics International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.

2024-06-13T11:18:08Z

Yazar Kerber, Manfred. editor.
http://dx.doi.org/10.1007/978-3-319-20615-8
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Logic Programming and Nonmonotonic Reasoning 13th International Conference, LPNMR 2015, Lexington, KY, USA, September 27-30, 2015. Proceedings

2024-06-13T11:18:08Z

Yazar Calimeri, Francesco. editor.
http://dx.doi.org/10.1007/978-3-319-23264-5
Format: Electronic Resources

Formal Concept Analysis 13th International Conference, ICFCA 2015, Nerja, Spain, June 23-26, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Baixeries, Jaume. editor.
http://dx.doi.org/10.1007/978-3-319-19545-2
Format: Electronic Resources

Theoretical Aspects of Computing - ICTAC 2015 12th International Colloquium, Cali, Colombia, October 29-31, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Leucker, Martin. editor.
http://dx.doi.org/10.1007/978-3-319-25150-9
Format: Electronic Resources

Algebraic Informatics 6th International Conference, CAI 2015, Stuttgart, Germany, September 1-4, 2015. Proceedings

2024-06-13T11:18:08Z

Yazar Maletti, Andreas. editor.
http://dx.doi.org/10.1007/978-3-319-23021-4
Format: Electronic Resources

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

2024-06-13T11:18:08Z

Yazar Durand-Lose, Jerome. editor.
http://dx.doi.org/10.1007/978-3-319-23111-2
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-06-13T11:18:08Z

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

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

2024-06-13T11:18:08Z

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

Algorithms - ESA 2015 23rd Annual European Symposium, Patras, Greece, September 14-16, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Bansal, Nikhil. editor.
http://dx.doi.org/10.1007/978-3-662-48350-3
Format: Electronic Resources

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Botana, Francisco. editor.
http://dx.doi.org/10.1007/978-3-319-21362-0
Format: Electronic Resources

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

2024-06-13T11:18:08Z

Yazar van der Hoek, Wiebe. editor.
http://dx.doi.org/10.1007/978-3-662-48561-3
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Petri Net Synthesis

2024-06-13T11:18:08Z

Yazar Badouel, Eric. author.
http://dx.doi.org/10.1007/978-3-662-47967-4
Format: Electronic Resources

Theory and Applications of Models of Computation 12th Annual Conference, TAMC 2015, Singapore, May 18-20, 2015, Proceedings

2024-06-13T11:18:08Z

Yazar Jain, Rahul. editor.
http://dx.doi.org/10.1007/978-3-319-17142-5
Format: Electronic Resources

Algebraic and Algorithmic Aspects of Differential and Integral Operators 5th International Meeting, AADIOS 2012, Held at the Applications of Computer Algebra Conference, ACA 2012, Sofia, Bulgaria, June 25-28, 2012, Selected and Invited Papers

2024-06-13T11:18:08Z

Yazar Barkatou, Moulay. editor.
http://dx.doi.org/10.1007/978-3-642-54479-8
Format: Electronic Resources

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part II

2024-06-13T11:18:08Z

Yazar Csuhaj-Varjú, Erzsébet. editor.
http://dx.doi.org/10.1007/978-3-662-44465-8
Format: Electronic Resources

Logic-Based Program Synthesis and Transformation 23rd International Symposium, LOPSTR 2013, Madrid, Spain, September 18-19, 2013, Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Gupta, Gopal. editor.
http://dx.doi.org/10.1007/978-3-319-14125-1
Format: Electronic Resources

Principles and Practice of Constraint Programming 20th International Conference, CP 2014, Lyon, France, September 8-12, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar O’Sullivan, Barry. editor.
http://dx.doi.org/10.1007/978-3-319-10428-7
Format: Electronic Resources

Pristine Perspectives on Logic, Language, and Computation ESSLLI 2012 and ESSLLI 2013 Student Sessions. Selected Papers

2024-06-13T11:18:08Z

Yazar Colinet, Margot. editor.
http://dx.doi.org/10.1007/978-3-662-44116-9
Format: Electronic Resources

Semantics of Probabilistic Processes An Operational Approach

2024-06-13T11:18:08Z

Yazar Deng, Yuxin. author.
http://dx.doi.org/10.1007/978-3-662-45198-4
Format: Electronic Resources

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Höfner, Peter. editor.
http://dx.doi.org/10.1007/978-3-319-06251-8
Format: Electronic Resources

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Morrill, Glyn. editor.
http://dx.doi.org/10.1007/978-3-662-44121-3
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-06-13T11:18:08Z

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

Regulated Grammars and Automata

2024-06-13T11:18:08Z

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

Intelligent Computer Mathematics International Conference, CICM 2014, Coimbra, Portugal, July 7-11, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Watt, Stephen M. editor.
http://dx.doi.org/10.1007/978-3-319-08434-3
Format: Electronic Resources

Deontic Logic and Normative Systems 12th International Conference, DEON 2014, Ghent, Belgium, July 12-15, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Cariani, Fabrizio. editor.
http://dx.doi.org/10.1007/978-3-319-08615-6
Format: Electronic Resources

Artificial Intelligence and Symbolic Computation 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Aranda-Corral, Gonzalo A. editor.
http://dx.doi.org/10.1007/978-3-319-13770-4
Format: Electronic Resources

Automated Reasoning 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Demri, Stéphane. editor.
http://dx.doi.org/10.1007/978-3-319-08587-6
Format: Electronic Resources

Graph Transformation 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Giese, Holger. editor.
http://dx.doi.org/10.1007/978-3-319-09108-2
Format: Electronic Resources

Theory and Applications of Models of Computation 11th Annual Conference, TAMC 2014, Chennai, India, April 11-13, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Gopal, T. V. editor.
http://dx.doi.org/10.1007/978-3-319-06089-7
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

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

2024-06-13T11:18:08Z

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

Mathematical Foundations of Computer Science 2014 39th International Symposium, MFCS 2014, Budapest, Hungary, August 25-29, 2014. Proceedings, Part I

2024-06-13T11:18:08Z

Yazar Csuhaj-Varjú, Erzsébet. editor.
http://dx.doi.org/10.1007/978-3-662-44522-8
Format: Electronic Resources

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Kohlenbach, Ulrich. editor.
http://dx.doi.org/10.1007/978-3-662-44145-9
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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

Foundations of Information and Knowledge Systems 8th International Symposium, FoIKS 2014, Bordeaux, France, March 3-7, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Beierle, Christoph. editor.
http://dx.doi.org/10.1007/978-3-319-04939-7
Format: Electronic Resources

Graph Structures for Knowledge Representation and Reasoning Third International Workshop, GKR 2013, Beijing, China, August 3, 2013. Revised Selected Papers

2024-06-13T11:18:08Z

Yazar Croitoru, Madalina. editor.
http://dx.doi.org/10.1007/978-3-319-04534-4
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-06-13T11:18:08Z

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

Rewriting and Typed Lambda Calculi Joint International Conference, RTA-TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings

2024-06-13T11:18:08Z

Yazar Dowek, Gilles. editor.
http://dx.doi.org/10.1007/978-3-319-08918-8
Format: Electronic Resources

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

2024-06-13T11:18:08Z

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