Temporal operators viewed as predicate transformers.

Files

bijlsma_93_temporal.pdf (145.21 KB)

Publication date

1993

Authors

Bijlsma, A.

Document Type

Preprint

Metadata

Show full item record

Collections

Utrecht University Repository

URI

https://dspace.library.uu.nl/handle/1874/19424