Paper

Data

Name Orgun MA, Ma W (1994)

Description

Title An overview of temporal and modal logic programming

References

Authors Ma W Show Other Orgun MA Show Other

Volume 94

First page 445

Last page 479

Publisher Springer

Pubmed ID

Year published 1994

Month published

Day published

Journal or book name Proceedings of International Conference on Temporal Logic, ICTL94

Book Editor(s)

Missing References

Type

Digital Object Identifier

URL

Stated Usage

Species