𝔖 Bobbio Scriptorium

✦ LIBER ✦

Formal and Computational Aspects of Functional Grammar and Language Typologyby Dik Bakker

✍ Scribed by Review by: Daniel García Velasco

Book ID: 124547699
Publisher: AEDEAN (Asociacion Espanola de Estudios Anglo-Norteamericanos)
Year: 1995
Tongue: English
Weight: 324 KB
Volume: 17
Category: Article
ISSN: 0210-6124
DOI: 10.2307/41054796

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Shape Grammars and Their Uses: Artificia

Shape Grammars and Their Uses: Artificial Perception, Shape Generation and Computer Aestheticsby James Gips;Pictorial and Formal Aspects of Shape and Shape Grammars: On Computer Generation of Aesthetic Objectsby George Stiny

✍ Review by: Vladimir Bonačić 📂 Article 📅 1977 🏛 MIT Press 🌐 English ⚖ 153 KB

[Lecture Notes in Computer Science] Auto

[Lecture Notes in Computer Science] Automata, Languages and Programming Volume 85 || Formal properties of one-visit and multi-pass attribute grammars (extended abstract)

✍ Bakker, Jaco; Leeuwen, Jan 📂 Article 📅 1980 🏛 Springer Berlin Heidelberg ⚖ 781 KB

[Lecture Notes in Computer Science] Form

[Lecture Notes in Computer Science] Formal Methods for Quantitative Aspects of Programming Languages Volume 6154 || Information Theory and Security: Quantitative Information Flow

✍ Aldini, Alessandro; Bernardo, Marco; Pierro, Alessandra; Wiklicky, Herbert 📂 Article 📅 2010 🏛 Springer Berlin Heidelberg ⚖ 603 KB

Aspects of a cognitive-pragmatic theory

Aspects of a cognitive-pragmatic theory of language. On cognition, functionalism, and grammar: Jan Nuyts, (Pragmatics & Beyond New Series 20). Amsterdam: John Benjamins, 1992. xii + 399 pp. ISBN 90-272-5032-4. Hfl. 125,000

✍ Andreas H. Jucker 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 205 KB

Mathematical Methods of the Theory of St

Mathematical Methods of the Theory of Stochastic Automata.by A. Bertoni; A. Blikle;Functions Computable in the Limit by Probabilistic Machines.by R. V. Freivald;Some Properties of Limit Recursive Functions.by B. Goetze; R. Klette;An Approach to Correctness Proofs of Semicoroutines.by Ole-Johan Dahl;The axiomatization Problem of a Theory of Linear Languages.by G. Wechsung;Modular Approach to the Logical Theory of Programs.by L. Banachowski;Mathematical Foundations of Motivation Languages and Synthesis Maps.by Pierangelo Miglioli;ω+-Valued Algorithmic Logic as a Tool to Investigate Procedures.by H. Rasiowa;Procedures, formal Computations and Models.by Andrzej Salwicki

✍ Review by: Steven S. Muchnick 📂 Article 📅 1977 🏛 Association for Symbolic Logic 🌐 English ⚖ 98 KB