Concepedia

Hassan Aı̈t-Kaci

HA

21

Publications

1.5K

Citations

17

H-Index

1984

Active since

Affiliations

The University of Tokyo(Current)

Digital Equipment (Germany)

Hassan Aı̈t-Kaci is an author at The University of Tokyo specializing in engineering, formal methods, and automated reasoning.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningSemanticsLogic ProgrammingProgramming LanguagesLanguageLinguisticsSyntax

Publications per year

1984–2019

21

Publications

21

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

Towards a meaning of life

Hassan Aı̈t-Kaci, Andreas Podelski · The Journal of Logic Programming · 1993 · 141 citations

Humanities, Existentialism, Human Condition +2

An algebraic semantics approach to the effective resolution of type equations

Hassan Aı̈t-Kaci · Theoretical Computer Science · 1986 · 123 citations

Algebraic Logic, Algebraic Semantics Approach, Engineering +8

Resolution of Equations in Algebraic Structures

Hassan Aı̈t-Kaci, Maurice Nivat · 1989 · 116 citations

Algebraic Logic, Algebraic Structures, Algebraic Structure +1

Rows per page

1–5 of 21