Nachum Dershowitz

Nachum Dershowitz () is an Israeli computer scientist, known e.g. for the Dershowitz–Manna ordering and the multiset path ordering used to prove termination of term rewrite systems. Provided by Wikipedia
1
Cover Image
Published 2010
Other Authors: '; “...Dershowitz, Nachum....”
Get full text
Electronic
2
Cover Image
Published 2009
Other Authors: '; “...Dershowitz, Nachum....”
Get full text
Electronic
Search Tools: Get RSS Feed — Email this Search

Related Subjects

Algorithm Analysis and Problem Complexity Computer Science Computer science Computer software Bioinformatics Computation by Abstract Devices Computational Biology/Bioinformatics Computer Communication Networks Computing Methodologies Electronic data processing Logic design Logics and Meanings of Programs Mathematical Logic and Formal Languages Mathematics of Computing Models and Principles Programming Languages, Compilers, Interpreters Software Engineering Software engineering