Roger Nasr

According to our database, Roger Nasr authored at least 11 papers between 1984 and 1990.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1990

Implementing a knowledge-based library information system with typed horn logic.

Hassan Aït-Kaci, Roger Nasr, Jungyun Seo

Inf. Process. Manag., 1990

1989

Efficient Implementation of Lattice Operations.

Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr

ACM Trans. Program. Lang. Syst., 1989

Integrating Logic and Functional Programming.

Hassan Aït-Kaci, Roger Nasr

LISP Symb. Comput., 1989

1988

BABEL: A Base for an Experimental Library.

Hassan Aït-Kaci, Roger Nasr, Jungyun Seo

Proceedings of the SIGIR'88, 1988

Embedding Psi-Terms in a Horn-Clause Logic Language.

Catriel Beeri, Roger Nasr, Shalom Tsur

Proceedings of the Third International Conference on Data and Knowledge Bases: Improving Usability and Responsiveness, 1988

1987

Le Fun: Logic, Equations and Functions.

Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987

1986

LOGIN: A Logic Programming Language with Built-In Inheritance.

Hassan Aït-Kaci, Roger Nasr

J. Log. Program., 1986

Logic and Inheritance.

Hassan Aït-Kaci, Roger Nasr

Proceedings of the Conference Record of the Thirteenth Annual ACM Symposium on Principles of Programming Languages, 1986

1985

Integrating Data Type Inheritance into Logic Programming.

Hassan Aït-Kaci, Roger Nasr

Proceedings of the Data Types and Persistence. Edited Papers from the Proceedings of the First Workshop on Persistent Objects, 1985

1984

A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming.

Michael D. Poe, Roger Nasr, Janett Potter, Janet Slinn

J. Log. Program., 1984

Delta-Prolog: A Distributed Logic Programming Language.

Luís Moniz Pereira, Roger Nasr

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984