Solving Higher-Order Equations: From Logic to Programming

• Authors:

• Christian Prehofer

• Affiliations:

• -

• Venue:
• Solving Higher-Order Equations: From Logic to Programming
• Year:
• 1997