Finitary Partial Inductive Definitions as a General Logic (1994)

Cached

Download Links

by Lars-henrik Eriksson
Citations:11 - 1 self