Uninterpreted function

Known as: Uninterpreted term, Free theory, Function letter 
In mathematical logic, an uninterpreted function or function symbol is one that has no other property than its name and n-ary form. Function symbols… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
We revisit relational static analysis of numeric variables. Such analyses face two difficulties. First, even inexpensive… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2010
Highly Cited
2010
integrated series in information systems springer design research in information systems theory and practice the nature of theory… (More)
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Satisfiability Modulo Theories (SMT) problem is a decision problem for logical first order formulas with respect to combinations… (More)
Is this relevant?
2006
2006
This paper presents results on the problem of checking equality assertions in programs whose expressions have been abstracted… (More)
  • figure 1
  • figure 2
  • table 1
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Find loads of the a distribution free theory of nonparametric regression book catalogues in this site as the choice of you… (More)
Is this relevant?
Highly Cited
2001
Highly Cited
2001
The logic of Equality with Uninterpreted Functions (EUF) provides a means of abstracting the manipulation of data by a processor… (More)
  • figure 4
Is this relevant?
Highly Cited
1999
Highly Cited
1999
In using the logic of equality with unininterpreted functio ns to verify hardware systems, specific characteristics of the formu… (More)
Is this relevant?
1996
1996
One approach to address the state explosion problem in verification of microprocessors with wide datapaths is to model variables… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this essay I intend to briefly summarize the essential characteristics of the new institutional economics, to describe how it… (More)
Is this relevant?
Highly Cited
1979
Highly Cited
1979
A method for combining decision procedures for several theories into a single decision procedure for their combination is… (More)
Is this relevant?