Titre :	Mathematical methods in linguistics
Type de document :	texte imprimé
Auteurs :	Partee, Barbara H. ; Wall, Robert E. ; Ter Meulen, Alice
Editeur :	Dordrecht : Kluwer Academic Publishers
Année de publication :	1993
Collection :	Studies in linguistics and philosophy, ISSN 0924-4662 num. 30
Importance :	xxii - 664 p.
ISBN/ISSN/EAN :	978-90-277-2245-4
Langues :	Anglais
Mots-clés :	categorial grammars  automata  languages, grammars  model-theoretic semantics  kripke semantics  lattices  operational structures  model theory  proof theory  predicate logic  deduction  set theory  computational linguistics  tree adjoining grammars  indexed grammars
Index. décimale :	IRIN

Mathematical methods in linguistics [texte imprimé] / Partee, Barbara H. ; Wall, Robert E. ; Ter Meulen, Alice . - Dordrecht : Kluwer Academic Publishers, 1993 . - xxii - 664 p.. - (Studies in linguistics and philosophy, ISSN 0924-4662; 30) .
ISBN : 978-90-277-2245-4
Langues : Anglais

Mots-clés :	categorial grammars  automata  languages, grammars  model-theoretic semantics  kripke semantics  lattices  operational structures  model theory  proof theory  predicate logic  deduction  set theory  computational linguistics  tree adjoining grammars  indexed grammars
Index. décimale :	IRIN