MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Relational Methods in Computer Science." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 17 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • 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
  • … international Seminar "Relational Methods in Computer Science", Hammamet (Tunisia), January 1997, and a member…
  • Add To MetaCart
  • CSO Approval: Last MC meeting: 17/06/2005  
  • by unknown authors — 2004
  • … — Relational Methods in Computer Science conference held May 2003 in Malente (Germany) in combination with a…
  • Add To MetaCart
  • 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
  • …MiCS (Relational Methods in Computer Science) group originated in 1993 when the first meeting (organized by Chris…
  • Add To MetaCart
  • RALL: Machine-supported Proofs  
  • by For Relation Algebra, David Von Oheimb, Thomas F. Gritzner — 1997 — Proceedings of CADE-14, Lecture Notes in Computer Science 1249
  • … Relational methods have become important to computer scientists since the early Seventies. Application elds…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB