Idioma:

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

European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France) J Väänänen 1950- (Jouko)

Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 LNCS v.1754 e.1 )(Acessar)

Título:
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
Autor: European Summer School in Logic, Language, and Information (9th 1997 Aix-en Provence, France)
J Väänänen 1950- (Jouko)
Assuntos: Computer science -- Mathematics; Computer logic; Programming languages (Electronic computers); LÓGICA MATEMÁTICA; INTELIGÊNCIA ARTIFICIAL
Notas: Includes bibliographical references
Descrição: Generalized quantifiers, an introduction / Jouko Väänänen -- Counting and locality over finite structures : a survey / Leonid Libkin, Juha Nurmonen -- A perspective on Lindström quantifiers and oracles / Iain A. Stewart -- Gene ralized quantifiersin logic programs / Thomas Eiter, Georg Gottlob, Helmut Veith -- A generalized quantifier concept in computational complexity theory / Heribert Vollmer -- Ramsey theory is needed for solving definability prob lems of generalized quantifiers /Kerkko Luosto
Títulos relacionados: Série:Lecture notes in computer science 1754
Editor: Berlin Springer New York
Data de criação/publicação: c1999
Formato: 139 p. ill. 24 cm.
Idioma: Inglês

Links

Voltar para lista de resultados

Anterior Resultado 8 Avançar Ir para próxima página