Finitary Partial Inductive Definitions as a General Logic (1994)

Cached

Download Links

by Lars-henrik Eriksson
Citations:12 - 1 self