Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures: 1754 - Brossura

 
9783540669937: Generalized Quantifiers and Computation: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures: 1754

Sinossi

Proceedings from the 9th European Summer School in Logic, Language and Information, held in Aix-en-Provence, France, on August 11-22, 1997.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Contenuti

Generalized Quantifiers, an Introduction.- Counting and Locality over Finite Structures A Survey.- A Perspective on Lindström Quantifiers and Oracles.- Generalized Quantifiers in Logic Programs.- A Generalized Quantifier Concept in Computational Complexity Theory.- Ramsey Theory Is Needed for Solving Definability Problems of Generalized Quantifiers.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.