No full text
Contribution to collective works (Parts of books)
On the Relation of Programs and Computations to Models of Temporal Logic [chap. 3]
Wolper, Pierre
1995In Bolc, Leonard; Sza\las, Andrzej (Eds.) Time and Logic, a computational approach
 

Files


Full Text
No document available.

Send to



Details



Disciplines :
Computer science
Author, co-author :
Wolper, Pierre  ;  Université de Liège - ULiège > Dép. d'électric., électron. et informat. (Inst.Montefiore) > Informatique (parallélisme et banques de données)
Language :
English
Title :
On the Relation of Programs and Computations to Models of Temporal Logic [chap. 3]
Publication date :
1995
Main work title :
Time and Logic, a computational approach
Editor :
Bolc, Leonard
Sza\las, Andrzej
Publisher :
UCL Press Limited
ISBN/EAN :
1-85728-233-7
Pages :
131-178
Available on ORBi :
since 04 March 2014

Statistics


Number of views
52 (1 by ULiège)
Number of downloads
0 (0 by ULiège)

Bibliography


Similar publications



Contact ORBi