Corpus ID: 33922274

Solving higher order equations: from logic to programming

@inproceedings{Prehofer1995SolvingHO,
  title={Solving higher order equations: from logic to programming},
  author={C. Prehofer},
  year={1995}
}
Higher-order equational reasoning decidability of higher-order unification higher-order lazy narrowing variations of higher-order narrowing applications of higher-order narrowing. 
66 Citations
Higher-Order Narrowing with Convergent Systems
  • 7
  • PDF
Reducing Search Space in Solving Higher-Order Equations
  • 1
Higher-Order Lazy Narrowing Calculus: A Solver for Higher-Order Equations
  • 3
  • PDF
Comparing Approaches To Resolution Based Higher-Order Theorem Proving
  • 20
  • PDF
Higher-Order Lazy Narrowing Calculus: A Computation Model for a Higher-Order Functional Logic Language
  • 10
  • Highly Influenced
Higher-Order Proof by Consistency
  • 3
  • PDF
Nominal Narrowing
  • 12
  • PDF
Higher-Order Narrowing with Definitional Trees
  • 135
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 134 REFERENCES
Foundations of Equational Logic Programming
  • 172
Higher-order narrowing
  • C. Prehofer
  • Mathematics, Computer Science
  • Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science
  • 1994
  • 33
  • PDF
The Undecidability of the Second-Order Unification Problem
  • W. Goldfarb
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1981
  • 343
The Undecidability of Unification in Third Order Logic
  • G. Huet
  • Mathematics, Computer Science
  • Inf. Control.
  • 1973
  • 137
  • PDF
Higher-order equational logic programming
  • 20
Partial polymorphic type inference and higher-order unification
  • 127
  • PDF
Decidable Higher-Order Unification Problems
  • 28
  • PDF
Functional unification of higher-order patterns
  • 114
Linear Unification of Higher-Order Patterns
  • 39
  • PDF
...
1
2
3
4
5
...