Willkommen, schön sind Sie da!
Logo Ex Libris

Generalized Quantifiers and Computation

  • Kartonierter Einband
  • 152 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Informa... Weiterlesen
20%
100.00 CHF 80.00
Sie sparen CHF 20.00
Print on Demand - Auslieferung erfolgt in der Regel innert 4 bis 6 Wochen.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

This book comprises revised full versions of lectures given during the 9th European Summer School in Logic, Languages, and Information, ESSLLI'97, held in Aix-en-Provence, France, in August 1997. The six lectures presented introduce the reader to the state of the art in the area of generalized quantifiers and computation. Besides an introductory survey by the volume editor various aspects of generalized quantifiers are studied in depth.

Includes supplementary material: sn.pub/extras



Inhalt
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.

Produktinformationen

Titel: Generalized Quantifiers and Computation
Untertitel: 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop, Aix-en-Provence, France, August 11-22, 1997. Revised Lectures
Editor:
EAN: 9783540669937
ISBN: 3540669930
Format: Kartonierter Einband
Herausgeber: Springer Berlin Heidelberg
Genre: Informatik
Anzahl Seiten: 152
Gewicht: 242g
Größe: H235mm x B155mm x T8mm
Jahr: 2000
Untertitel: Englisch
Auflage: 1999

Weitere Produkte aus der Reihe "Lecture Notes in Computer Science"