Sciweavers

AMC
2006

A functional computation model for the duality of two-variable Lambda-Boolean functions

13 years 3 months ago
A functional computation model for the duality of two-variable Lambda-Boolean functions
This paper presents a new functional computation model for developing a class of two-variable Lambda-Boolean functions, and describes the properties of the duality principle on this model. With respect to this aim, some definitions and theorems which construct the model of the two-variable Lambda-Boolean functions are given. The simulation of the model is implemented in the programming language Prolog, and the whole code is given as an extended and revised version of the implementation in [S
Tolga Güyer, Seref Mirasyedioglu
Added 10 Dec 2010
Updated 10 Dec 2010
Type Journal
Year 2006
Where AMC
Authors Tolga Güyer, Seref Mirasyedioglu
Comments (0)