Travelled to:1 × France
2 × USA
Collaborated with:H.Aït-Kaci J.Seo P.Lincoln
Talks about:logic (2) experiment (1) function (1) librari (1) inherit (1) equat (1) babel (1) base (1) fun (1)
Person: Roger Nasr
DBLP: Nasr:Roger
Contributed to:
1988
1987
1986Wrote 3 papers:
- SIGIR-1988-Ait-KaciNS #library #named
- BABEL: A Base for an Experimental Library (HAK, RN, JS), pp. 175–190.
- SLP-1987-Ait-KaciLN87 #equation #logic
- Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.
- POPL-1986-Ait-KaciN #inheritance #logic
- Logic and Inheritance (HAK, RN), pp. 219–228.