DMCA

Dynamic Logic (1984)

by David Harel , Dexter Kozen , Jerzy Tiuryn
Venue:Handbook of Philosophical Logic
Citations:996 - 7 self