dblp.uni-trier.dewww.uni-trier.de

Naomi Lindenstrauss Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2004
14EENaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Proving Termination for Logic Programs by the Query-Mapping Pairs Approach. Program Development in Computational Logic 2004: 453-498
2001
13EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs. Appl. Algebra Eng. Commun. Comput. 12(1/2): 117-156 (2001)
2000
12EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates CoRR cs.PL/0011036: (2000)
11EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: A General Framework for Automatic Termination Analysis of Logic Programs CoRR cs.PL/0012008: (2000)
10 Naomi Lindenstrauss, Nachum Dershowitz: Abstract and-parallel Machines. Computers and Artificial Intelligence 19(5): (2000)
1999
9EENachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Automatic Termination Analysis of Programs Containing Arithmetic Predicates. Electr. Notes Theor. Comput. Sci. 30(1): (1999)
1997
8EENaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: TermiLog: A System for Checking Termination of Queries to Logic Programs. CAV 1997: 444-447
7EENachum Dershowitz, Naomi Lindenstrauss: Abstract And-Parallel Machines. Euro-Par 1997: 1221-1225
6 Naomi Lindenstrauss, Yehoshua Sagiv: Automatic Termination Analysis of Logic Programs. ICLP 1997: 63-77
5EENaomi Lindenstrauss, Yehoshua Sagiv, Alexander Serebrenik: Unfolding the Mystery of Mergesort. LOPSTR 1997: 206-225
1995
4 Nachum Dershowitz, Naomi Lindenstrauss: Conditional and Typed Rewriting Systems, 4th International Workshop, CTRS-94, Jerusalem, Israel, July 13-15, 1994, Proceedings Springer 1995
1990
3EENachum Dershowitz, Naomi Lindenstrauss: An Abstract Concurrent Machine for Rewriting. ALP 1990: 318-331
1989
2 Nachum Dershowitz, Naomi Lindenstrauss: Average Time Analyses Related to Logic Programming. ICLP 1989: 369-381
1EENaomi Lindenstrauss: A Parallel Implementation of Rewriting and Narrowing. RTA 1989: 569-573

Coauthor Index

1Nachum Dershowitz [2] [3] [4] [7] [9] [10] [11] [12] [13]
2Yehoshua Sagiv [5] [6] [8] [9] [11] [12] [13] [14]
3Alexander Serebrenik [5] [8] [9] [11] [12] [13] [14]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)