Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 40 » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Symbolic and Algebraic Manipulation » Page 40

book Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

Logic and Games on Automatic Structures: Playing with Quantifiers and Decompositions

pdf

Author: Łukasz Kaiser (auth.)
Language: English
Year: 2011

00

27.01.2024

4

0

book WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

WALCOM: Algorithms and Computation: 4th International Workshop, WALCOM 2010, Dhaka, Bangladesh, February 10-12, 2010. Proceedings

pdf

Author: Jacob Fox Fabrizio Frati János Pach Rom Pinchasi (auth.) Md. Saidur Rahman Satoshi Fujita (eds.)
Language: English
Year: 2010

00

27.01.2024

1

0

book WALCOM: Algorithms and Computation: 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings

WALCOM: Algorithms and Computation: 5th International Workshop, WALCOM 2011, New Delhi, India, February 18-20, 2011. Proceedings

pdf

Author: Tamal Krishna Dey (auth.) Naoki Katoh Amit Kumar (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

Typed Lambda Calculi and Applications: 10th International Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011. Proceedings

pdf

Author: Alexandre Miquel (auth.) Luke Ong (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

Types for Proofs and Programs: International Workshop, TYPES 2004, Jouy-en-Josas, France, December 15-18, 2004, Revised Selected Papers

pdf

Author: Robin Adams (auth.) Jean-Christophe Filliâtre Christine Paulin-Mohring Benjamin Werner (eds.)
Language: English
Year: 2006

00

27.01.2024

2

0

book Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

Types for Proofs and Programs: International Conference, TYPES 2008 Torino, Italy, March 26-29, 2008 Revised Selected Papers

pdf

Author: Davide Ancona Giovanni Lagorio Elena Zucca (auth.) Stefano Berardi Ferruccio Damiani Ugo de’Liguoro (eds.)
Language: English
Year: 2009

00

27.01.2024

4

0

book The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

The Mathematics of Language: 10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007, and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers

pdf

Author: Marisa Ferrara Boston John T. Hale Marco Kuhlmann (auth.) Christian Ebert Gerhard Jäger Jens Michaelis (eds.)
Language: English
Year: 2010

00

27.01.2024

0

0

book The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

The Mathematics of Language: 12th Biennial Conference, MOL 12, Nara, Japan, September 6-8, 2011. Proceedings

pdf

Author: Andreas Maletti (auth.) Makoto Kanazawa András Kornai Marcus Kracht Hiroyuki Seki (eds.)
Language: English
Year: 2011

00

27.01.2024

0

0

book Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009. Proceedings

pdf

Author: Zuohua Ding (auth.) Martin Leucker Carroll Morgan (eds.)
Language: English
Year: 2009

00

27.01.2024

1

0

book String Processing and Information Retrieval: 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings

String Processing and Information Retrieval: 16th International Symposium, SPIRE 2009 Saariselkä, Finland, August 25-27, 2009 Proceedings

pdf

Author: Travis Gagie Simon J. Puglisi Andrew Turpin (auth.) Jussi Karlgren Jorma Tarhio Heikki Hyyrö (eds.)
Language: English
Year: 2009

00

27.01.2024

0

0