Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996 |
Autore | Larrazabal Jesus M |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1998 |
Descrizione fisica | 1 online resource (266 pages) |
Altri autori (Persone) |
LascarDaniel
MintsGrigori AsherNicholas |
Collana | Lecture Notes in Logic |
ISBN | 3-662-22110-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 -- Logic Colloquium '96 -- Copyright -- Preface -- Table of contents -- The Logical Foundations of Discourse Interpretation -- Complete Sets and Structure in Subrecursive Classes -- Kernels and cohomology groups for some finite covers -- On "star" schemata of Kossak and Paris -- Arithmetizing proofs in analysis -- Satisfaction classes and automorphisms of models of PA -- Free monoid completeness of the Lambek calculus allowing empty premises -- Simple groups definable in O-minimal structures -- Two-Dimensional Temporal Logic -- Rather Classless, Highly Saturated Models of Peano Arithmetic -- Incompleteness theorems and Si2 versus Si2+1. |
Altri titoli varianti | Logic Colloquium' 96 |
Record Nr. | UNISA-996210818703316 |
Larrazabal Jesus M | ||
Berlin, Heidelberg : , : Springer, , 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logic Colloquium '96 : Proceedings of the Colloquium Held in San Sebastián, Spain, July 9-15 1996 |
Autore | Larrazabal Jesus M |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer, , 1998 |
Descrizione fisica | 1 online resource (266 pages) |
Altri autori (Persone) |
LascarDaniel
MintsGrigori AsherNicholas |
Collana | Lecture Notes in Logic |
ISBN | 3-662-22110-1 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Lecture Notes in Logic 12 Logic Colloquium '96 Proceedings of the Colloquium held in San Sebastián, Spain, July 9-15, 1996 -- Logic Colloquium '96 -- Copyright -- Preface -- Table of contents -- The Logical Foundations of Discourse Interpretation -- Complete Sets and Structure in Subrecursive Classes -- Kernels and cohomology groups for some finite covers -- On "star" schemata of Kossak and Paris -- Arithmetizing proofs in analysis -- Satisfaction classes and automorphisms of models of PA -- Free monoid completeness of the Lambek calculus allowing empty premises -- Simple groups definable in O-minimal structures -- Two-Dimensional Temporal Logic -- Rather Classless, Highly Saturated Models of Peano Arithmetic -- Incompleteness theorems and Si2 versus Si2+1. |
Altri titoli varianti | Logic Colloquium' 96 |
Record Nr. | UNINA-9910744597903321 |
Larrazabal Jesus M | ||
Berlin, Heidelberg : , : Springer, , 1998 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Logical Aspects of Computational Linguistics [[electronic resource] ] : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings / / edited by Nicholas Asher, Sergei Soloviev |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 189 p. 29 illus.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Machine theory Natural language processing (Computer science) Computer science Computational linguistics Artificial Intelligence Formal Languages and Automata Theory Natural Language Processing (NLP) Computer Science Logic and Foundations of Programming Computational Linguistics Computer Science |
ISBN | 3-662-43742-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Articles -- Building PMCFG Parsers as Datalog Program Transformations -- Representing Anaphora with Dependent Types -- An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents -- Adverbs in a Modern Type Theory -- An Algebraic Approach to Multiple Context-Free Grammars -- An ACG View on G-TAG and Its g-Derivation -- On Harmonic CCG and Pregroup Grammars -- The Granularity of Meaning in Proof-Theoretic Semantics -- Late Merge as Lowering Movement in Minimalist Grammars -- Pseudogapping as Pseudo-VP Ellipsis -- Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories -- Semantically Inactive Multiplicatives and Words as Types -- Generalising Predicate and Argument Invariance.-Invited Speaker -- Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic or Both?. |
Record Nr. | UNISA-996199992403316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. di Salerno | ||
|
Logical Aspects of Computational Linguistics : 8th International Conference, LACL 2014, Toulouse, France, June 18-24, 2014. Proceedings / / edited by Nicholas Asher, Sergei Soloviev |
Edizione | [1st ed. 2014.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 |
Descrizione fisica | 1 online resource (XVI, 189 p. 29 illus.) |
Disciplina | 006.3 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Artificial intelligence
Machine theory Natural language processing (Computer science) Computer science Computational linguistics Artificial Intelligence Formal Languages and Automata Theory Natural Language Processing (NLP) Computer Science Logic and Foundations of Programming Computational Linguistics Computer Science |
ISBN | 3-662-43742-2 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Regular Articles -- Building PMCFG Parsers as Datalog Program Transformations -- Representing Anaphora with Dependent Types -- An Interpretation of Full Lambek Calculus in Its Variant without Empty Antecedents of Sequents -- Adverbs in a Modern Type Theory -- An Algebraic Approach to Multiple Context-Free Grammars -- An ACG View on G-TAG and Its g-Derivation -- On Harmonic CCG and Pregroup Grammars -- The Granularity of Meaning in Proof-Theoretic Semantics -- Late Merge as Lowering Movement in Minimalist Grammars -- Pseudogapping as Pseudo-VP Ellipsis -- Monotonicity Reasoning in Formal Semantics Based on Modern Type Theories -- Semantically Inactive Multiplicatives and Words as Types -- Generalising Predicate and Argument Invariance.-Invited Speaker -- Formal Semantics in Modern Type Theories: Is It Model-Theoretic, Proof-Theoretic or Both?. |
Record Nr. | UNINA-9910483143503321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2014 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|