Dynamic logic

ACM SIGACT News 2001 / 03 Vol. 32; Iss. 1

Dynamic logic

Harel, David, Kozen, Dexter, Tiuryn, Jerzy
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
32
Language:
english
Journal:
ACM SIGACT News
DOI:
10.1145/568438.568456
Date:
March, 2001
File:
PDF, 202 KB
english, 2001
Conversion to is in progress
Conversion to is failed