Pages that link to "Item:Q1821094"
From MaRDI portal
The following pages link to A method of constructing fast algorithms in the k-valued logic (Q1821094):
Displaying 3 items.
- Logical semirings and their usage for construction of quick algorithms (Q1280316) (← links)
- One approach to construction of effective algorithms for recognizing completeness in multivalued logics (Q1820763) (← links)
- Finding the subsets of variables of a partial Boolean function which are sufficient for its implementation in the classes defined by predicates (Q5090147) (← links)