CCL Bibliography without year

This file contains entries where no year has been specified.

CIS München

Manfred Schmidt-Schauß and Klaus U. Schulz. Solvability of Context Equations with Two Context Variables is Decidable. Technical report, Centrum f

Hebrew Univ. Jerusalem

Nachum Dershowitz, Naomi Lindenstrauss, and Yehoshua Sagiv. What norms are useful for logic programs?. Presented at the Third International Workshop on Termination, May, 1997.

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. A General Framework for Automatic Termination Analysis of Logic Programs. 38 pages, submitted to special issue of the Springer journal Applicable Algebra in Engineering, Communication and Computing (AAECC) devoted to the Fourth International Workshop on Termination.

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. When Linear Norms Are Not Enough. Presented at the Fourth International Workshop on Termination, May, 1999.

Naomi Lindenstrauss and Yehoshua Sagiv. Automatic Termination Analysis of Logic Programs (with Detailed Experimental Results). Available at http://www.cs.huji.ac.il/naomil/.

Naomi Lindenstrauss and Yehoshua Sagiv. Checking Termination of Queries to Logic Programs. Available at http://www.cs.huji.ac.il/naomil/.

Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. An Example Session with TermiLog. Available at http://www.cs.huji.ac.il/naomil/.

University of Illinois / Tel Aviv University

Nachum Dershowitz, Naomi Lindenstrauss, Yehoshua Sagiv, and Alexander Serebrenik. Termination Analysis of Programs Containing Arithmetic Predicates. submitted.


Naomi Lindenstrauss and Nachum Dershowitz. Abstract And-Parallel Machines. Computers and Artificial Intelligence, to appear.

LRI Orsay

A. Bouhoula, J.-P. Jouannaud, and J. Meseguer. Specification and Proof in Membership Equational Logic. Theoretical Computer Science, to appear.
Full paper Abstract

UC Madrid

P. Arenas-Sánchez and M. Rodríguez-Artalejo. A General Framework for Lazy Functional Logic Programming with Algebraic Polymorphic Types. Journal of Logic Programming. To appear.

J. Leach, S. Nieva, and M. Rodríguez-Artalejo. Constraint Logic Programming with Hereditary Harrop Formulas. Journal of Logic Programming. To appear.

P.J. Martín, A. Gavilanes, and J. Leach. Tableau methods for a logic with term declarations. Journal of Symbolic Computation. To appear.

J. Mateos-Lago and M. Rodríguez-Artalejo. A Declarative Framework for Object Oriented Programming with Genetic Inheritance. Submitted to Theoretical Computer Science.

A. Ruiz-Andino, L. Araujo, F. Sáenz, and J. J. Ruz. A Hybrid Evolutionary Approach for Solving Constrained Optimization Problems over Finite Domains. IEEE Transactions on Evolutionary Computation, To appear.

Back to the CCL online bibliography.
Ralf Treinen
Generated at Mon Mar 12 07:07:00 CET 2001.