On the Herbrand Kleene universe for nondeterministic computations

Manfred Broy

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

8 Scopus citations

Fingerprint

Dive into the research topics of 'On the Herbrand Kleene universe for nondeterministic computations'. Together they form a unique fingerprint.

Keyphrases

Computer Science

Mathematics