Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Nachum Dershowitz" ( http://dblp.L3S.de/Authors/Nachum_Dershowitz )

URL (Homepage):  http://www.math.tau.ac.il/~nachumd/  Author page on DBLP  Author page in RDF  Community of Nachum Dershowitz in ASPL-2

Publication years (Num. hits)
1977-1981 (15) 1982-1986 (15) 1987-1989 (21) 1990-1992 (16) 1993-1995 (17) 1997-2003 (20) 2004-2006 (22) 2007-2008 (18) 2009-2011 (16) 2012 (1)
Publication types (Num. hits)
article(59) book(2) incollection(2) inproceedings(91) proceedings(7)
Venues (Conferences, Journals, ...)
RTA(12) CoRR(11) CTRS(7) ICALP(6) Theor. Comput. Sci.(6) Electr. Notes Theor. Comput. S...(5) SAT(5) IJCAI(4) J. Symb. Comput.(4) LICS(4) CADE(3) Fields of Logic and Computatio...(3) ICLP(3) LPAR(3) Pillars of Computer Science(3) SLP(3) More (+10 of total 77)
Authors
Nachum Dershowitz(161) Naomi Lindenstrauss(9) Leo Bachmair(8) Udi Boker(8) Ziyad Hanna(8) G. Sivakumar(6) Shmuel Zaks(6) Zohar Manna(6) Alexander Nadel(5) Andreas Blass(5) David A. Plaisted(5) Edward M. Reingold(5) Jean-Pierre Jouannaud(5) Jieh Hsiang(5) Mitsuhiro Okada(5) Subrata Mitra(5) More (+10 of total 66)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 16 occurrences of 16 keywords
Results
Found 161 publication records. Showing 161 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Olivier Bournez, Nachum Dershowitz, Evgenia Falkovich Towards an Axiomatization of Simple Analog Algorithms. Search on Bibsonomy TAMC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1José Félix Costa, Nachum Dershowitz Introduction. Search on Bibsonomy Natural Computing The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Alexander Nadel From Total Assignment Enumeration to Modern SAT Solver Search on Bibsonomy CoRR The full citation details ... 2011 DBLP  BibTeX  RDF
1Lior Wolf, Rotem Littman, Naama Mayer, Tanya German, Nachum Dershowitz, Roni Shweka, Yaacov Choueka Identifying Join Candidates in the Cairo Genizah. Search on Bibsonomy International Journal of Computer Vision The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Moshe Koppel, Navot Akiva, Idan Dershowitz, Nachum Dershowitz Unsupervised Decomposition of a Document into Authorial Components. Search on Bibsonomy ACL The full citation details ... 2011 DBLP  BibTeX  RDF
1Lior Wolf, Lior Litwak, Nachum Dershowitz, Roni Shweka, Yaacov Choueka Active clustering of document fragments using information derived from both images and catalogs. Search on Bibsonomy ICCV The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Lior Wolf, Liza Potikha, Nachum Dershowitz, Roni Shweka, Yaacov Choueka Computerized paleography: Tools for historical manuscripts. Search on Bibsonomy ICIP The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Iddo Tzameret Complexity of propositional proofs under a promise. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Blass, Nachum Dershowitz, Wolfgang Reisig (eds.) Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz Three Paths to Effectiveness. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Blass, Nachum Dershowitz, Wolfgang Reisig Yuri, Logic, and Computer Science. Search on Bibsonomy Fields of Logic and Computation The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Blass, Nachum Dershowitz, Yuri Gurevich Exact Exploration and Hanging Algorithms. Search on Bibsonomy CSL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Andreas Blass, Nachum Dershowitz, Yuri Gurevich When are two algorithms the same? Search on Bibsonomy Bulletin of Symbolic Logic The full citation details ... 2009 DBLP  BibTeX  RDF
1Nachum Dershowitz, Shmuel Zaks More Patterns in Trees: Up and Down, Young and Old, Odd and Even. Search on Bibsonomy SIAM J. Discrete Math. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz The influence of domain interpretations on computational models. Search on Bibsonomy Applied Mathematics and Computation The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Cristian S. Calude, José Félix Costa, Nachum Dershowitz, Elisabete Freire, Grzegorz Rozenberg (eds.) Unconventional Computation, 8th International Conference, UC 2009, Ponta Delgada, Azores, Portugal, September 7-11, 2009. Proceedings Search on Bibsonomy UC The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz On Lazy Commutation. Search on Bibsonomy Languages: From Formal to Natural The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Yuri Gurevich A Natural Axiomatization of Computability and Proof of Church's Thesis. Search on Bibsonomy Bulletin of Symbolic Logic The full citation details ... 2008 DBLP  BibTeX  RDF
1Andreas Blass, Nachum Dershowitz, Yuri Gurevich When are two algorithms the same? Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Nachum Dershowitz, Edward M. Reingold Calendrical calculations (3. ed.). Search on Bibsonomy 2008   RDF
1Nachum Dershowitz Canonicity! Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina, Nachum Dershowitz Canonical Inference for Implicational Systems. Search on Bibsonomy IJCAR The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Bit Inference. Search on Bibsonomy PAAR/ESHOL The full citation details ... 2008 DBLP  BibTeX  RDF
1Nachum Dershowitz, Claude Kirchner SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets. Search on Bibsonomy Concurrency, Graphs and Models The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Nachum Dershowitz, Alexander Rabinovich Boris A. Trakhtenbrot: Academic Genealogy and Publications. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz The Church-Turing Thesis over Arbitrary Domains. Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Arnon Avron, Nachum Dershowitz, Alexander Rabinovich (eds.) Pillars of Computer Science, Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday Search on Bibsonomy Pillars of Computer Science The full citation details ... 2008 DBLP  BibTeX  RDF
1Nachum Dershowitz, E. Castedo Ellerman Leanest quasi-orderings. Search on Bibsonomy Inf. Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Iddo Tzameret Complexity of Propositional Proofs under a Promise Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Jacob Katz, Ziyad Hanna, Nachum Dershowitz Space-Efficient Bounded Model Checking Search on Bibsonomy CoRR The full citation details ... 2007 DBLP  BibTeX  RDF
1Maria Paola Bonacina, Nachum Dershowitz Abstract canonical inference. Search on Bibsonomy ACM Trans. Comput. Log. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF proof orderings, fairness, redundancy, completeness, completion, Inference, saturation, canonicity
1Nachum Dershowitz, Andrei Voronkov (eds.) Logic for Programming, Artificial Intelligence, and Reasoning, 14th International Conference, LPAR 2007, Yerevan, Armenia, October 15-19, 2007, Proceedings Search on Bibsonomy LPAR The full citation details ... 2007 DBLP  BibTeX  RDF
1Nachum Dershowitz, Iddo Tzameret Complexity of Propositional Proofs Under a Promise. Search on Bibsonomy ICALP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF random 3CNF, promise problems, resolution, proof complexity
1Nachum Dershowitz, Ziyad Hanna, Alexander Nadel Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver. Search on Bibsonomy SAT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Georg Moser The Hydra Battle Revisited. Search on Bibsonomy Rewriting, Computation and Proof The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Claude Kirchner Abstract canonical presentations. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz Comparing Computational Power. Search on Bibsonomy Logic Journal of the IGPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz Abstract Effective Models. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Mitchell A. Harris, Guan-Shieng Huang Enumeration Problems Related to Ground Horn Theories Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Nachum Dershowitz, Ziyad Hanna, Alexander Nadel A Scalable Algorithm for Minimal Unsatisfiable Core Extraction Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Udi Boker, Nachum Dershowitz A hypercomputational alien. Search on Bibsonomy Applied Mathematics and Computation The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss Boolean Rings for Intersection-Based Satisfiability. Search on Bibsonomy LPAR The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Ziyad Hanna, Alexander Nadel A Scalable Algorithm for Minimal Unsatisfiable Core Extraction. Search on Bibsonomy SAT The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Yulik Feldman, Nachum Dershowitz, Ziyad Hanna Parallel Multithreaded Satisfiability Solver: Design and Implementation. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz Comparing Computational Power Search on Bibsonomy CoRR The full citation details ... 2005 DBLP  BibTeX  RDF
1Nachum Dershowitz Book review: Term Rewriting Systems by "Terese" (Marc Bezem, Jan Willem Klop, and Roel de Vrijer, eds.), Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 55, 2003, hard cover: ISBN 0-521-39115-6. Search on Bibsonomy TPLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz The Four Sons of Penrose. Search on Bibsonomy LPAR The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Ziyad Hanna, Jacob Katz Bounded Model Checking with QBF. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Ziyad Hanna, Alexander Nadel A Clause-Based Heuristic for SAT Solvers. Search on Bibsonomy SAT The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Open. Closed. Open. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, E. Castedo Ellerman Leanest Quasi-orderings. Search on Bibsonomy RTA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Jacob Katz, Ziyad Hanna, Nachum Dershowitz Space-Efficient Bounded Model Checking. Search on Bibsonomy DATE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Primitive Rewriting. Search on Bibsonomy Processes, Terms and Cycles The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Udi Boker, Nachum Dershowitz How to Compare the Power of Computational Models. Search on Bibsonomy CiE The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Maria Paola Bonacina, Nachum Dershowitz Abstract Canonical Inference Search on Bibsonomy CoRR The full citation details ... 2004 DBLP  BibTeX  RDF
1Nachum Dershowitz, Jieh Hsiang, Guan-Shieng Huang, Daher Kaiss Boolean Ring Satisfiability. Search on Bibsonomy SAT The full citation details ... 2004 DBLP  BibTeX  RDF
1Nachum Dershowitz Termination by Abstraction. Search on Bibsonomy ICLP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Canonicity. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Iddo Tzameret Gap Embedding for Well-Quasi-Orderings. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Ground Canonicity Search on Bibsonomy CoRR The full citation details ... 2003 DBLP  BibTeX  RDF
1Nachum Dershowitz Pæan to Zohar Manna. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz (eds.) Verification: Theory and Practice, Essays Dedicated to Zohar Manna on the Occasion of His 64th Birthday Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  BibTeX  RDF
1Nachum Dershowitz, D. N. Jayasimha, Seungjoon Park Bounded Fairness. Search on Bibsonomy Verification: Theory and Practice The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Claude Kirchner Abstract Saturation-Based Inference. Search on Bibsonomy LICS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Edward M. Reingold, Nachum Dershowitz Calendrical calcuations - the millenium edition. Search on Bibsonomy 2002   RDF
1Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik A General Framework for Automatic Termination Analysis of Logic Programs. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF Termination of logic programs, Constraints, Abstract interpretation
1Nachum Dershowitz, David A. Plaisted Rewriting. Search on Bibsonomy Handbook of Automated Reasoning The full citation details ... 2001 DBLP  BibTeX  RDF
1Naomi Lindenstrauss, Nachum Dershowitz Abstract and-parallel Machines. Search on Bibsonomy Computers and Artificial Intelligence The full citation details ... 2000 DBLP  BibTeX  RDF
1Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik Automatic Termination Analysis of Programs Containing Arithmetic Predicates Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik A General Framework for Automatic Termination Analysis of Logic Programs Search on Bibsonomy CoRR The full citation details ... 2000 DBLP  BibTeX  RDF
1Nachum Dershowitz Artificial intelligence: Retrospective/prospective. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Search on Bibsonomy Electr. Notes Theor. Comput. Sci. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Subrata Mitra Jeopardy. Search on Bibsonomy RTA The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Ralf Treinen An On-line Problem Database. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Naomi Lindenstrauss Abstract And-Parallel Machines. Search on Bibsonomy Euro-Par The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz When are Two Rewrite Systems More than None? Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Innocuous Constructor-Sharing Combinations. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Charles Hoot Natural Termination. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Goal Solving as Operational Semantics. Search on Bibsonomy ILPS The full citation details ... 1995 DBLP  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop Problems in Rewriting III. Search on Bibsonomy RTA The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Naomi Lindenstrauss (eds.) Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings Search on Bibsonomy CTRS The full citation details ... 1995 DBLP  BibTeX  RDF
1Leo Bachmair, Nachum Dershowitz Equational Inference, Canonical Proofs, and Proof Orderings. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF term rewriting, rewrite systems, proof theory, equational logic, inference systems, term orderings
1Nachum Dershowitz From Specifications to Programs: Induction in the Service of Synthesis (Abstract). Search on Bibsonomy AII/ALT The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Hierachical Termination. Search on Bibsonomy CTRS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Yuh-Jeng Lee Logical Debugging. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Uday S. Reddy Deductive and Inductive Synthesis of Equational Programs. Search on Bibsonomy J. Symb. Comput. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Edward M. Reingold, Nachum Dershowitz, Stewart M. Clamen Calendrical Calculations, II: Three Historical Calendars. Search on Bibsonomy Softw., Pract. Exper. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Trees, Ordinals and Termination. Search on Bibsonomy TAPSOFT The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud, Jan Willem Klop More Problems in Rewriting. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Charles Hoot Topics in Termination. Search on Bibsonomy RTA The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Yuh-Jeng Lee, Nachum Dershowitz Debugging Logic Programs Using Specifications. Search on Bibsonomy AADEBUG The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz A Taste of Rewrite Systems. Search on Bibsonomy Functional Programming, Concurrency, Simulation and Automated Reasoning The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Subrata Mitra Higher-Order and Semantic Unification. Search on Bibsonomy FSTTCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Examples of Termination. Search on Bibsonomy Term Rewriting The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Edward M. Reingold Ordinal Arithmetic with List Structures. Search on Bibsonomy LFCS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Subrata Mitra, G. Sivakumar Decidable Matching for Convergent Systems (Preliminary Version). Search on Bibsonomy CADE The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Subrata Mitra Path Orderings for Termination of Associative-Commutative Rewriting. Search on Bibsonomy CTRS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz Semigroups Satisfying xm+n = xn. Search on Bibsonomy CTRS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Stéphane Kaplan, David A. Plaisted Rewrite, Rewrite, Rewrite, Rewrite, Rewrite, . . . Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
1Nachum Dershowitz, Jean-Pierre Jouannaud Notations for Rewting. Search on Bibsonomy Bulletin of the EATCS The full citation details ... 1991 DBLP  BibTeX  RDF
Displaying result #1 - #100 of 161 (100 per page; Change: )
Pages: [1][2][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.