Modal mu-calculi (2007)

by Julian Bradfield , Colin Stirling
Venue:HANDBOOK OF MODAL LOGIC
Citations:30 - 2 self