WorldCat Identities

Dershowitz, Nachum

Overview
Works: 127 works in 489 publications in 3 languages and 6,673 library holdings
Genres: Conference papers and proceedings  Conversion tables  Tables (Data)  Academic theses 
Roles: Editor, Author, htt, Contributor, Other, Publishing director
Publication Timeline
.
Most widely held works by Nachum Dershowitz
Calendrical calculations by Nachum Dershowitz( Book )

59 editions published between 1989 and 2018 in English and Undetermined and held by 1,038 WorldCat member libraries worldwide

Calendrical Calculations makes accurate calendrical algorithms readily available for computer use with LISP and Java code for all the algorithms included on CD, and updates available on the Web. It gives a description of fourteen calendars and how they relate to one another: the present civil calendar (Gregorian), the recent ISO commercial calendar, the old civil calendar (Julian), the Coptic and Ethiopic calendars, the Islamic (Moslem) calendar; the Baha'i, the Hebrew (Jewish) calendar, the Mayan calendars, the French Revolutionary calendar, the Chinese calendar, and both the old (mean) and new (true) Hindu (Indian) calendars
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings by Nachum Dershowitz( )

18 editions published in 2007 in English and held by 571 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR 2007, held in Yerevan, Armenia, October 15-19, 2007. The 36 revised full papers presented together with 15 short papers and 3 invited talks were carefully reviewed and selected from 78 submissions. The papers address all current issues in logic programming, logic-based program manipulation, formal method, automated reasoning, and various kinds of AI logics
Pillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday by Arnon Avron( )

15 editions published between 2007 and 2008 in English and held by 525 WorldCat member libraries worldwide

This festschrift volume is dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday. For over half a century, Trakhtenbrot has been making seminal contributions to virtually all of the central areas of theoretical computer science. He is universally admired as a founding father and long-standing pillar of the discipline of computer science. On Friday, 28 April 2006, the School of Computer Science at Tel Aviv University held a "Computation Day Celebrating Boaz (Boris) Trakhtenbrot's Eighty-Fifth Birthday". As a follow-up to that event, his students and colleagues were asked to contribute to a volume in his honor and in recognition of his grand contributions to the field. The book opens with two historical overviews and a bibliography. These are followed by 33 thoroughly reviewed technical contributions. The broad range of topics covered include mathematical logic, logics for computer science, mathematics for computer science, automata and formal languages, asynchronous computation, semantics of programming languages, verification, and software engineering. This tapestry of subjects stands as testimony to the vast scope of Trakhtenbrot's achievements and the profound influence he has had on the field
Conditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedings by Nachum Dershowitz( Book )

25 editions published in 1995 in 3 languages and held by 496 WorldCat member libraries worldwide

This book presents throroughly revised full versions of the 21 papers accepted for the Fourth International Workshop on Conditional and Typed Rewriting Systems, CTRS-94, held in conjunction with ICALP '94 in Jerusalem, Israel, in July 1994. The volume reports the research advances in the area of rewriting in general achieved since the predecessor workshop held in July 1992. Among the topics addressed are conditional term rewriting, typed systems, higher-order rewriting, graph rewriting, combinator-based languages, and constrained rewriting
Rewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedings by Nachum Dershowitz( )

21 editions published between 1989 and 1998 in English and held by 470 WorldCat member libraries worldwide

"Rewriting has always played an important role in symbolic manipulation and automated deduction systems. The theory of rewriting is an outgrowth of Combinatory Logic and the Lambda Calculus. Applications cover broad areas in automated reasoning, programming language design, semantics, and implementations, and symbolic and algebraic manipulation. The proceedings of the third International Conference on Rewriting Techniques and Applications contain 34 regular papers, covering many diverse aspects of rewriting (including equational logic, decidability questions, term rewriting, congruence-class rewriting, string rewriting, conditional rewriting, graph rewriting, functional and logic programming languages, lazy and parallel implementations, termination issues, compilation techniques, completion procedures, unification and matching algorithms, deductive and inductive theorem proving, Gröbner bases, and program synthesis). It also contains 12 descriptions of implemented equational reasoning systems. Anyone interested in the latest advances in this fast growing area should read this volume."--Publisher's web site
Verification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthday by Nachum Dershowitz( )

33 editions published between 2003 and 2004 in English and German and held by 463 WorldCat member libraries worldwide

This festschrift volume constitutes a unique tribute to Zohar Manna on the occasion of his 64th birthday. Like the scientific work of Zohar Manna, the 32 research articles span the entire scope of the logical half of computer science. Also included is a paean to Zohar Manna by the volume editor. The articles presented are devoted to the theory of computing, program semantics, logics of programs, temporal logic, automated deduction, decision procedures, model checking, concurrent systems, reactive systems, hardware and software verification, testing, software engineering, requirements specification, and program synthesis
Fields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthday by Wolfram Schulte( )

10 editions published in 2015 in English and held by 340 WorldCat member libraries worldwide

Fields of Logic and Computation II This Festschrift has been published in honor of Yuri Gurevich, on the occasion of his 75th birthday. Yuri Gurevich has made a number of fundamental contributions to the broad spectrum of logic and computer science, including decision procedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. Many of these areas are reflected in the 20 articles in this Festschrift and in the presentations at the "Yurifest" symposium, which was held in Berlin, Germany, on September 11 and 12, 2015. The Yurifest symposium was co-located with the 24th EACSL Annual Conference on Computer Science Logic (CSL 2015)
Language, culture, computation : computing - theory and technology : essays dedicated to Yaacov Choueka on the occasion of his 75th birthday by Nachum Dershowitz( )

16 editions published in 2014 in English and Undetermined and held by 336 WorldCat member libraries worldwide

This Jubilee set of three volumes constitutes a condign tribute to Yaacov Choueka, a computer scientist, mathematician, computational linguist, and lexicographer: he is one of the founders of the fields of full-text information retrieval, computational linguistics, humanities computing, and legal databases. The three volumes (LNCS 8001-8003) comprise 61 chapters, and are each devoted to a broad theme. The focus of the first is computing, its theory, techniques, and applications to science or engineering; of the second - how computing serves the humanities, law, or narratives; of the third: linguistics, computational linguistics, and ontologies. The present second volume, Computing for the Humanities, Law, and Narratives, contains 19 chapters, clustered around the themes: Humanities Computing, Narratives and their Formal Representation, History of Ideas: The Numerate Disciplines, and Law, Computer Law, and Legal Computing
Language, culture, computation : computing - theory and technology : essays dedicated to Yaacov Choueka on the occasion of his 75th birthday by Nachum Dershowitz( )

20 editions published in 2014 in English and Undetermined and held by 333 WorldCat member libraries worldwide

This Festschrift volume is published in Honor of Yaacov Choueka on the occasion of this 75th birthday. The present three-volumes liber amicorum, several years in gestation, honours this outstanding Israeli computer scientist and is dedicated to him and to his scientific endeavours. Yaacov's research has had a major impact not only within the walls of academia, but also in the daily life of lay users of such technology that originated from his research. An especially amazing aspect of the temporal span of his scholarly work is that half a century after his influential research from the early 1960s, a project in which he is currently involved is proving to be a sensation, as will become apparent from what follows. Yaacov Choueka began his research career in the theory of computer science, dealing with basic questions regarding the relation between mathematical logic and automata theory. From formal languages, Yaacov moved to natural languages. He was a founder of natural-language processing in Israel, developing numerous tools for Hebrew. He is best known for his primary role, together with Aviezri Fraenkel, in the development of the Responsa Project, one of the earliest fulltext retrieval systems in the world. More recently, he has headed the Friedberg Genizah Project, which is bringing the treasures of the Cairo Genizah into the Digital Age. This third part of the three-volume set covers a range of topics related to language, ranging from linguistics to applications of computation to language, using linguistic tools. The papers are grouped in topical sections on: natural language processing; representing the lexicon; and neologisation
Language, Culture, Computation. Computing - Theory and Technology Essays Dedicated to Yaacov Choueka on the Occasion of His 75th Birthday, Part I by Nachum Dershowitz( )

24 editions published in 2014 in English and Undetermined and held by 332 WorldCat member libraries worldwide

This Jubilee set of three volumes constitutes a condign tribute to Yaacov Choueka, a computer scientist, mathematician, computational linguist, and lexicographer: he is one of the founders of the fields of full-text information retrieval, computational linguistics, humanities computing, and legal databases. The three volumes (LNCS 8001-8003) comprise 61 chapters, and are each devoted to a broad theme. The focus of the first is computing, its theory, techniques, and applications to science or engineering; of the second - how computing serves the humanities, law, or narratives; of the third: linguistics, computational linguistics, and ontologies. The present first volume, Computing - Theory and Technology, contains 22 chapters, clustered around the themes: The Jubilarian: Yaacov and his Oeuvre, Theory of Computation, Science Computing and Tools for Engineering, and Information Retrieval
The evolution of programs by Nachum Dershowitz( Book )

13 editions published between 1980 and 1983 in English and German and held by 327 WorldCat member libraries worldwide

-Ecclesiastes 12:12 Programs are invariably subjected to many rorms or transrormation. After an initial version of a program has been designed and developed, it undergoes debugging and certification. In addition, most long-lived pro­ grams have a liCe-cycle that includes modifications to meet amended specifications and extensions for expanded capabilities. Such evolution­ ary aspects of programming are the topic of this monograph. We present rormal methods for manipulating programs and illustrate their applica­ tion with numerous examples. Such methods could be incorporated in semi-automated programming environments, where they would serve to ease the burden on the programmer. We begin by describing a method whereby a given program that achieves one goal can be modified to achieve a different goal or a pro­ gram that computes wrong results can be debugged to achieve the 2 Preface intended results. The abstraction of a set of cognate programs to obtain a program schema, and the instantiation of abstract schemata to solve concrete problems, are approached from the same perspective. In addition, we describe synthesis rules for generating code from specifications and annotation rules for making assertions about code. The synthesis rules may be used when a program is first being developed, or when, in the course of modifying a program, the need arises to rewrite a program segment. Annotation rules may be used for the purpose of determining what an incorrect program really does before attempting to debug it or how a correct program works before attempting to modify it
Calendrical tabulations, 1900-2200 by Edward M Reingold( Book )

10 editions published in 2002 in English and held by 258 WorldCat member libraries worldwide

"The momentous task of assembling such a comprehensive and accurate collection of calendars could only have been achieved by the authors of the definitive work on calendar algorithms, Calendrical Calculations. Using the algorithms from that book, Professors Reingold and Dershowitz have achieved the near-impossible task of simultaneously displaying the date on fifteen different calendars over a three-hundred-year period. Represented here are the Gregorian, ISO, Hebrew, Chinese, Coptic, Ethiopic, Persian, Hindu lunar, Hindu solar, and Islamic calendars; another five are easily obtained from the tables with minimal arithmetic (JD, R.D., Julian, arithmetical Persian, and arithmetical Islamic). The tables also include phases of the moon, dates of solstices and equinoxes, and religious and other special holidays for all the calendars shown." "This set of beautifully produced tables will be of use for centuries by anyone with an interest in calendars and the societies that produce them. It should also prove an invaluable reference tool for astronomers and genealogists."--BOOK JACKET
Fields of Logic and Computation III Essays Dedicated to Yuri Gurevich on the Occasion of His 80th Birthday( )

5 editions published in 2020 in English and held by 222 WorldCat member libraries worldwide

This Festschrift is published in honor of Yuri Gurevichs 80th birthday. An associated conference, YuriFest 2020, was planned for May 18-20 in Fontainebleau, France, in combination with the 39th Journées sur les Arithmétiques Faibles also celebrating Yuris 80th birthday. Because of the coronavirus situation, the conference had to be postponed, but this Festschrift is being published as originally planned. It addresses a very wide variety of topics, but by no means all of the fields of logic and computation in which Yuri has made important progress
Calendrical calculations : the ultimate edition by Edward M Reingold( )

12 editions published between 2017 and 2018 in English and held by 148 WorldCat member libraries worldwide

"An invaluable resource for working programmers, as well as a fount of useful algorithmic tools for computer scientists, astronomers, and other calendar enthusiasts, The Ultimate Edition updates and expands the previous edition to achieve more accurate results and present new calendar variants. The book now includes coverage of Unix dates, Italian time, the Akan, Icelandic, Saudi Arabian Umm al-Qura, and Babylonian calendars. There are also expanded treatments of the observational Islamic and Hebrew calendars and brief discussions of the Samaritan and Nepalese calendars. Several of the astronomical functions have been rewritten to produce more accurate results and to include calculations of moonrise and moonset. The authors frame the calendars of the world in a completely algorithmic form, allowing easy conversion among these calendars and the determination of secular and religious holidays. LISP code for all the algorithms is available in machine-readable form."--
Fields of logic and computation : essays dedicated to Yuri Gurevich on the occasion of his 70th birthday by Andreas Blass( Book )

14 editions published in 2010 in English and held by 79 WorldCat member libraries worldwide

Yuri Gurevich has played a major role in the discovery and development of - plications of mathematical logic to theoretical and practical computer science. His interests have spanned a broad spectrum of subjects, including decision p- cedures, the monadic theory of order, abstract state machines, formal methods, foundations of computer science, security, and much more. In May 2010, Yuri celebrated his 70th birthday. To mark that occasion, on August 22, 2010,a symposium was held in Brno, the Czech Republic, as a sat- lite event of the 35th International Symposium on Mathematical Foundations of Computer Science (MFCS 2010) and of the 19th EACSL Annual Conference on Computer Science Logic (CSL 2010). The meeting received generous support from Microsoft Research. In preparation for this 70th birthday event, we asked Yuri's colleagues (whether or not they were able to attend the symposium) to contribute to a volume in his honor. This book is the result of that e?ort. The collection of articles herein begins with an academic biography, an annotated list of Yuri's publications and reports, and a personaltribute by Jan Van den Bussche. These are followed by 28 technical contributions. These articles - though they cover a broad range of topics - represent only a fraction of Yuri's multiple areas of interest. Each contribution was reviewed by one or two readers. In this regard, the editors wish to thank several anonymous individuals for their assistance
Unconventional Computation : 8th International Conference, UC 2009, Ponta Delgada, Portugal, September 7-11, 2009 : proceedings by Cristian Calude( Book )

11 editions published in 2009 in English and Undetermined and held by 58 WorldCat member libraries worldwide

This book constitutes the refereed proceedings of the 8th International Conference on Unconventional Computation, UC 2009, held in Ponta Delgada, Portugal, in September 2009. The 18 revised full papers presented together with 8 invited talks, 3 tutorials and 5 posters were carefully reviewed and selected from 40 submissions. The papers are devoted to all aspects of unconventional computation ranging from theoretical and experimental aspects to various applications. Typical topics are: natural computing including quantum; cellular, molecular, neural and evolutionary computing; chaos and dynamical system-based computing; and various proposals for computational mechanisms that go beyond the Turing model
The Schorr-Waite marking algorithm revisited by Nachum Dershowitz( )

5 editions published in 1979 in English and held by 44 WorldCat member libraries worldwide

The evolution of programs : program abstraction and instantiation by Nachum Dershowitz( )

5 editions published in 1981 in English and held by 41 WorldCat member libraries worldwide

Enumerations of ordered trees by Nachum Dershowitz( )

3 editions published in 1979 in English and held by 40 WorldCat member libraries worldwide

Orderings for term-rewriting systems by Nachum Dershowitz( )

5 editions published in 1979 in English and held by 37 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  General Special  
Audience level: 0.59 (from 0.52 for Calendrica ... to 0.74 for Orderings ...)

WorldCat IdentitiesRelated Identities
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedings
Covers
Logic for programming, artificial intelligence, and reasoning : 14th international conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007 : proceedingsPillars of computer science : essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthdayConditional and typed rewriting systems : 4th international workshop, CTRS-94, Jerusalem, Israel, July 1994 : proceedingsRewriting techniques and applications : 3rd International Conference, RTA-89, Chapel Hill, North Carolina, USA, April 3-5, 1989 : proceedingsVerification : theory and practice : essays dedicated to Zohar Manna on the occasion of his 64th birthdayFields of logic and computation II : essays dedicated to Yuri Gurevich on the occasion of his 75th birthdayLanguage, culture, computation : computing - theory and technology : essays dedicated to Yaacov Choueka on the occasion of his 75th birthdayLanguage, culture, computation : computing - theory and technology : essays dedicated to Yaacov Choueka on the occasion of his 75th birthday
Alternative Names
Dershowitz, N.

Dershowitz, N. (Nachum)

Deršwbiyṣ, Naḥwm

Nachum Dershowitz

Nachum Dershowitz informáticu teóricu israelín

Nachum Dershowitz Israeli computer scientist

Nachum Dershowitz ríomheolaí Iosraelach

דרשוביץ נחום

Languages
English (312)

German (4)

Italian (1)