Formal Grammar [[electronic resource] ] : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings / / edited by Glyn Morrill, Mark-Jan Nederhof |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 293 p. 58 illus.) |
Disciplina | 410.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Artificial intelligence Computer science Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Artificial Intelligence Computer Science |
ISBN | 3-642-39998-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Grammar 2012 -- On IO-Copying and Mildly-Context Sensitive Formalisms -- The Distribution and Interpretation of Hausa Subjunctives: An HPSG Approach -- Memory Resource Allocation in Top-Down Minimalist Parsing -- Parsing Pregroup Grammars with Letter Promotions in Polynomial Time -- Towards an HPSG Analysis of Object Shift in Danish -- Cognitive and Sub-regular Complexity -- Is Malay Grammar Uniform? A Constraint-Based Analysis -- Completeness of Full Lambek Calculus for Syntactic Concept Lattices -- Formal Grammar 2013 -- On the Expressivity of Optimality Theory versus Ordered Rewrite Rules -- Adjectives in a Modern Type-Theoretical Setting -- Tree Wrapping for Role and Reference Grammar -- The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars -- On the Complexity of Free Word Orders -- Determiner Gapping as Higher-Order Discontinuous Constituency -- Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives -- On the Generative Power of Discontinuous Lambek Calculus -- A Count Invariant for Lambek Calculus with Additives and Bracket Modalities -- Some Higher Order Functions on Binary Relations. |
Record Nr. | UNISA-996466044103316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Formal Grammar : 17th and 18th International Conferences, FG 2012 Opole, Poland, August 2012, Revised Selected PapersFG 2013 Düsseldorf, Germany, August 2013, Proceedings / / edited by Glyn Morrill, Mark-Jan Nederhof |
Edizione | [1st ed. 2013.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 |
Descrizione fisica | 1 online resource (X, 293 p. 58 illus.) |
Disciplina | 410.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Computer science—Mathematics Artificial intelligence Computer science Formal Languages and Automata Theory Symbolic and Algebraic Manipulation Artificial Intelligence Computer Science |
ISBN | 3-642-39998-3 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Formal Grammar 2012 -- On IO-Copying and Mildly-Context Sensitive Formalisms -- The Distribution and Interpretation of Hausa Subjunctives: An HPSG Approach -- Memory Resource Allocation in Top-Down Minimalist Parsing -- Parsing Pregroup Grammars with Letter Promotions in Polynomial Time -- Towards an HPSG Analysis of Object Shift in Danish -- Cognitive and Sub-regular Complexity -- Is Malay Grammar Uniform? A Constraint-Based Analysis -- Completeness of Full Lambek Calculus for Syntactic Concept Lattices -- Formal Grammar 2013 -- On the Expressivity of Optimality Theory versus Ordered Rewrite Rules -- Adjectives in a Modern Type-Theoretical Setting -- Tree Wrapping for Role and Reference Grammar -- The String-Meaning Relations Definable by Lambek Grammars and Context-Free Grammars -- On the Complexity of Free Word Orders -- Determiner Gapping as Higher-Order Discontinuous Constituency -- Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives -- On the Generative Power of Discontinuous Lambek Calculus -- A Count Invariant for Lambek Calculus with Additives and Bracket Modalities -- Some Higher Order Functions on Binary Relations. |
Record Nr. | UNINA-9910483555303321 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Formal Grammar [[electronic resource] ] : 15th and 16th International Conference on Formal GrammarFG 2010 Copenhagen, Denmark, August 2010FG 2011 Lubljana, Slovenia, August 2011 / / edited by Philippe de Groote, Mark-Jan Nederhof |
Edizione | [1st ed. 2012.] |
Pubbl/distr/stampa | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 |
Descrizione fisica | 1 online resource (X, 290 p. 44 illus.) |
Disciplina | 410.285 |
Collana | Theoretical Computer Science and General Issues |
Soggetto topico |
Machine theory
Linguistics Computer science—Mathematics Artificial intelligence Computational linguistics Image processing—Digital techniques Computer vision Formal Languages and Automata Theory Theoretical Linguistics / Grammar Symbolic and Algebraic Manipulation Artificial Intelligence Computational Linguistics Computer Imaging, Vision, Pattern Recognition and Graphics |
ISBN | 3-642-32024-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNISA-996465314603316 |
Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2012 | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|