Programming language implementation and logic programming

4th International Symposium, PLILP '92, Leuven, Belgium, August 26-28, 1992

CONCUR'92

third International Conference on Concurrency Theory, Stony Brook Ny, August 24-27, 1992

Mathematical foundations of computer science 1992

17th international symposium, Prague, Czechoslovakia, August 24-28, 1992

Relational matching

Lexical semantics and knowledge representation

first SIGLEX Workshop, Berkeley, CA, USA, June 1991