| |
| 2006 | ||
|---|---|---|
| 2 | EE | Seref Mirasyedioglu, Tolga Güyer: A symbolic and algebraic computation based Lambda-Boolean reduction machine via PROLOG. Applied Mathematics and Computation 176(1): 65-75 (2006) |
| 1 | EE | Tolga Güyer, Seref Mirasyedioglu: A functional computation model for the duality of two-variable Lambda-Boolean functions. Applied Mathematics and Computation 182(1): 879-887 (2006) |
| 1 | Seref Mirasyedioglu | [1] [2] |