Completeness of an action logic for timed transition Systems

Bulletin of the Section of Logic, Tom 29, Numer 4 (2000) s. 151-159
Fernando Naufel do Amaral, Edward Hermann Haeusler

 

do góry