Selected papers of the Workshop on Topology and Completionin Semantics, Chartres, France, 18-20 November 1993
By: guest editors: P. Gastin, J.J.M.M. Rutten.
Contributors: Gastin, Paul.; Rutten, Jan J. M. M.
Series: Theoretical computer science -- vol.151 (1)
Publisher: North-Holland
Published: 1995
Place of publication: Amsterdam; Oxford
Language: eng