S. Kamal Abdali -- Selected Publications

Publications by Topics

I'm trying to post electronic copies of the papers that are otherwise difficult to get. If you need an article, please contact me at k.abdali@acm.org.

See the list of my coauthors.

*-Semirings

Computer Algebra

Theorem Proving

Lambda-Calculus and Combinatory Logic, Programming Language Semantics

Algorithms

Pattern Recognition

Astronomy

Java/CGI

Miscellaneous



My Coauthors







home | short bio | publications | curriculum vitae | other interests | links