# Uninterpreted function

## Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2016

2016

- VMCAI
- 2016

We revisit relational static analysis of numeric variables. Such analyses face two difficulties. First, even inexpensiveâ€¦Â (More)

Is this relevant?

Highly Cited

2010

Highly Cited

2010

- 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

- TACAS
- 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

- ESOP
- 2006

This paper presents results on the problem of checking equality assertions in programs whose expressions have been abstractedâ€¦Â (More)

Is this relevant?

Highly Cited

2002

Highly Cited

2002

- Springer series in statistics
- 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

- ACM Trans. Comput. Log.
- 2001

The logic of Equality with Uninterpreted Functions (EUF) provides a means of abstracting the manipulation of data by a processorâ€¦Â (More)

Is this relevant?

Highly Cited

1999

Highly Cited

1999

- CAV
- 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

- FMCAD
- 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

- 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

- ACM Trans. Program. Lang. Syst.
- 1979

A method for combining decision procedures for several theories into a single decision procedure for their combination isâ€¦Â (More)

Is this relevant?