The following pages link to (Q3115713):
Displaying 14 items.
- Functional equations for the functions of real variables (Q263953) (← links)
- Solutions to the systems of functional equations of multivalued logic (Q845539) (← links)
- On complexity of problem of satisfiability for systems of countable-valued functional equations (Q905075) (← links)
- Boolean sets and most general solutions of Boolean equations (Q985071) (← links)
- Solution of Boolean differential equations on systolic arrays (Q1364106) (← links)
- On the shape of solution sets of systems of (functional) equations (Q1675094) (← links)
- FE classification of functions of many-valued logic (Q1759121) (← links)
- Action of an FE-closure operator on functions of countable-valued logic (Q2018655) (← links)
- (Q3211262) (← links)
- A solution of Dedekind's problem on the number of isotone Boolean functions. (Q3768953) (← links)
- О структуре решений системы из линейных псевдобулевых неравенств (Q4959045) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5308425) (← links)
- (Q5422556) (← links)
- Boolean functional synthesis: from under the hood of solvers (Q6132564) (← links)
