About: Nachum Dershowitz

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Nachum Dershowitz Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q901, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FNachum_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. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science.From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contri

Attributes	Values
rdf:type	Thing foaf:Person person dul:NaturalPerson Eukaryote Person Human Animal animal eukaryote scientist species schema:Person Scientist
rdfs:label	Nachum Dershowitz (en)
rdfs:comment	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. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science.From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contri (en)
foaf:name	Nachum Dershowitz (en)
foaf:homepage	http://www.cs.tau.ac.il/~nachumd/Homepage.html
name	Nachum Dershowitz (en)
dcterms:subject	Living people Year of birth missing (living people) Theoretical computer scientists Israeli computer scientists
Wikipage page ID	43915231 (xsd:integer)
Wikipage revision ID	1106690259 (xsd:integer)
Link from a Wikipage to another Wikipage	Path ordering (term rewriting) University of Chicago University of Illinois at Urbana-Champaign Dershowitz–Manna ordering Living people Year of birth missing (living people) Common Lisp Rewriting Calendrical Calculations Stanford University Communications of the ACM Zohar Manna David A. Plaisted Bar-Ilan University Theoretical computer scientists Tsinghua University Weizmann Institute of Science J. Symbolic Comput. DBLP Edward Reingold Jan Willem Klop Tel Aviv University Term rewriting Israeli computer scientists LNCS Herbrand Award INRIA Microsoft Research New Moon Mathematics Genealogy Project Logic for Programming, Artificial Intelligence, and Reasoning Lunisolar calendar Theoret. Comput. Sci. Weizmann Institute Université de Paris Orsay Hebrew University Full professor ENS Cachan
Link from a Wikipage to an external page	https://reingold.co/calendar.l http://www.cs.tau.ac.il/~nachum/papers/LNCS/Termination.pdf http://www.cs.tau.ac.il/~nachum/papers/Modification.pdf http://www.cs.tau.ac.il/~nachum/papers/Orderings4TRS.pdf http://www.cs.tau.ac.il/~nachum/papers/ProofTheoretic.pdf http://www.cs.tau.ac.il/~nachumd/Homepage.html http://www.cs.tau.ac.il/~nachumd/papers/FourSonsOfPenrose.pdf http://www.cs.tau.ac.il/~nachumd/term/ProvingTerminationWithMultisets.pdf http://www.cs.tau.ac.il/~nachumd/term/termination.pdf https://www.youtube.com/watch%3Fv=dXHPE4MEjZ0 http://www.informatik.uni-trier.de/~ley/pers/hd/d/Dershowitz:Nachum http://genealogy.math.ndsu.nodak.edu/id.php%3Fid=19273 http://www.math.tau.ac.il/~nachumd/papers/caap-revised.pdf
sameAs	Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz Nachum Dershowitz
thesis title	The Evolution of Programs (en)
thesis year	1979 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Compu-bio-stub dbt:Authority_control dbt:Cite_book dbt:Cite_journal dbt:ISBN dbt:Reflist dbt:Infobox_scientist dbt:Israel-scientist-stub
awards	Herbrand Award 2011 (en)
fields	Term rewriting
known for	Dershowitz–Manna ordering
website	http://www.cs.tau.ac.il/~nachumd/Homepage.html
has abstract	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. He obtained his B.Sc. summa cum laude in 1974 in Computer Science–Applied Mathematics from Bar-Ilan University, and his Ph.D. in 1979 in Applied Mathematics from the Weizmann Institute of Science.From 1978, he worked at the Department of Computer Science of the University of Illinois at Urbana-Champaign, until he became a full professor of the Tel Aviv University (School of Computer Science) in 1998. He was a guest researcher at Weizmann Institute, INRIA, ENS Cachan, Microsoft Research, and the universities of Stanford, Paris, Jerusalem, Chicago, and Beijing. He received the Herbrand Award for Distinguished Contributions to Automatic Reasoning in 2011. He has co-authored the standard text on calendar algorithms, Calendrical Calculations, with Edward Reingold. An implementation of the algorithm in Common Lisp is put into the public domain, and is also distributed with the book. (en)

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 67 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software