Search results

From Termination-Portal.org
Jump to navigationJump to search

Page title matches

  • People:Nachum Dershowitz
    |firstname=Nachum |homepage=www.cs.tau.ac.il/~nachum
    620 bytes (97 words) - 20:28, 14 June 2009

Page text matches

  • People:Nachum Dershowitz
    |firstname=Nachum |homepage=www.cs.tau.ac.il/~nachum
    620 bytes (97 words) - 20:28, 14 June 2009
  • TPDB
    * TRS/D33 Nachum Dershowitz: 33 Examples of Termination, 1995 Proc. French Spring School of
    4 KB (504 words) - 02:08, 18 June 2020
Retrieved from "http://termination-portal.org/wiki/Special:Search"