Return to search

Bisimulation quantifiers for modal logics /

Thesis (Ph.D.)--University of Western Australia, 2006.

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/271412649
Date January 2006
CreatorsFrench, Timothy Noel.
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceConnect to this title

Page generated in 0.0018 seconds