MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "A Relational Model for Temporal Logic." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 3 documents found, showing 1 through 3.
ATOM RSS
  • Subscription Information  
  • by Volume Bimonthly Full, Dov M. Gabbay, Hans Jurgen Ohlbach, Jon Barwise, Wilfrid Hodges, Hans Kamp, Robert Kowalski, Ewa Orlowska, Amir Pnueli, Vaughan Pratt, Saharon Shelah, Johan Van Benthem
  • …, Number 2, March 1998 Contents Editorial A Relational Model for Temporal Logic B. von Karger and R…
  • Add To MetaCart
  • Computer-Aided Program Development  
  • by Prof Dr, Rudolf Berghammer, Ulrike Pollakowski, Dipl. -inf Ralf Behnke, M. Sc. Juan Duran (daad, Since April, Dipl. -inf Thorsten, Hoffmann October, Dipl. -math Erich Meyer
  • … fur Sprachen und Rechner", Bad Honnef, April 1997 -- Rudolf Berghammer, A relational model…
  • Add To MetaCart
Help! Showing 1 through 3.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB