Login / Signup

Potenzkaegorien und ihre Anwendung auf den Beweis von Programmeigenschaften.

Herbert Klaeren
Published in: Automata Theory and Formal Languages (1975)
Keyphrases