Le nuove disposizioni sul processo civile : commento alla legge 11 luglio 1950 n. 581 e al Dcr. Pres. 17 ottobre 1950 n. 857 / SALVATORE SATTA

• Record Nr.: UNINA990006013730403321
• Autore: Satta, Salvatore <1902-1975>
• Pubbl/distr/stampa: Padova : Cedam, 1951
• Descrizione fisica: 68 p.
• Disciplina: 347
• Locazione: FGBC
• Collocazione: D. TAMMARO VIII 5
• Lingua di pubblicazione: Non definito
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

Codice della imposta di registro : raccolta completa della legislazione vigente corredata di note illustrative e commentata articolo per articolo con la giurisprudenza, la prassi amministrativa e la bibliografia. Appendice di aggiornamento al 31 ottobre 1960 / [a cura di] Gaetano Stammati, Armando Armani, Lando Ceccarelli

• Record Nr.: UNISOBSOBE00050268
• Autore: *Italia
• Pubbl/distr/stampa: Roma, : Jandi Sapi, 1961
• Descrizione fisica: IX, 314 p. ; 17 cm
• Lingua di pubblicazione: Italiano
• Formato: Materiale a stampa
• Livello bibliografico: Monografia

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 / / edited by Christian Ebert, Gerhard Jäger, Jens Michaelis

• Record Nr.: UNINA9910484492303321
• Pubbl/distr/stampa: Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 2010
• ISBN: 3-642-14322-9
• Edizione: [1st ed. 2010.]
• Descrizione fisica: 1 online resource (VIII, 297 p. 55 illus.)
• Collana: Lecture Notes in Artificial Intelligence, , 2945-9141 ; ; 6149
• Altri autori (Persone): EbertChristian; JagerGerhard; MichaelisJens
• Disciplina: 410.1/51
• Soggetti: Compilers (Computer programs); Computer programming; Computer science; Machine theory; Computer science - Mathematics; Discrete mathematics; Compilers and Interpreters; Programming Techniques; Theory of Computation; Formal Languages and Automata Theory; Symbolic and Algebraic Manipulation; Discrete Mathematics in Computer Science
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Note generali: Bibliographic Level Mode of Issuance: Monograph
• Nota di bibliografia: Includes bibliographical references and index.
• Nota di contenuto: 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.
• Sommario/riassunto: Contains a selection of papers presented at the 10th and 11th Meeting of the Association for Mathematics of Language, held in Los Angeles, CA, USA in July 2007 and in Bielefeld, Germany, in August 2009. This title reflects a range of theoretical topics relating to language and computation.