diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-05-29 08:24:42 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-05-29 08:24:42 +0000 |
| commit | 5234727cecd94ac5c307812b9f4cb3ae632e2b7a (patch) | |
| tree | fcfa49d773b8f7b884a4d926d5b297b2e1891c3d | |
| parent | f1627e9912c5b37827f209a545c01328cb8fdbaa (diff) | |
new bib items
| -rw-r--r-- | doc/gf-bib.bib | 50 |
1 files changed, 50 insertions, 0 deletions
diff --git a/doc/gf-bib.bib b/doc/gf-bib.bib index 367e16b3a..c937ae754 100644 --- a/doc/gf-bib.bib +++ b/doc/gf-bib.bib @@ -2368,3 +2368,53 @@ Book{GoldbergRubin95, PUBLISHER = {???}, YEAR = {???} } + +@Article{Parnas, + author = {D. Parnas}, + title = {{On the Criteria To Be Used in Decomposing Systems into Modules}}, + journal = {{Communications of the ACM}}, + volume = {15}, + pages = {1053--1058}, + year = {1972} +} + +@Article{ranta:compsem, + author = {A. Ranta}, + title = {{Computational Semantics in Type Theory}}, + journal = {{Mathematics and Social Sciences}}, + volume = {165}, + pages = {31--57}, + year = {2004} +} + + +@inproceedings{gf-esslli, + AUTHOR = {A. Ranta}, + TITLE = {{Grammatical Framework Tutorial}}, + BOOKTITLE = {{ESSLLI 2003 Course Material I}}, + PUBLISHER = {{Kurt G\"odel Society}}, + pages = {1--86}, + YEAR = {2004} + } + +@Article{mccarthy, + author = {J. McCarthy}, + title = {{Recursive Functions of Symbolic Expressions and their + Computation by Machine, part I}}, + journal = {{Communications of the ACM}}, + volume = {3}, + pages = {184--195}, + year = {1960} +} + + +@inproceedings{bringert-speechgram, + AUTHOR = {B. Bringert}, + TITLE = {{Speech Recognition Grammar Compilation in Grammatical Framework}}, + BOOKTITLE = + {{SPEECHGRAM 2007: ACL Workshop on Grammar-Based Approaches to Spoken Language Processing, + 29 June 2007, Prague}}, + YEAR = {2007} +} + + |