Searching for authors named "Roger Nasr" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Le Fun: Logic, equations, and Functions
by Hassan Aït-kaci, Patrick Lincoln, Roger Nasr — 1987 — In Proc. 4th IEEE Internat. Symposium on Logic Programming
…, equations, and Functions Hassan Aït-Kaci Patrick Lincoln Roger Nasr October, 1986 Artificial Intelligence…
Cited by 43 (2 self) – Add To MetaCart

Efficient implementation of lattice operations
by Robert Boyer, Patrick Lincoln, Roger Nasr — 1989 — ACM Transactions on Programming Languages and Systems
…, and ROGER NASR MCC, ACA Program Lattice operations such as greatest lower bound (GLB), least upper bound…
Cited by 104 (6 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB