Searching for authors named "Noam Zeilberger" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

5 documents found, showing 1 through 5.

On the unity of duality
by Noam Zeilberger — 2007
…Abstract On the unity of duality Noam Zeilberger Carnegie Mellon University Most type systems…
Cited by 4 (0 self) – Add To MetaCart

Thesis Proposal: The logical basis of evaluation order
by Noam Zeilberger, Peter Lee, Robert Harper, Paul-andré Melliès, Université Paris — 2007
…Thesis Proposal: The logical basis of evaluation order Noam Zeilberger Carnegie Mellon University…
Add To MetaCart

Focusing on Binding and Computation
by Daniel R. Licata, Noam Zeilberger, Robert Harper — 2008
…Focusing on Binding and Computation Daniel R. Licata Noam Zeilberger Robert Harper February, 2008…
Cited by 3 (2 self) – Add To MetaCart

Team Red: The Sandstorm Theorem Prover
by Deepak Garg, Tom Murphy, Vii Greg Price, Jason Reed, Noam Zeilberger — 2005
…Team Red: The Sandstorm Theorem Prover Deepak Garg Tom Murphy VII Greg Price Jason Reed Noam…
Cited by 1 (0 self) – Add To MetaCart

Selected Project Reports, Spring 2005
by Advanced Os Distributed, Garth A. Gibson, Hyang-ah Kim, Jangwoo Kim, Eriko Nurvitadhi, Eric Chung, Alex Nizhner, Andrew Biggadike, Jad Chamcham, Srinath Sridhar, Jeffrey Stylos, Noam Zeilberger, Gregg Economou, Raja R. Sambasivan, Terrence Wong, Elaine Shi, Yong Lu, Matt Reid, Amber Palekar, Rahul Iyer — 2005
… Biggadike † , Jad Chamcham † ; Srinath Sridhar ∗ , Jeffrey Stylos ∗ , Noam Zeilberger ∗ ; Gregg Economou…
Add To MetaCart

Showing 1 through 5.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB