Edit Profile (opens in new tab) Abdali, S. Kamal Co-Author Distance Author ID: abdali.s-kamal Published as: Abdali, S. Kamal; Kamal Abdali, S. Homepage: https://geomete.com/abdali/ External Links: MGP · Wikidata · dblp Documents Indexed: 7 Publications since 1970 Co-Authors: 2 Co-Authors with 2 Joint Publications 47 Co-Co-Authors Co-Authors 5 single-authored 1 Saunders, B. David 1 Wise, David S. Serials 1 The Mathematical Gazette 1 Computer Languages 1 IEEE Transactions on Computers 1 The Journal of Symbolic Logic 1 Theoretical Computer Science all top 5 Fields 5 Computer science (68-XX) 2 Mathematical logic and foundations (03-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Associative rings and algebras (16-XX) 1 Combinatorics (05-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 3 Publications have been cited 14 times in 14 Documents Cited by ▼ Year ▼ An abstraction algorithm for combinatory logic. Zbl 0331.02012 Abdali, S. Kamal 6 1976 Transitive closure and related semiring properties via eliminants. Zbl 0618.16036 Abdali, S. Kamal; Saunders, B. David 5 1985 A lambda-calculus model of programming languages. II: Jumps and procedures. Zbl 0356.68042 Abdali, S. Kamal 3 1975 Transitive closure and related semiring properties via eliminants. Zbl 0618.16036 Abdali, S. Kamal; Saunders, B. David 5 1985 An abstraction algorithm for combinatory logic. Zbl 0331.02012 Abdali, S. Kamal 6 1976 A lambda-calculus model of programming languages. II: Jumps and procedures. Zbl 0356.68042 Abdali, S. Kamal 3 1975 all cited Publications top 5 cited Publications all top 5 Cited by 22 Authors 2 Johnson, J. Howard 2 Noshita, Kohei 1 Burton, F. Warren 1 Castan, M. 1 Danvy, Olivier 1 Dezani-Ciancaglini, Mariangiola 1 Domrachev, V. N. 1 Durand, Marie-Hélène 1 Emoto, Kento 1 Fischer, Sebastian 1 Gibert, Jacek 1 Gondran, Michel 1 Hikita, Teruo 1 Hu, Zhenjiang 1 Kapitonova, Yu. V. 1 Lemaître, Michel 1 Lisper, Björn 1 Minoux, Michel Andre 1 Piperno, Adolfo 1 Ronchi Della Rocca, Simona 1 Saitta, Lorenza 1 Samojlenko, L. G. all top 5 Cited in 10 Serials 3 Information Processing Letters 2 Theoretical Computer Science 1 Fuzzy Sets and Systems 1 RAIRO, Informatique Théorique 1 Cybernetics 1 Journal of Symbolic Computation 1 New Generation Computing 1 Formal Aspects of Computing 1 Distributed Computing 1 Higher-Order and Symbolic Computation all top 5 Cited in 7 Fields 11 Computer science (68-XX) 9 Mathematical logic and foundations (03-XX) 2 Associative rings and algebras (16-XX) 1 History and biography (01-XX) 1 Order, lattices, ordered algebraic structures (06-XX) 1 General algebraic systems (08-XX) 1 Commutative algebra (13-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.