MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Jan Willem Klop" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 26 documents found, showing 1 through 10. Next 10 →
ATOM RSS
  • Infinitary Normalization  
  • by Jan Willem Klop, Roel De Vrijer — 2005 — We Will Show Them: Essays in Honour of Dov Gabbay
  • …Infinitary Normalization Jan Willem Klop and Roel de Vrijer Dedicated to Dov Gabbay…
  • Cited by 3 (1 self) – Add To MetaCart
  • Open Problems in Rewriting  
  • by Nachum Dershowitz, Jean-pierre Jouannaud, Jan Willem Klop — 1991 — Proceeding of the Fifth International Conference on Rewriting Techniques and Application (Montreal, Canada), LNCS 690
  • …@(email omitted); Jan Willem Klop y CWI, Kruislaan 413, 1098 SJ Amsterdam, The Netherlands Department of Mathematics…
  • Cited by 18 (2 self) – Add To MetaCart
  • Problems in Rewriting III  
  • by Nachum Dershowitz, Jean-pierre Jouannaud, Jan Willem Klop — 1995 — In Proc. 6th RTA, volume 914 of LNCS
  • …Problems in Rewriting III ? Nachum Dershowitz 1 , Jean-Pierre Jouannaud 2 , and Jan Willem Klop 3…
  • Cited by 6 (1 self) – Add To MetaCart
  • More Problems in Rewriting  
  • by Nachum Dershowitz, Jean-pierre Jouannaud, Jan Willem Klop — 1993 — Proceeding of the Fifth International Conference on Rewriting Techniques and Application (Montreal, Canada), LNCS 690
  • …More Problems in Rewriting ? Nachum Dershowitz 1 , Jean-Pierre Jouannaud 2 , and Jan Willem Klop 3…
  • Cited by 15 (1 self) – Add To MetaCart
  • Lambda Calculus with Explicit Recursion  
  • by Z. M. Ariola, J. W. Klop, Issn -x, Zena M. Ariola, Jan-Willem Klop — 1996 — Information and Computation
  • … Science Department University of Oregon. Eugene, OR 97401, USA email: ariola@(email omitted); Jan Willem…
  • Cited by 28 (3 self) – Add To MetaCart
  • Cyclic Lambda Graph Rewriting  
  • by Zena M. Ariola, Jan Willem Klop — 1994 — In Proceedings, Ninth Annual IEEE Symposium on Logic in Computer Science
  • …Cyclic Lambda Graph Rewriting Zena M. Ariola Jan Willem Klop Computer & Information Science Dept…
  • Cited by 28 (2 self) – Add To MetaCart
  • . DRAFT Iterative path orders  
  • by Jan Willem Klop, Vincent Van Oostrom, Roel De Vrijer — 2004
  • …. DRAFT Iterative path orders Jan Willem Klop Vincent van Oostrom Roel de Vrijer February 23, 2004…
  • Add To MetaCart
  • Descendants and Origins in Term Rewriting  
  • by Inge Bethke Jan, Jan Willem Klop, Roel De Vrijer
  • …Descendants and Origins in Term Rewriting Inge Bethke Jan Willem Klop z y Roel de Vrijer z…
  • Add To MetaCart
Help! Showing 1 through 10. Next 10 →
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB