Naomi Lindenstrauss

17 papers A* 1B 2C 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2022 J jnl
What is the satisfiability threshold of random balanced Boolean expressions?
Random Struct. Algorithms
Naomi Lindenstrauss, Michel Talagrand
2004 — ch.
Proving Termination for Logic Programs by the Query-Mapping Pairs Approach.
Program Development in Computational Logic
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2001 J jnl
A General Framework for Automatic Termination Analysis of Logic Programs.
Appl. Algebra Eng. Commun. Comput.
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000 J jnl
A General Framework for Automatic Termination Analysis of Logic Programs
CoRR
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
2000 J jnl
Abstract and-parallel Machines.
Comput. Artif. Intell.
Naomi Lindenstrauss, Nachum Dershowitz
2000 J jnl
Automatic Termination Analysis of Programs Containing Arithmetic Predicates
CoRR
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1999 — conf
Automatic Termination Analysis of Programs Containing Arithmetic Predicates.
Verification of Logic Programs@ICLP
Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997 — conf
Abstract And-Parallel Machines.
Euro-Par
Nachum Dershowitz, Naomi Lindenstrauss
1997 B conf
Automatic Termination Analysis of Logic Programs.
ICLP
Naomi Lindenstrauss, Yehoshua Sagiv
1997 A* conf
TermiLog: A System for Checking Termination of Queries to Logic Programs.
CAV
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1997 C conf
Unfolding the Mystery of
LOPSTR
Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik
1995 — ed.
Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings
CTRS
Nachum Dershowitz, Naomi Lindenstrauss
1990 — conf
A parallel implementation of equational programming.
Jerusalem Conference on Information Technology
Nachum Dershowitz, Naomi Lindenstrauss
1990 — conf
An Abstract Concurrent Machine for Rewriting.
ALP
Nachum Dershowitz, Naomi Lindenstrauss
1990 — —
Search strategies for solutions to goals of horn clause programs and rewrite programs (אסטרטגיות לחפוש פתרונות למטרות של תכניות משפטי הורן ותכניות שכתוב).
Naomi Lindenstrauss
1989 — conf
A Parallel Implementation of Rewriting and Narrowing.
RTA
Naomi Lindenstrauss
1989 B conf
Average Time Analyses Related to Logic Programming.
ICLP
Nachum Dershowitz, Naomi Lindenstrauss