Nachum Dershowitz
Affiliations: | University of Illinois, Urbana-Champaign, Urbana-Champaign, IL |
Area:
Computer ScienceGoogle:
"Nachum Dershowitz"
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Dershowitz N, Jouannaud J. (2019) Drags: A Compositional Algebraic Framework for Graph Rewriting Theoretical Computer Science. 777: 204-231 |
| Shalom IB, Levy N, Wolf L, et al. (2016) active congruency-Based reranking Frontiers in Digital Humanities. 3: 7 |
| Dershowitz N, Falkovich-Derzhavetz E. (2016) On the parallel computation thesis Logic Journal of the Igpl. 24: 346-374 |
| Dershowitz N, Rinderknecht C. (2015) The Average Height of Catalan Trees by Counting Lattice Paths Mathematics Magazine. 88: 187-195 |
| Dershowitz N, Dowek G. (2012) Universality in two dimensions Journal of Logic and Computation. 26: 143-167 |
| Dershowitz N. (2012) Jumping and escaping: Modular termination and the abstract path ordering Theoretical Computer Science. 464: 35-47 |
| Blass A, Dershowitz N, Gurevich Y. (2009) When are two algorithms the same? Bulletin of Symbolic Logic. 15: 145-168 |
| Boker U, Dershowitz N. (2009) The influence of domain interpretations on computational models Applied Mathematics and Computation. 215: 1323-1339 |
| Dershowitz N, Gurevich Y. (2008) A natural axiomatization of computability and proof of church's thesis Bulletin of Symbolic Logic. 14: 299-350 |
| Dershowitz N, Tzameret I. (2007) Complexity of propositional proofs under a promise Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 4596: 291-302 |