Programming Languages: Implementations, Logics and Programs
7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Book and Conference Proceedings
7th International Symposium, PLILP '95 Utrecht, The Netherlands, September 20–22, 1995 Proceedings
Book and Conference Proceedings
6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings