Notice: Unexpected clearActionName after getActionName already called in /var/www/html/w/includes/context/RequestContext.php on line 333
Nachum Dershowitz - MaRDI portal

Nachum Dershowitz

From MaRDI portal
(Redirected from Person:1106658)
Person:199247

Available identifiers

zbMath Open dershowitz.nachumDBLPd/NachumDershowitzWikidataQ18209412 ScholiaQ18209412MaRDI QIDQ199247

List of research outcomes





PublicationDate of PublicationType
The communication complexity of multiparty set disjointness under product distributions2023-11-14Paper
Semigroups satisfying x m+n = x n2023-03-09Paper
A maximal-literal unit strategy for horn clauses2023-03-09Paper
What is the Church-Turing Thesis?2022-12-13Paper
Open problems in rewriting2022-12-09Paper
Topics in termination2022-12-09Paper
More problems in rewriting2022-12-09Paper
Problems in rewriting III2022-12-09Paper
Trees, ordinals and termination2022-11-02Paper
An abstract concurrent machine for rewriting2022-08-16Paper
https://portal.mardi4nfdi.de/entity/Q50138882021-12-03Paper
https://portal.mardi4nfdi.de/entity/Q49866642021-04-27Paper
https://portal.mardi4nfdi.de/entity/Q49866632021-04-27Paper
Between Broadway and the Hudson: A Bijection of Corridor Paths2021-03-26Paper
Honest Computability and Complexity2020-08-06Paper
Nonleaf Patterns in Trees: Protected Nodes and Fine Numbers2020-07-29Paper
Zohar Manna (1939--2018)2019-12-18Paper
Graph Path Orderings2019-07-04Paper
https://portal.mardi4nfdi.de/entity/Q49672152019-07-03Paper
Drags: a compositional algebraic framework for graph rewriting2019-06-18Paper
On the parallel computation thesis2019-01-08Paper
Well-founded unions2018-10-18Paper
Cayley′s Formula: A Page From The Book2018-07-12Paper
Calendrical Calculations2018-01-23Paper
Innocuous constructor-sharing combinations2017-11-17Paper
Abstract canonical inference2017-07-12Paper
Res Publica: The Universal Model of Computation (Invited Talk)2017-02-02Paper
https://portal.mardi4nfdi.de/entity/Q29531332017-01-03Paper
Axiomatizing Analog Algorithms2016-08-17Paper
Universality in two dimensions2016-04-28Paper
The Average Height of Catalan Trees by Counting Lattice Paths2015-11-23Paper
Hints Revealed2015-11-20Paper
Complexity of propositional proofs under a promise2015-09-17Paper
Honest universality2015-08-21Paper
Generic Parallel Algorithms2015-02-25Paper
Yaacov Choueka: A Profile2015-02-10Paper
Confluence by Critical Pair Analysis2014-07-24Paper
https://portal.mardi4nfdi.de/entity/Q28517022013-10-02Paper
Gap Embedding for Well-Quasi-Orderings2013-06-06Paper
Canonical Ground Horn Theories2013-04-19Paper
Canonicity1 1This research was supported in part by the Israel Science Foundation (grant no. 254/01).2013-04-19Paper
Effectiveness2013-02-26Paper
Jumping and escaping: modular termination and the abstract path ordering2013-01-07Paper
Towards an Axiomatization of Simple Analog Algorithms2012-07-16Paper
Indian Calendrical Calculations2011-07-27Paper
A critical pair criterion for completion modulo a congruence2011-04-16Paper
Yuri, Logic, and Computer Science2010-09-03Paper
Three Paths to Effectiveness2010-09-03Paper
Exact Exploration and Hanging Algorithms2010-09-03Paper
Verification: Theory and Practice2010-03-23Paper
Verification: Theory and Practice2010-03-23Paper
More Patterns in Trees: Up and Down, Young and Old, Odd and Even2010-03-17Paper
The influence of domain interpretations on computational models2009-11-13Paper
When are Two Algorithms the Same?2009-06-17Paper
On Lazy Commutation2009-06-03Paper
A Natural Axiomatization of Computability and Proof of Church's Thesis2009-03-25Paper
The Hydra Battle Revisited2009-03-06Paper
Canonicity!2008-11-27Paper
Canonical Inference for Implicational Systems2008-11-27Paper
SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets2008-06-19Paper
The Four Sons of Penrose2008-05-27Paper
Boolean Rings for Intersection-Based Satisfiability2008-05-27Paper
https://portal.mardi4nfdi.de/entity/Q53861232008-04-18Paper
Boris A. Trakhtenbrot: Academic Genealogy and Publications2008-03-25Paper
The Church-Turing Thesis over Arbitrary Domains2008-03-25Paper
Complexity of propositional proofs under a promise2007-11-28Paper
A Scalable Algorithm for Minimal Unsatisfiable Core Extraction2007-09-04Paper
Leanest quasi-orderings2007-04-16Paper
Comparing Computational Power2007-02-15Paper
Processes, Terms and Cycles: Steps on the Road to Infinity2006-11-13Paper
Abstract canonical presentations2006-08-16Paper
A hypercomputational alien2006-08-04Paper
New Computational Paradigms2006-01-11Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Theory and Applications of Satisfiability Testing2005-12-15Paper
Term Rewriting and Applications2005-11-11Paper
Term Rewriting and Applications2005-11-11Paper
Logic Programming2005-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44705282004-07-01Paper
https://portal.mardi4nfdi.de/entity/Q31539412002-11-10Paper
https://portal.mardi4nfdi.de/entity/Q45371282002-11-06Paper
https://portal.mardi4nfdi.de/entity/Q31530702002-11-04Paper
https://portal.mardi4nfdi.de/entity/Q31488362002-09-23Paper
https://portal.mardi4nfdi.de/entity/Q27513612002-08-27Paper
Artificial intelligence: Retrospective/prospective2002-06-27Paper
https://portal.mardi4nfdi.de/entity/Q45342962002-06-06Paper
https://portal.mardi4nfdi.de/entity/Q27578392001-12-04Paper
A general framework for automatic termination analysis od logic programs2001-08-26Paper
https://portal.mardi4nfdi.de/entity/Q44992422001-03-05Paper
https://portal.mardi4nfdi.de/entity/Q43855321998-05-14Paper
https://portal.mardi4nfdi.de/entity/Q43675871997-11-27Paper
https://portal.mardi4nfdi.de/entity/Q43479561997-10-26Paper
Natural termination1997-02-28Paper
Equational inference, canonical proofs, and proof orderings1994-06-29Paper
Deductive and inductive synthesis of equational programs1994-06-09Paper
Logical debugging1994-05-09Paper
https://portal.mardi4nfdi.de/entity/Q40365691993-05-18Paper
https://portal.mardi4nfdi.de/entity/Q40121741992-09-27Paper
Rewrite, rewrite, rewrite, rewrite, rewrite, \dots1992-06-25Paper
https://portal.mardi4nfdi.de/entity/Q39709841992-06-25Paper
The cycle lemma and some applications1990-01-01Paper
A rationale for conditional equational programming1990-01-01Paper
Completion for rewriting modulo a congruence1989-01-01Paper
Patterns in trees1989-01-01Paper
An implementation of narrowing1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42050731989-01-01Paper
Critical pair criteria for completion1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q32101871988-01-01Paper
Existence, Uniqueness, and Construction of Rewrite Systems1988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38176521988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38176531988-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38199931988-01-01Paper
Termination of rewriting1987-01-01Paper
Corrigendum to ``Termination of rewriting1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38093061987-01-01Paper
Ordered trees and non-crossing partitions1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37835211986-01-01Paper
Synthetic programming1985-01-01Paper
Program abstraction and instantiation1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37032881985-01-01Paper
Computing with rewrite systems1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33382691984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q36740881983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37834901983-01-01Paper
Orderings for term-rewriting systems1982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39120311981-01-01Paper
Inference Rules for Program Annotation1981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39174821981-01-01Paper
Enumerations of ordered trees1980-01-01Paper
The Schorr-Waite marking algorithm revisited1980-01-01Paper
A note on simplification orderings1979-01-01Paper
Proving termination with multiset orderings1979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41901061979-01-01Paper
KEDMA—Linguistic Tools for Retrieval Systems1978-01-01Paper
The Evolution of Programs: Automatic Program Modification1977-01-01Paper
A simplified loop-free algorithm for generating permutations1975-01-01Paper

Research outcomes over time

This page was built for person: Nachum Dershowitz