مرکز منطقه ای اطلاع رساني علوم و فناوري - Mechanizing The Temporal Logic Of Actions In HOL

DocumentCode :

2412178

Title :

Mechanizing The Temporal Logic Of Actions In HOL

Author :

von Wright, J.

Author_Institution :

Abo Akademi University

fYear :

1991

fDate :

28-30 Aug. 1991

Firstpage :

155

Lastpage :

159

Keywords :

Computer languages; Computer science; Documentation; Logic programming; Reasoning about programs; Safety;

fLanguage :

English

Publisher :

ieee

Conference_Titel :

HOL Theorem Proving System and Its Applications, 1991., International Workshop on the

Conference_Location :

Davis, CA, USA

Print_ISBN :

0-8186-2460-4

Type :

conf

DOI :

10.1109/HOL.1991.596282

Filename :

596282

Link To Document :