Completeness and expressive power in propositional dynamic logic
| Download file | Size |
|---|---|
| b17574523.pdf | 855.84 KB |
Name
Completeness and expressive power in propositional dynamic logic
Document
MIME type
application/pdf
File size
876385
Media Use
Document