MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named Georg Moser – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 4 documents found, showing 1 through 4.
ATOM RSS
  • Paramodulation Decision Procedures  
  • by Georg Christian Moser — 2003
  • …. Prof. Dr. phil Alexander Leitsch durch Georg Christian Moser Matr.Nr: 90 26 124 Währinger Gürtel 158…
  • Add To MetaCart
  • Term Induction  
  • by Georg Christian Moser — 2001
  • …Dissertation Term Induction by Georg Christian Moser 1 Fakultät für Technische Naturwissenschaften…
  • Cited by 1 (1 self) – Add To MetaCart
  • The Size-Change Termination Principle Seminar Report  
  • by Christian Sternagel, Supervisor Dr. Georg Moser — 2006
  • ….sternagel@(email omitted); 17th February 2006 Supervisor: Dr. Georg Moser Abstract This report is an introduction to the size…
  • Add To MetaCart
Help! Showing 1 through 4.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB