MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for "Termination." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 129,122 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Termination  
  • by Joseph Morris Department, Joseph M. Morris — 1990 — Acta Informatica
  • …Acta Informatica, 27, 287-313 (1990) Temporal Predicate Transformers and Fair Termination Joseph M…
  • Add To MetaCart
  • Termination  
  • by As The Example
  • …6.5 Termination 133 6.5 Termination As the example at the end of the previous section shows…
  • Add To MetaCart
  • Hierarchical Termination  
  • by Nachum Dershowitz — 1995 — Theoretical Computer Science
  • …Hierarchical Termination ? Nachum Dershowitz Department of Computer Science University of Illinois…
  • Cited by 82 (9 self) – Add To MetaCart
  • Termination by abstraction  
  • by Nachum Dershowitz — 2004 — In Proc. 20th ICLP, volume 3132 of LNCS
  • …Termination by Abstraction Nachum Dershowitz ⋆ School of Computer Science, Tel-Aviv University…
  • Cited by 3 (0 self) – Add To MetaCart
  • Arctic termination  
  • by Johannes Waldmann — 2007 — In WST
  • …Arctic Termination Johannes Waldmann 1 Hochschule für Technik, Wirtschaft und Kultur (FH) Leipzig…
  • Cited by 2 (1 self) – Add To MetaCart
  • Program Termination  
  • by And Well Partial, Andreas Blass, Yuri Gurevich — 2006
  • …Program Termination and Well Partial Orderings Andreas Blass ∗ Yuri Gurevich † Abstract…
  • Add To MetaCart
  • Maximal Termination  
  • by Carsten Fuhs, Jürgen Giesl, Aart Middeldorp, Peter Schneider-Kamp, René Thiemann, Harald Zankl — 2008
  • …Aachen Department of Computer Science Technical Report Maximal Termination Carsten Fuhs, Jürgen…
  • Cited by 1 (1 self) – Add To MetaCart
  • Deadlines Are Termination  
  • by Ian J. Hayes, Ian J. Hayes, Mark Utting, Mark Utting — 1998 — IFIP International Conference on Programming Concepts and Methods (PROCOMET ’98
  • … Queensland 4072 Australia TECHNICAL REPORT No. 98-01 Deadlines are termination Ian J. Hayes Mark Utting…
  • Cited by 13 (5 self) – Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB