The Mathematics of Language  10th and 11th Biennial Conference, MOL 10, Los Angeles, CA, USA, July 28-30, 2007 and MOL 11, Bielefeld, Germany, August 20-21, 2009, Revised Selected Papers /  [electronic resource] : 
edited by Christian Ebert, Gerhard Jäger, Jens Michaelis. 
 - 1st ed. 2010. 
 - VIII, 297 p. 55 illus.  online resource. 
 - Lecture Notes in Artificial Intelligence,  6149  2945-9141 ; .
 - Lecture Notes in Artificial Intelligence,  6149 .
<br/><br/>Dependency Structures Derived from Minimalist Grammars -- Deforesting Logical Form -- On the Probability Distribution of Typological Frequencies -- A Polynomial Time Algorithm for Parsing with the Bounded Order Lambek Calculus -- LC Graphs for the Lambek Calculus with Product -- Proof-Theoretic Semantics for a Natural Language Fragment -- Some Interdefinability Results for Syntactic Constraint Classes -- Sortal Equivalence of Bare Grammars -- Deriving Syntactic Properties of Arguments and Adjuncts from Neo-Davidsonian Semantics -- On Monadic Second-Order Theories of Multidominance Structures -- The Equivalence of Tree Adjoining Grammars and Monadic Linear Context-Free Tree Grammars -- A Formal Foundation for A and A-bar Movement -- Without Remnant Movement, MGs Are Context-Free -- The Algebra of Lexical Semantics -- Phonological Interpretation into Preordered Algebras -- Relational Semantics for the Lambek-Grishin Calculus -- Intersecting Adjectives in Syllogistic Logic -- Creation Myths of GenerativeGrammar and the Mathematics of Syntactic Structures -- On Languages Piecewise Testable in the Strict Sense -- A Note on the Complexity of Abstract Categorial Grammars -- Almost All Complex Quantifiers Are Simple -- Constituent Structure Sets I. 
<br/><br/><label>ISBN: </label>9783642143229 
<br/><br/><label>Standard No.: </label>10.1007/978-3-642-14322-9  doi 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Compilers (Computer programs).<br/>Computer programming.<br/>Computer science.<br/>Machine theory.<br/>Computer science--Mathematics.<br/>Discrete mathematics.<br/>Compilers and Interpreters.<br/>Programming Techniques.<br/>Theory of Computation.<br/>Formal Languages and Automata Theory.<br/>Symbolic and Algebraic Manipulation.<br/>Discrete Mathematics in Computer Science.
<br/><br/><label>LC Class. No.: </label>QA76.76.C65 
<br/><br/><label>Dewey Class. No.: </label>005.45