Modal Logic and Process Algebra

Bibliographic details

Publisher

CSLI publications

Edition

1995

Material type

Book

Physical description

ill

Additional authors

Formal Language

Subjects

Alban Ponse, Maarten de Rijke, Finite Variable, Algebra