- Matching and Uni cation in Rewrite Theories Subrata Mitra
- LOGIC PROGRAMMING cum APPLICATIVE PROGRAMMING* Nachum Dershowitz
- The Four Sons of Penrose Nachum Dershowitz
- A Scalable Algorithm for Minimal Unsatisfiable Core Extraction
- Notations for Sets of Sequences Nachum Dershowitz
- Maimonidean Calendrical Astronomy Nachum Dershowitz
- Three Paths to Effectiveness Udi Boker1,
- On the Complexity of Con uence for Ground Rewrite Systems
- SIAM J. DISCRETE MATH. c 2009 Society for Industrial and Applied Mathematics Vol. 23, No. 1, pp. 447465
- Bit Inference Nachum Dershowitz
- Ordering-Based Strategies for Horn Clauses Nachum Dershowitz
- Inductive Synthesis of Equational Programs Nachum Dershowitz
- The Bulletin of Symbolic Logic Volume 15, Number 2, June 2009
- Evaluation of Modeling Techniques for Agent-Based Systems
- Trees and Paths Nachum Dershowitz and Shmuel Zaks
- Canonical Sets of Horn Clauses Nachum Dershowitz
- Exact Exploration Andreas Blass
- Automatic Extraction of Catalog Data from Genizah Fragments' images Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz, Masha Zeldin
- Notations for Rewriting Nachum Dershowitz
- Pricing and Manipulation of Information in E-Marketplaces
- The articles in this special issue derive from nine of the 26 papers presented at two meetings organized in Spring of 2004 by the School of Computer Science at Tel Aviv
- Automatic Inductive Synthesis of Functional Programs
- Canonical Inference for Implicational Systems Maria Paola Bonacina 1
- Introduction Jose Felix Costa Nachum Dershowitz
- SOFTWARE--PRACTICE AND EXPERIENCE, VOL. 23(4), 383404 (APRIL 1993) Calendrical Calculations, II: Three Historical Calendars
- TERMINATION OF LINEAR REWRITING SYSTEMS* -preliminary version -
- Goal Solving as Operational Semantics
- A Parallel Implementation of Equational Programming Nachum Dershowitz
- Innocuous Constructor-Sharing Combinations Nachum Dershowitz
- Extended Abstracts of the Fifth International Workshop
- How to Compare the Power of Computational Models
- Yuri, Logic, and Computer Science Andreas Blass1
- Software Tools for Genizah Manuscript Research Yaacov Choueka, Roni Shweka
- Using Semantic Equivalents for Arabic-to-English Example-Based Translation
- On the Representation of Ordinals up to fa Nachum Dershowitz
- The Emergence of Time from Structure in Models of Neuronal Activity
- Exact Exploration and Hanging Algorithms Andreas Blass,1
- Semigroups Satisfying xm+n = xn Nachum Dershowitz
- Function Inversion Nachum Dershowitz
- J. Symbolic Computation (1993) 11, 1{000 Deductive and Inductive Synthesis
- Three Paths to Effectiveness --Extended Abstract--
- Primitive Rewriting Nachum Dershowitz
- COMMUTATION, TRANSFORMATION, AND TERMINATION* Leo Baehmair
- Using Verb Paraphrases for Arabic-to-English Example-Based Translation
- Boosting Satisfiability Testing Using Boolean Rings Daher Kaiss
- Indian Calendrical Calculations Nachum Dershowitz1
- An On-line Problem Database Nachum Dershowitz1? and Ralf Treinen2??
- FTP 2003 Preliminary Version Canonicity 1
- Discrete Applied Mathematics 25 (1989) 241-255 North-Holland
- Unsupervised Decomposition of a Document into Authorial Components Moshe Koppel Navot Akiva Idan Dershowitz Nachum Dershowitz
- On Lazy Commutation Nachum Dershowitz
- Roni Shweka, Yaacov Choueka, Lior Wolf, Nachum Dershowitz, Masha Zeldin Automatic extraction of catalog data from Genizah fragments' images
- An Abstract Path Ordering Nachum Dershowitz
- On the Complexity of Effective State Machines Evgenia Falkovich and Nachum Dershowitz
- From Total Assignment Enumeration to Modern SAT Solver
- KEDMA-Linguistic Tools for Retrieval Systems Bar-llan University, Ramat Gan, Israel, and The Welzmann lnstztute of Science, Rehovot, Israel
- Lecture Notes in Artificial Intelligence 4790 Edited by J. G. Carbonell and J. Siekmann
- 33 Examples of Termination? Nachum Dershowitz
- Automatic Paleographic Exploration of Genizah Manuscripts Lior Wolf, Nachum Dershowitz, Liza Potikha, Tanya German, Roni Shweka, Yaacov Choueka
- Semantic Matching in Rewrite Theories Subrata Mitra
- Dershowitz, Lindenstrauss
- Average Time Analyses Related to Logic Programming
- Abstracts of the Israeli Seminar on Computational Linguistics
- COMPLETION WITHOUT FAILURE 1 Leo Bachmair
- 2 Completion and Its Applications
- Open. Closed. Open. Nachum Dershowitz
- Matching with a Hierarchical Ontology Yaacov Choueka, Nachum Dershowitz, and Liad Tal
- Bounded Model Checking with QBF Nachum Dershowitz1
- More Problems in Rewriting? Nachum Dershowitz1, Jean-Pierre Jouannaud2, and Jan Willem Klop3
- DCM 2005 Preliminary Version Abstract Effective Models
- 501`I \\ARE-PR iC7 ICE I N D EXPERIENCE, \OL 20(9), 899-928 (SEP'IEMBER 1990) Calendrical Calculations
- COMPUTERIZED PALEOGRAPHY: TOOLS FOR HISTORICAL MANUSCRIPTS Lior Wolf, Liza Potikha, Nachum Dershowitz
- Canonical Ground Horn Theories Maria Paola Bonacina1
- Matching Phrases for Arabic-to-English Example-Based Translation
- A Formalization and Proof of the Extended Church-Turing Thesis
- OCR for Arabic using SIFT Descriptors With Online Failure Prediction Andrey Stolyarenko, Nachum Dershowitz
- Submitted to: c N. Dershowitz
- A Gap Tree Theorem for Quasi-Ordered Nachum Dershowitz 2
- Automatic Paleographic Exploration of Genizah Manuscripts Lior Wolf, Nachum Dershowitz, Liza Potikha, Tanya German, Roni Shweka, Yaacov Choueka
- -15 ." , , ROC -Relative Operating
- COMPLEXITY OF PROPOSITIONAL PROOFS UNDER A PROMISE
- Using Synonyms for Arabic-to-English Example-Based Translation
- Foundations of Analog Algorithms Olivier Bourneza,
- Using Synonyms for Arabic-to-English Example-Based Translation
- Tel Aviv University's System Description for IWSLT 2010 Kfir Bar and Nachum Dershowitz
- NIST Open Machine Translation 2009 Evaluation: Tel Aviv University's System Description
- The Influence of Domain Interpretations on Computational Models
- The Church-Turing Thesis over Arbitrary Domains
- WHEN ARE TWO ALGORITHMS THE SAME? ANDREAS BLASS, NACHUM DERSHOWITZ, AND YURI GUREVICH
- SPREADSPACES: Mathematically-Intelligent
- Canonicity! Nachum Dershowitz
- Abstract Canonical Inference MARIA PAOLA BONACINA
- Leanest Quasi-Orderings Nachum Dershowitz 1
- Abstract--An implementation of a non-structural Example-Based Machine Translation system that translates short sentences
- Towards a Better Understanding of the Functionality of a Conflict-Driven SAT Solver
- The Hydra Battle Revisited Nachum Dershowitz1,2
- Complexity of Propositional Proofs Under a Promise
- Comparing Computational Power UDI BOKER, School of Computer Science, Tel Aviv University,
- Boolean Rings for Intersection-Based Satisfiability
- PDMC 2004 Preliminary Version Parallel Multithreaded Satisfiability Solver
- HEBREW DATING Prof. Nachum Dershowitz1
- HEBREW DATING Nachum Dershowitz1
- Termination Dependencies Nachum Dershowitz
- Enumerating Satisfiable Propositional FormulCB Nachum Dershowitz* Mitchell A. Harrist
- Bounded Fairness Nachum Dershowitz1,
- Pan to Zohar Manna Nachum Dershowitz
- When Linear Norms Are Not Enough Nachum Dershowitz Naomi Lindenstrauss y
- Inverting Mildly Deep De nitions Nachum Dershowitz Subrata Mitra
- PRCTICAS OCULTAS DE LOS "ANUSI11" DEL NUEVO MUNDO
- ORDERED CONSTRUCTION OF COMBINATORIAL OBJECTS MITCH HARRIS AND NACHVM DERSHOWITZ'
- When are Two Rewrite Systems More than None??
- Natural Termination Nachum DERSHOWITZ and Charles HOOT
- Hierarchical Termination? Nachum Dershowitz
- Logical Debugging YUH-JENG LEE
- REWRITING METHODS FOR WORD PROBLEMS
- Ordinal Arithmetic with List Structures Nachum Dershowitz
- Decidable Matching for Convergent Systems Nachum Dershowitz, Subrata Mitra
- REWRITE, REWRITE, REWRITE, REWRITE, REWRITE, . . .
- REWRITE SYSTEMS Nachum Dershowitz and Jean-Pierre Jouannaud
- ACM SIGSOFT SOFTWARE ENGINEERING NOTES vol 10 no 4 Aug 1985 Page 55 Conditional Rewriting
- Theoretical Computer Science 17 (1982) 279-301 NorthHolland Publishing Company
- APPLIED TREE ENUMERATIONS Nachum Dershowitz* Shrnucl Zaks
- IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOL. SE-7, NO. 2, MARCH 1981 Inference Rules for Program Annotation
- Learning Probabilistic Models from Relational Data |Invited Lecture|
- Agent strategies: for sellers to satisfy purchase-orders, for buyers to select sellers
- Stable Strategies for Sharing Information among Agents
- A PACKAGE FOR CHECKING SOME STAR-FREE D. Belostotski D. Kravtsov A. Shemshurenko M. Sobol
- KNOWLEDGE BASED PROGRAMMING ASSISTANT, D. C. Badger
- EQUATIONAL INFERENCE, CANONICAL PROOFS,
- An Abstract Concurrent Machine for Rewriting Nachum Dershowitz
- Abstract AndParallel Machines Nachum Dershowitz
- A Hypercomputational Alien Udi Boker and Nachum Dershowitz
- Noname manuscript No. will be inserted by the editor
- A Clause-Based Heuristic for SAT Solvers Nachum Dershowitz1
- A Taste of Rewrite Systems Nachum Dershowitz
- FAST EXCHANGE SORTS1 Nachum Dershowitz Hon-Wai Leong
- Tools for Large-Scale Image Analysis and Join Identification for the Cairo Genizah Manuscripts
- RESEARCH POSTER PRESENTATION DESIGN 2011 www.PosterPresentatio
- Active Clustering of Document Fragments using Information Derived from Both Images and Catalogs
- Kodikologie und Palographie im Digitalen Zeitalter 2 Codicology and Palaeography in the Digital Age 2. Hrsg. Franz Fischer, Christiane Fritze, Georg Vogeler, unter Mitarbeit von Bernhard Assmann, Malte Rehbein, Patrick Sahle. Schriften
- i,, , ,~ ~ ,~ ,~ ~ ,~ ~ Z ,,,
- Jewish Dating Pitfalls and Resources Nachum Dershowitz
- Laziness and Lifting Nachum Dershowitz
- ENTROPIC QUESTIONING 1. Introduction
- Effectiveness Nachum Dershowitz and Evgenia Falkovich
- RAM is as Good as it Gets Nachum Dershowitz and Evgenia Falkovich
- To appear in EPTCS. c N. Dershowitz & E. Falkovich
- Towards an Axiomatization of Simple Analog Algorithms
- Hebrew Calendar Burnaby, Sherrard B., Elements of the Jewish and Muhammadan Calendars, With Rules and Tables
