The following pages link to (Q3197343):
Displaying 4 items.
- Computability and universal determinability of negatively representable models (Q2688330) (← links)
- (Q3490963) (← links)
- Circumscription in Data Logic for Data Type Specification (Q4286217) (← links)
- Separable algorithmic representations of classical systems and their applications (Q6192015) (← links)