The following pages link to (Q3728875):
Displayed 5 items.
- Unsolvable algorithmic problems for semigroups, groups and rings (Q1117039) (← links)
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies (Q1123008) (← links)
- Deciding the \(E^+\)-class by an a posteriori, liftable order (Q1577484) (← links)
- Automatic synthesis of action programs for intelligent robots (Q2216712) (← links)
- Infinite-Valued First-Order Łukasiewicz Logic: Hypersequent Calculi Without Structural Rules and Proof Search for Sentences in the Prenex Form (Q4558324) (← links)