6 search results - page 2 / 2 » Reformulating the Situation Calculus and the Event Calculus ... |
CTCS
1989
Springer
13 years 8 months ago
1989
Springer
We introduce the notion of a candidate for “multiple valued universal constructions” and define stable functors (which generalise functors with left adjoints) in terms of fac...