Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

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… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2010
Highly Cited
2010
The study of Information Systems (IS) design is an essential part of the education of IS students and professionals. The purpose… Expand
Is this relevant?
Highly Cited
2010
Highly Cited
2010
We describe in detail a counterexample to the topological classification of free fermion systems. We deal with a one-dimensional… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
We discuss the existence and properties of a nontrivial fixed point in f(R)-gravity, where f is a polynomial of order up to six… Expand
  • table I
  • table II
  • table III
Is this relevant?
Highly Cited
2002
Highly Cited
2002
In this paper, we present the logic of Counter Arithmetic with Lambda Expressions and Uninterpreted Functions (CLU). CLU… Expand
Is this relevant?
Highly Cited
2002
Highly Cited
2002
Why is Nonparametric Regression Important? * How to Construct Nonparametric Regression Estimates * Lower Bounds * Partitioning… Expand
  • figure 1
  • figure 1.1
  • figure 1.2
  • figure 1.3
  • figure 2.1
Is this relevant?
Highly Cited
1998
Highly Cited
1998
On presente dans cet article un certain nombre de resultats concernant le potentiel vecteur associe a une fonction a divergence… Expand
  • figure 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Abstract We show that manifolds of fixed points, which are generated by exactly marginal operators, are common in N = 1… Expand
Is this relevant?
Highly Cited
1993
Highly Cited
1993
In this essay I intend to briefly summarize the essential characteristics of the new institutional economics, to describe how it… Expand
Is this relevant?
Highly Cited
1989
Highly Cited
1989
We show that if there exists a computationally collision free function f from m bits to t bits where m > t, then there exists a… Expand
Is this relevant?
Highly Cited
1986
Highly Cited
1986
Abstract A series of prospective models is developed to investigate ideal free distributions in populations where individuals… Expand
Is this relevant?