Skip to main content
AkademIndex

Products

For developers

AkademBaseOpen API for the ecosystem
Book

First-Order Dynamic Logic

David Harel
1979en
ABI

Abstract

No abstract available.

Identifiers

DOI
10.1007/3-540-09237-4

Citations and references

Cited by 30 references
Metrics — AkademScholar