Logic and applications to computer science
By: guest editor: E. Grandjean.
Contributors: Grandjean, E.
Series: Theoretical computer science -- vol.101 (1)
Publisher: Elsevier
Published: 1992
Place of publication: Amsterdam
Language: eng
Notes: Special issue. Devoted to a workshop held in Paris on 31 January-1 February 1990 and 23-24 January 1991. Contains the revised versions of six refereed contributions.