The following pages link to S. Kamal Abdali (Q1089082):
Displaying 7 items.
- Transitive closure and related semiring properties via eliminants (Q1089083) (← links)
- (Q3736889) (← links)
- An abstraction algorithm for combinatory logic (Q4097259) (← links)
- A lambda-calculus model of programming languages—II. Jumps and procedures (Q4127994) (← links)
- (Q4276395) (← links)
- Verification of Associativity of a Binary Operation (Q5604481) (← links)
- On Proving Sequential Machine Designs (Q5633645) (← links)