A Note On The Completeness Of Kozen's Axiomatisation Of The Propositional µ-Calculus (1996)

Cached

Download Links

by Igor Walukiewicz
Venue:Inform. and Comput
Citations:9 - 1 self