Your search returned 2 results. Subscribe to this search

|
Modal logic and process algebra : a bisimulation perspective / ed. Alban Ponse, Maarten de Rijke, Yde Venema Monografia Publication Stanford : CSLI Publications, cop. 1995 Description XIX, 327 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).

Logic Colloquium'92 / ed. László Csirmaz, Dov M. Gabbay, Maarten de Rijke Monografia Publication Stanford : Center for the Study of Language and Information, cop. 1995 Description XIII, 319 p. ; 24 cm LocationBiblioteca Geral da Universidade do Minho Availability Available (1).