information about Uninterpreted function field

Uninterpreted function

http://en.wikipedia.org/wiki/Uninterpreted_function
Field Hierarchy
Parent
Satisfiability
7,274 papers
Current
Uninterpreted function
papers
Child
Trends