Login / Signup

Synthesis and complexity of logical systems.

Hans-Jürgen Hoehnke
Published in: Category Theory Applied to Computation and Control (1974)
Keyphrases