The following pages link to (Q4013970):
Displaying 6 items.
- Abstract valuation semantics (Q368484) (← links)
- Order-sorted logic programming with predicate hierarchy (Q814621) (← links)
- Dependently Sorted Logic (Q3499748) (← links)
- Zum Aufbau Einer Mehrsortigen Elementaren Logik (Q3720561) (← links)
- (Q5101351) (← links)
- A step towards absolute versions of metamathematical results (Q6150669) (← links)