Roger Nasr

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