Open Access
VOL. 6 | 1996 Uniform interpolation and layered bisimulation
Chapter Author(s) Albert Visser
Editor(s) Petr Hájek
Lecture Notes Logic, 1996: 139-164 (1996)
First Page PDF

Sorry, your browser doesn't support embedded PDFs, Download First Page

Back to Top