This book constitutes the refereed proceedings of the 27th International Symposium on Practical Aspects of Declarative Languages, PADL 2025, held in Denver, CO, USA, during January 20–21, 2025.The 15 full papers included in this book were c...Loe edasi...
This book constitutes the proceedings of the 25th International Symposium on Practical Aspects of Declarative Languages, PADL 2023, which was held in Boston, MA, USA, in January 2023.The 15 full papers and 4 short papers presented...Loe edasi...
This book constitutes the proceedings of the 9th International Conference on Algebraic Informatics, CAI 2022, held as virtual event, in October 27–29, 2022.The 2 abstracts, 3 full papers of invited speakers, and 12 contributed pap...Loe edasi...
Alexandra Silva, Sam Staton, Peter Sutton, Carla Umbach
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 04-Jul-2019, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662595640)
This book constitutes the refereed proceedings of the 12th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2017, held in Lagodekhi, Georgia, in September 2017.The volume cont...Loe edasi...
This book constitutes the proceedings of the 21th International Conference on Coordination Models and Languages, COORDINATION 2019, held in Kongens Lyngby, Denmark, in June 2019, as part of the 14th International Federated Conference on Distribute...Loe edasi...
This book constitutes the refereed proceedings of the 8th International Conference on Algebraic Informatics, CAI 2019, held in Ni, Serbia, in June/July 2019. The 20 revised papers presented were carefully reviewed an...Loe edasi...
This book constitutes the refereed proceedings of the 21st International Conference on Practical Aspects of Declarative Languages, PADL 2019, held in Lisbon, Portugal, in January 2019. The 14 revised full papers were care...Loe edasi...
This book constitutes the proceedings of the 20th International Conference on Coordination Models and Languages, COORDINATION 2018, held in Madrid, Spain, in June 2018, as part of the 13th International Federated Conference on Distributed Computing T...Loe edasi...
This book constitutes the proceedings of the 20th International Symposium on Practical Aspects of Declarative Languages, PADL 2018, held in Los Angeles, CA, USA, in January 2018 and collocated with the 45th ACM SIGPLAN Symposium on Principles of...Loe edasi...
This book constitutes the proceedings of the 19th International Conference on Coordination Models and Languages, COORDINATION 2017, held in Neuchâtel, Switzerland, in June 2017, as part of the 12th International Federated Conference on Distribut...Loe edasi...
This book constitutes the refereed proceedings of the 18th International Symposium on Practical Aspects of Declarative Languages, PADL 2016, held in St. Petersburg, FL, USA, in January 2016.PADL is a forum for researchers and practitioners...Loe edasi...
Martin Aher, Daniel Hole, Emil Jeábek, Clemens Kupke
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 19-May-2015, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662469057)
This book constitutes the refereed proceedings of the 10th International Tbilisi Symposium on Logic, Language and Computation, TbiLLC 2013, held in Gudauri, Georgia, in September 2013. The conference series is centered around the interaction betwe...Loe edasi...
Traian Muntean, Robert Rolland, Dimitrios Poulakis
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 21-Aug-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642406621)
This book constitutes the refereed proceedings of the 5th International Conference on Algebraic Informatics, CAI 2013, held in Porquerolles, France in September 2013. The 19 revised full papers presented together with 5 invited articles were caref...Loe edasi...
Guram Bezhanishvili, Sebastian Löbner, Vincenzo Marra, Frank Richter
Sari: Lecture Notes in Computer Science
(Ilmumisaeg: 10-Feb-2013, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642369759)
This book constitutes the refereed proceedings of the 9th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2011, held in Kutaisi, Georgia, in September 2011.The book consists of summaries of 3 tutorials presented at the sym...Loe edasi...
Nick Bezhanishvili, Sebastian Löbner, Kerstin Schwabe, Luca Spada
Sari: Lecture Notes in Artificial Intelligence
(Ilmumisaeg: 18-Jul-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642223020)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, held in Bakuriani, Geo...Loe edasi...
Sari: Theoretical Computer Science and General Issues
(Ilmumisaeg: 16-Jun-2011, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642214929)
This book constitutes the refereed proceedings of the 4th International Conference on Algebraic Informatics, CAI 2011, held in Linz, Austria, in June 2011.The 12 revised full papers presented together with 4 invited articles were carefully reviewed a...Loe edasi...
(Ilmumisaeg: 28-Aug-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642035630)
This book constitutes the refereed proceedings of the Third International Conference on Algebraic Informatics, CAI 2009, held in Thessaloniki, Greece, in May 2009.The 16 full papers were carefully reviewed and selected from 25 submissions. The papers...Loe edasi...
(Ilmumisaeg: 15-Oct-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642050817)
This book constitutes the refereed proceedings of the Third International Conference on Web Reasoning and Rule Systems, RR 2009, held in Chantilly, VA, USA, in October 2009.The 15 revised full papers presented together with 3 invited papers were care...Loe edasi...
(Ilmumisaeg: 27-Mar-2009, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642006647)
Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this book constitutes the refereed proceedings of the 7th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2007, held in Tbilisi, Georg...Loe edasi...
(Ilmumisaeg: 18-Dec-2008, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540929949)
This book constitutes the refereed proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages, PADL 2009, held in Savannah, GA, USA, in January 2009, collocated with POPL 2009, the Symposium on Principles of Program...Loe edasi...
