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 |