Some relationships between logics of programs and complexity theory
1988 ◽
Vol 60
(1)
◽
pp. 83-108
◽
Keyword(s):
Keyword(s):