The following pages link to (Q3310595):
Displayed 6 items.
- On the paralogicality of some logical constructs (Q946791) (← links)
- Formal methods in computer technologies (Q1288672) (← links)
- Geometry of recursion for arithmetic and existentially defined relations (Q1375270) (← links)
- The Thue problem and logical specifications of derivation in formal systems (Q1582908) (← links)
- A methodology of structured-modular composition programming (Q1907783) (← links)
- Complexity of the search for the least solution to a system of dictionary equations of exponential type (Q2356507) (← links)