Pages that link to "Item:Q1091380"
From MaRDI portal
The following pages link to Solving functional equations at higher types; some examples and some theorems (Q1091380):
Displaying 6 items.
- On the Jacopini technique (Q1376416) (← links)
- On the Yoneda completion of a quasi-metric space (Q1605178) (← links)
- On the logic of unification (Q1823935) (← links)
- Solving a class of higher-order equations over a group structure (Q2643512) (← links)
- Algorithmic solution of higher type equations (Q2844001) (← links)
- (Q3187126) (← links)