Skip to content

An Order Semantics for Non-Deterministic Recursive Program Schemes.

Axel Poign

VenueBGI
Year1981
ProceedingsGI Jahrestagung

Browse the full GI paper archive.