Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter 2016

Non-Deterministic Inductive Definitions and Fullness

Hajime Ishihara and Takako Nemoto
© 2016 Walter de Gruyter GmbH, Berlin/Munich/Boston