Dynamic algebras which are not Kripke structures

Author(s):  
Jan Reiterman ◽  
Věra Trnková
Keyword(s):  

Author(s):  
M. C. Browne ◽  
E. M. Clarke ◽  
O. Grümberg


Author(s):  
François Laroussinie ◽  
Nicolas Markey ◽  
Philippe Schnoebelen


2004 ◽  
Vol 14 (4) ◽  
pp. 477-500 ◽  
Author(s):  
Jean-Marc Tallon ◽  
Jean-Christophe Vergnaud ◽  
Shmuel Zamir
Keyword(s):  


Author(s):  
Satish Tadepalli ◽  
Naren Ramakrishnan ◽  
Bud Mishra ◽  
Layne T. Watson ◽  
Richard F. Helm




Sign in / Sign up

Export Citation Format

Share Document