The following pages link to Alexey Chentsov (Q1650347):
Displaying 4 items.
- Many-sorted first-order composition-nominative logic as institution (Q1650348) (← links)
- Composition-nominative logics as institutions (Q1653557) (← links)
- Basics of intensionalized data: presets, sets, and nominats (Q2515844) (← links)
- OPTIMIZING THE STARTING POINT IN A PRECEDENCE CONSTRAINED ROUTING PROBLEM WITH COMPLICATED TRAVEL COST FUNCTIONS (Q5125218) (← links)
