Digital Library
Close Browse articles from a journal
 
<< previous    next >>
     Journal description
       All volumes of the corresponding journal
         All issues of the corresponding volume
           All articles of the corresponding issues
                                       Details for article 2 of 8 found articles
 
 
  An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic
 
 
Title: An Until Hierarchy and Other Applications of an Ehrenfeucht–Fraı̈ssé Game for Temporal Logic
Author: Etessami, Kousha
Wilke, Thomas
Appeared in: Information and computation
Paging: Volume 160 (2000) nr. 1-2 pages 21 p.
Year: 2000
Contents:
Publisher: Academic Press
Source file: Elektronische Wetenschappelijke Tijdschriften
 
 

                             Details for article 2 of 8 found articles
 
<< previous    next >>
 
 Koninklijke Bibliotheek - National Library of the Netherlands