Christian Prehofer profile picture

Christian Prehofer

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Solving Higher-Order Equations: From Logic to Programming (Progress in Theoretical Computer Science)
Solving Higher-Order Equations From Logic to Programming
Solving Higher-Order Equations From Logic to Programming
Solving Higher-order Equations From Logic to Programming