New Trends in Formal Languages Control, Cooperation, and Combinatorics /

New Trends in Formal Languages Control, Cooperation, and Combinatorics /

Εμφάνιση άλλων εκδόσεων (1)

This book presents a collection of refereed papers on formal language theory arranged for the occasion of the 50th birthday of Jürgen Dassow, who has made a significant contribution to the areas of regulated rewriting and grammar systems. The volume comprises 33 revised full papers organized in sec...

Πλήρης περιγραφή

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Paun, Gheorghe (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt), Salomaa, Arto (Επιμελητής έκδοσης, http://id.loc.gov/vocabulary/relators/edt)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1997.
Έκδοση:	1st ed. 1997.
Σειρά:	Lecture Notes in Computer Science, 1218
Θέματα:	Programming languages (Electronic computers). Mathematical logic. Artificial intelligence. Programming Languages, Compilers, Interpreters. Mathematical Logic and Formal Languages. Artificial Intelligence.
Διαθέσιμο Online:	Full Text via HEAL-Link

Παρόμοια τεκμήρια

New Trends in Constraints Joint ERCIM/Compulog Net Workshop Paphos, Cyprus, October 25-27, 1999 Selected Papers /
Έκδοση: (2000)

Advances in Case-Based Reasoning 4th European Workshop, EWCBR'98, Dublin, Ireland, September 23-25, 1998, Proceedings /
Έκδοση: (1998)

Automated Reasoning with Analytic Tableaux and Related Methods International Conference, TABLEAUX 2000 St Andrews, Scotland, UK, July 3-7, 2000 Proceedings /
Έκδοση: (2000)

Logics in Artificial Intelligence European Workshop, JELIA 2000 Malaga, Spain, September 29 - October 2, 2000 Proceedings /
Έκδοση: (2000)

Grammatical Inference: Algorithms and Applications 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004. Proceedings /
Έκδοση: (2004)

Computer Science Logic 18th International Workshop, CSL 2004, 13th Annual Conference of the EACSL, Karpacz, Poland, September 20-24, 2004, Proceedings /
Έκδοση: (2004)

Automated Deduction - CADE-18 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 Proceedings /
Έκδοση: (2002)

A Tight, Practical Integration of Relations and Functions
ανά: Boley, Harold, κ.ά.
Έκδοση: (1999)

Automated Deduction - CADE-19 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings /
Έκδοση: (2003)

Types for Proofs and Programs International Workshop, TYPES 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers /
Έκδοση: (2004)

Formal Methods - The Next 30 Years Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings /
Έκδοση: (2019)

Principles and Practice of Constraint Programming - CP 2000 6th International Conference, CP 2000 Singapore, September 18-21, 2000 Proceedings /
Έκδοση: (2000)

Principles of Declarative Programming 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, September 16-18, 1998 Proceedings /
Έκδοση: (1998)

Programming Languages: Implementations, Logics, and Programs 9th International Symposium, PLILP '97, Including a Special Track on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997. Proceedings /
Έκδοση: (1997)

Inductive Logic Programming 27th International Conference, ILP 2017, Orléans, France, September 4-6, 2017, Revised Selected Papers /
Έκδοση: (2018)

From Software Engineering to Formal Methods and Tools, and Back Essays Dedicated to Stefania Gnesi on the Occasion of Her 65th Birthday /
Έκδοση: (2019)

Logical Foundations of Computer Science International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings /
Έκδοση: (2018)

Logic for Programming and Automated Reasoning 7th International Conference, LPAR 2000 Reunion Island, France, November 6-10, 2000 Proceedings /
Έκδοση: (2000)

Types for Proofs and Programs International Workshop, TYPES'99, Lökeberg, Sweden, June 12-16, 1999, Selected Papers /
Έκδοση: (2000)

Computer Science Logic 12th International Workshop, CSL'98, Annual Conference of the EACSL, Brno, Czech Republic, August 24-28, 1998, Proceedings /
Έκδοση: (1999)

Rewriting Techniques and Applications 9th International Conference, RTA-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings /
Έκδοση: (1998)

Computer Science Logic 15th International Workshop, CSL 2001. 10th Annual Conference of the EACSL, Paris, France, September 10-13, 2001 Proceedings /
Έκδοση: (2001)

Modeling and Using Context Second International and Interdisciplinary Conference, CONTEXT'99, Trento, Italy, September 9-11, 1999, Proceedings /
Έκδοση: (1999)

Rewriting Techniques and Applications 13th International Conference, RTA 2002, Copenhagen, Denmark, July 22-24, 2002 Proceedings /
Έκδοση: (2002)

Scalable Uncertainty Management 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings /
Έκδοση: (2018)

Principles and Practice of Constraint Programming - CP98 4th International Conference, CP98, Pisa, Italy, October 26-30, 1998, Proceedings /
Έκδοση: (1998)

Principles and Practice of Constraint Programming - CP 2001 7th International Conference, CP 2001, Paphos, Cyprus, November 26 - December 1, 2001, Proceedings /
Έκδοση: (2001)

Principles and Practice of Constraint Programming - CP 2002 8th International Conference, CP 2002, Ithaca, NY, USA, September 9-13, 2002, Proceedings /
Έκδοση: (2002)

Principles and Practice of Constraint Programming - CP97 Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997 /
Έκδοση: (1997)

Principles and Practice of Constraint Programming - CP 2004 10th International Conference, CP 2004, Toronto, Canada, September 27 - October 2004, Proceedings /
Έκδοση: (2004)

Integrated Formal Methods 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings /
Έκδοση: (2018)

Types for Proofs and Programs International Workshop, TYPES '98, Kloster Irsee, Germany, March 27-31, 1998, Selected Papers /
Έκδοση: (1999)

Compiler Construction 11th International Conference, CC 2002, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings /
Έκδοση: (2002)

Compiler Construction 12th International Conference, CC 2003, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings /
Έκδοση: (2003)

Compiler Construction 7th International Conference, CC'98, Held as part of the European Joint Conferences on the Theory and Practice of Software, ETAPS '98, Lisbon, Portugal, March 28 - April 4, 1998 Proceedings /
Έκδοση: (1998)

Abstract State Machines, Alloy, B, TLA, VDM, and Z 6th International Conference, ABZ 2018, Southampton, UK, June 5-8, 2018, Proceedings /
Έκδοση: (2018)

Theoretical Aspects of Computing - ICTAC 2018 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings /
Έκδοση: (2018)

Grammatical Inference: Algorithms and Applications 6th International Colloquium: ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002. Proceedings /
Έκδοση: (2002)

Symbolic and Quantitative Approaches to Reasoning with Uncertainty 6th European Conference, ECSQARU 2001, Toulouse, France, September 19-21, 2001. Proceedings /
Έκδοση: (2001)

Case-Based Reasoning Research and Development 4th International Conference on Case-Based Reasoning, ICCBR 2001 Vancouver, BC, Canada, July 30 - August 2, 2001 Proceedings /
Έκδοση: (2001)

Βιβλιοθήκη & Κέντρο Πληροφόρησης | Πανεπιστήμιο Πατρών