"A Non-Reified Temporal Logic."

Fahiem Bacchus, Josh Tenenberg, Johannes A. G. M. Koomen (1991)

Details and statistics

DOI: 10.1016/0004-3702(91)90025-F

access: closed

type: Journal Article

metadata version: 2022-05-19

a service of  Schloss Dagstuhl - Leibniz Center for Informatics