The following pages link to (Q5480560):
Displaying 6 items.
- Boolean integral calculus (Q1117902) (← links)
- Boolean differences for the monotone functions of the algebra of logic (Q1281076) (← links)
- Logic differential calculus: Progress, tendencies, and applications (Q1883862) (← links)
- Development of the methods of Boolean differential calculus for arithmetic logic (Q1914366) (← links)
- An introduction to differential linear logic: proof-nets, models and antiderivatives (Q4577980) (← links)
- Differential and integral calculus for logical operations. A matrix-vector approach (Q5262477) (← links)