Roger Nasr

Publication Activity (10 Years)

Years Active: 1984-1990
Publications (10 Years): 0

Publications

Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
Implementing a knowledge-based library information system with typed horn logic. Inf. Process. Manag. 26 (2) (1990)
Hassan Aït-Kaci, Roger Nasr
Integrating Logic and Functional Programming. LISP Symb. Comput. 2 (1) (1989)
Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11 (1) (1989)
Hassan Aït-Kaci, Roger Nasr, Jungyun Seo
BABEL: A Base for an Experimental Library. SIGIR (1988)
Catriel Beeri, Roger Nasr, Shalom Tsur
Embedding Psi-Terms in a Horn-Clause Logic Language. JCDKB (1988)
Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr
Le Fun: Logic, Equations and Functions. SLP (1987)
Hassan Aït-Kaci, Roger Nasr
LOGIN: A Logic Programming Language with Built-In Inheritance. J. Log. Program. 3 (3) (1986)
Hassan Aït-Kaci, Roger Nasr
Logic and Inheritance. POPL (1986)
Hassan Aït-Kaci, Roger Nasr
Integrating Data Type Inheritance into Logic Programming. Data Types and Persistence (Appin) (1985)
Michael D. Poe, Roger Nasr, Janett Potter, Janet Slinn
A KWIC (Key Word in Context) Bibliography on Prolog and Logic Programming. J. Log. Program. 1 (1) (1984)
Luís Moniz Pereira, Roger Nasr
Delta-Prolog: A Distributed Logic Programming Language. FGCS (1984)