Cover Image
Read Now

1
Published 1994
Springer Berlin Heidelberg
Table of Contents: “... in temporal logic -- An overview of temporal and modal logic programming -- A survey of concurrent MetateM...”