Search Results - "Temporal Logic Programming Language"

Generation and execution of constraints in an executable subset of an interval temporal logic. (Volumes I and II) by Esterline, Albert Crawford

“…We present an application of the temporal logic programming language Tokio (developed at the University of Tokyo…”
Get full text