| |
|
| |
|
| |
In Workshop on Model Computation (MODEL) (2003)
|
| |
|
| |
In Logical Aspects of Computational Linguistics, Vol. 3492 (May 2005), pp. 51-66.
posted to gf by bringert
on 2008-10-08 16:24:04
as 
|
| |
In Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, Vancouver, BC (1998), pp. 183-200.
|
| |
In Advances in Natural Language Processing, 6th International Conference, GoTAL 2008, Gothenburg, Sweden, Vol. 5221 (August 2008), pp. 303-314.
|
| |
Types for Proofs and Programs In Types for Proofs and Programs, International Workshop TYPES '94, Båstad, Sweden, June 6-10, 1994, Vol. 996 (1995), pp. 162-182.
posted to gf by bringert
on 2008-10-08 09:26:14
as
|
| |
In Proceedings of the 19th international conference on Computational linguistics (COLING 2002) (2002), pp. 1-7.
|
| |
In Proceedings of the 19th international conference on Computational linguistics (COLING 2002) (2002), pp. 1-7.
|
| |
In Proceedings of the Second SIGdial Workshop on Discourse and Dialogue (2001), pp. 1-9.
|
| |
In Proceedings of the ACL Interactive Poster and Demonstration Sessions (ACL 2005), Ann Arbor, Michigan (June 2005), pp. 29-32.
|
| |
Applied Artificial Intelligence, Vol. 13, No. 1-2. (1999), pp. 91-128.
|
| |
In EACL 2006, 11st Conference of the European Chapter of the Association for Computational Linguistics (2006)
|
| |
ACM Computing Surveys, Vol. 28, No. 4es. (1996)
|
| |
In Proceedings of the LFG01 Conference, University of Hong Kong, Hong Kong (2001)
|
| |
In Proceedings, Sixth European Conference on Speech Communication and Technology (EUROSPEECH'99), Budapest, Hungary (September 1999), pp. 339-342.
|
| |
In Proceedings of 39th Annual Meeting of the Association for Computational Linguistics, Toulouse, France (July 2001), pp. 252-259.
|
| |
In Programming the Web - a search for APIs, Fifth International World Wide Web Conference (WWW5), Paris, France (6 May 1996)
|
| |
(March 1995)
posted to gf by bringert
on 2008-09-19 10:07:11
as
|
| |
|
| |
|
| |
|
| |
In Proceedings of the Fourth Annual Symposium on Logic in Computer Science (LICS '89), Pacific Grove, CA, USA (June 1989), pp. 14-23.
|
| |
Mathematical Structures in Computer Science, Vol. 2, No. 4. (1992), pp. 461-493.
|
| |
Mathematics and Social Sciences, Vol. 165 (2004), pp. 31-57.
|
| |
In WCCFL 20: Proceedings of the 20th West Coast Conference on Formal Linguistics (February 2001)
|
| |
In Natural Language Parsing and Linguistic Theories (1988), pp. 432-447.
|
| |
In Proceedings of the 22nd International Conference on Computational Linguistics (Coling 2008) (August 2008), pp. 521-528.
|
| |
In Proceedings of the Seventh International Workshop on Computational Semantics (IWCS-7), Tilburg, The Netherlands (2007), pp. 181-196.
|
| |
In Proceedings of the sixth ESSLLI Student Session, 13th European Summer School in Logic, Language and Information, Helsinki, Finland (August 2001), pp. 275-288.
|
| |
In Thirteenth Amsterdam Colloquium (December 2001), pp. 97-101.
|
| |
In Proceedings of the Fourth ACM SIGPLAN Continuations Workshop (CW'04), Venice, Italy (17 January 2004)
|
| |
Natural Language Semantics, Vol. 10, No. 3. (2002), pp. 211-242.
|
| |
|
| |
|
| |
In Coling 2008: Proceedings of the workshop on Speech Processing for Safety Critical Translation and Pervasive Applications, Manchester, UK (23 August 2008), pp. 5-8.
|
| |
|
| |
In 13th European Conference on Artificial Intelligence (ECAI 1998) (1998), pp. 677-681.
|
| |
(2008)
posted to gf by bringert
on 2008-06-03 12:27:26
as 
|
| |
|
| |
In Approaches to Natural Language: proceedings of the 1970 Stanford workshop on Grammar and Semantics (1973), pp. 221-242.
|
| |
In In Proceedings of the 4th International Joint Conference on Automated Reasoning (IJCAR-08), Sydney, Australia (August 2008)
|
| |
Journal of Applied Logic, Vol. In Press, Corrected Proof (2007)
|
| |
In Using the Framework, Deliverable D16 (January 1996)
by Robin Cooper, Dick Crouch, Jan van Eijck, et al.Chris Fox, Josef van Genabith, Jan Jaspars, Hans Kamp, David Milward, Manfred Pinkal, Massimo Poesio, Steve Pulman, Ted Briscoe, Holger Maier, Karsten Konrad
|
| |
Linguistics and Philosophy, Vol. 4, No. 2. (1 June 1981), pp. 159-219.
|
| |
|
| |
Lisp and Symbolic Computation, Vol. 7, No. 1. (1994), pp. 39-56.
|
| |
In Syntax and Semantics, Vol. 4 (July 1975)
|
| |
In Proceedings of EAMT-2006, 11th Annual conference of the European Association for Machine Translation, Oslo, Norway (June 2006), pp. 95-104.
|
Search
