Concepedia

Roger Nasr

RN

7

Publications

776

Citations

7

H-Index

1984

Active since

Affiliations

Stanford University(Current)

Roger Nasr is an author at Stanford University specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceLogic ProgrammingAutomated ReasoningProgramming LanguagesSemanticsProgram AnalysisSyntaxLanguage

Publications per year

1984–2007

7

Publications

7

Login: a logic programming language with built-in inheritance

Hassan Aı̈t-Kaci, Roger Nasr · The Journal of Logic Programming · 1986 · 390 citations

Applied Logic, Computational Logic, Logic Programming Language +8

Efficient implementation of lattice operations

Hassan Aı̈t-Kaci, Robert S. Boyer, Patrick Lincoln et al. · ACM Transactions on Programming Languages and Systems · 1989 · 199 citations · Full text

Engineering, Computational Complexity, Semantics +18

Le Fun: Logic, equations, and Functions

Hassan Aı̈t-Kaci, Patrick Lincoln, Roger Nasr · 1987 · 62 citations

Delta-Prolog: A Distributed Logic Programming Language.

Luı́s Moniz Pereira, Roger Nasr · Future Generation Computer Systems · 1984 · 50 citations

Computational Logic, Declarative Programming, Engineering +5

Integrating logic and functional programming

Hassan Aı̈t-Kaci, Roger Nasr · LISP and Symbolic Computation · 1989 · 37 citations

Applied Logic, Engineering, Automated Reasoning +5

Rows per page

1–5 of 7