Readings in nonmonotonic reasoning
Readings in nonmonotonic reasoning
IWSSD '89 Proceedings of the 5th international workshop on Software specification and design
Program developments: formal explanations of implementations
Communications of the ACM
The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems
Temporal Logic in Specification
Hi-index | 0.00 |