The following pages link to (Q3745277):
Displaying 6 items.
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008) (← links)
- Relations, dependencies, and some problems of systems theory (Q1123020) (← links)
- Logical semirings and their usage for construction of quick algorithms (Q1280316) (← links)
- Analysis and synthesis of logics. How to cut and paste reasoning systems (Q2469685) (← links)
- Efficient dataflow analysis of logic programs (Q4302797) (← links)
- (Q5554987) (← links)