Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /

Formal Grammar 14th International Conference, FG 2009, Bordeaux, France, July 25-26, 2009, Revised Selected Papers /

This book constitutes the refereed proceedings of the 14th International Conference on Formal Grammar 2009, held in Bordeaux, France, in July 2009. The 13 revised full papers presented, including two invited talks, were carefully reviewed and selected from 26 submissions. These articles in this book...

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

Λεπτομέρειες βιβλιογραφικής εγγραφής
Συγγραφή απο Οργανισμό/Αρχή:	SpringerLink (Online service)
Άλλοι συγγραφείς:	Groote, Philippe de (Επιμελητής έκδοσης), Egg, Markus (Επιμελητής έκδοσης), Kallmeyer, Laura (Επιμελητής έκδοσης)
Μορφή:	Ηλεκτρονική πηγή Ηλ. βιβλίο
Γλώσσα:	English
Έκδοση:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.
Σειρά:	Lecture Notes in Computer Science, 5591
Θέματα:	Computer science. Computers. Mathematical logic. Computer science > Mathematics. Artificial intelligence. Computational linguistics. Grammar. Computer Science. Artificial Intelligence (incl. Robotics). Mathematical Logic and Formal Languages. Computation by Abstract Devices. Symbolic and Algebraic Manipulation. Computational Linguistics.
Διαθέσιμο Online:	Full Text via HEAL-Link

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

Formal Grammar 15th and 16th International Conferences, FG 2010, Copenhagen, Denmark, August 2010, FG 2011, Ljubljana, Slovenia, August 2011, Revised Selected Papers /
Έκδοση: (2012)

Formal Grammar 20th and 21st International Conferences, FG 2015, Barcelona, Spain, August 2015, Revised Selected Papers. FG 2016, Bozen, Italy, August 2016, Proceedings /
Έκδοση: (2016)

Formal Grammar 19th International Conference, FG 2014, Tübingen, Germany, August 16-17, 2014. Proceedings /
Έκδοση: (2014)

Formal Grammar 17th and 18th International Conferences, FG 2012, Opole, Poland, August 2012, Revised Selected Papers, FG 2013, Düsseldorf, Germany, August 2013. Proceedings /
Έκδοση: (2013)

Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions /
ανά: Kaiser, Łukasz
Έκδοση: (2011)

Language and Automata Theory and Applications 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings /
Έκδοση: (2015)

Language and Automata Theory and Applications 8th International Conference, LATA 2014, Madrid, Spain, March 10-14, 2014. Proceedings /
Έκδοση: (2014)

Language and Automata Theory and Applications 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings /
Έκδοση: (2016)

Algorithms in Invariant Theory
ανά: Sturmfels, Bernd
Έκδοση: (2008)

Logic, Language, Information, and Computation 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings /
Έκδοση: (2013)

Computer Science Logic 23rd international Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009. Proceedings /
Έκδοση: (2009)

Logic and Grammar Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday /
Έκδοση: (2011)

Relations and Kleene Algebra in Computer Science 9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006, Manchester, UK, August 29–September 2, 2006. Proceedings /
Έκδοση: (2006)

Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008. Proceedings /
Έκδοση: (2008)

Logic, Language, Information, and Computation 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings /
Έκδοση: (2015)

Logic, Language, Information, and Computation 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings /
Έκδοση: (2017)

Relational and Algebraic Methods in Computer Science 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017, Proceedings /
Έκδοση: (2017)

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006 Beijing, China, September 20-22, 2006 Proceedings /
Έκδοση: (2006)

Relational and Algebraic Methods in Computer Science 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings /
Έκδοση: (2014)

Term Rewriting and Applications 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007. Proceedings /
Έκδοση: (2007)

Relational Methods in Computer Science 8th International Seminar on Relational Methods in Computer Science, 3rd International Workshop on Applications of Kleene Algebra, and Workshop of COST Action 274: TARSKI, St. Catharines, ON, Canada, February 22-26, 2005, Selected Revised Papers /
Έκδοση: (2006)

Theory and Applications of Relational Structures as Knowledge Instruments II International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers /
Έκδοση: (2006)

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /
Έκδοση: (2014)

Logic, Language, Information, and Computation 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings /
Έκδοση: (2016)

Relational and Algebraic Methods in Computer Science 15th International Conference, RAMiCS 2015, Braga, Portugal, September 28 - October 1, 2015, Proceedings /
Έκδοση: (2015)

Relational and Algebraic Methods in Computer Science 13th International Conference, RAMiCS 2012, Cambridge, UK, September 17-20, 2012. Proceedings /
Έκδοση: (2012)

Types for Proofs and Programs International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers /
Έκδοση: (2006)

Rewriting Techniques and Applications 19th International Conference, RTA 2008 Hagenberg, Austria, July 15-17, 2008 Proceedings /
Έκδοση: (2008)

Term Rewriting and Applications 17th International Conference, RTA 2006 Seattle, WA, USA, August 12-14, 2006 Proceedings /
Έκδοση: (2006)

Automated Deduction in Geometry 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers /
Έκδοση: (2015)

Automated Deduction in Geometry 8th International Workshop, ADG 2010, Munich, Germany, July 22-24, 2010, Revised Selected Papers /
Έκδοση: (2011)

Theory and Applications of Relational Structures as Knowledge Instruments COST Action 274, TARSKI. Revised Papers /
Έκδοση: (2003)

Logical Aspects of Computational Linguistics 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings /
Έκδοση: (2011)

Logic, Language, and Computation 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers /
Έκδοση: (2011)

Functional and Constraint Logic Programming 19th International Workshop, WFLP 2010, Madrid, Spain, January 17, 2010. Revised Selected Papers /
Έκδοση: (2011)

Relational and Algebraic Methods in Computer Science 12th International Conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 – June 3, 2011. Proceedings /
Έκδοση: (2011)

Term Rewriting and Applications 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005. Proceedings /
Έκδοση: (2005)

Types for Proofs and Programs International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers /
Έκδοση: (2007)

Logical Aspects of Computational Linguistics 5th International Conference, LACL 2005, Bordeaux, France, April 28-30, 2005. Proceedings /
Έκδοση: (2005)

Computable Models
ανά: Turner, Raymond
Έκδοση: (2009)

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

Cannot write session to /tmp/vufind_sessions/sess_ngh1e9nd0vban00hfhhbn1lijs