Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,350,557 papers from all fields of science
Search
Sign In
Create Free Account
Uninterpreted function
Known as:
Uninterpreted term
, Free theory
, Function letter
Expand
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
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
13 relations
Algebraic data type
Array data structure
Boolean satisfiability problem
Decision problem
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2017
2017
Non-local deformation of a supersymmetric field theory
Qin Zhao
,
M. Faizal
,
+6 authors
R. Irfan
2017
Corpus ID: 118996900
In this paper, we will analyze a supersymmetric field theory deformed by generalized uncertainty principle and Lifshitz scaling…
Expand
2014
2014
Einstein gravity, massive gravity, multi-gravity and nonlinear realizations
Garrett Goon
,
Kurt Hinterbichler
,
A. Joyce
,
M. Trodden
Journal of High Energy Physics
2014
Corpus ID: 59432525
The existence of a ghost free theory of massive gravity begs for an interpre-tation as a Higgs phase of General Relativity. We…
Expand
2013
2013
Dynamical Yukawa Couplings
R. Alonso
2013
Corpus ID: 119102366
The matter content of the Standard Model admits a global symmetry due to the generational structure of the spectrum respected by…
Expand
2012
2012
Symmetries and propagator in multifractional scalar field theory
G. Calcagni
,
G. Nardelli
2012
Corpus ID: 119608043
The symmetries of a scalar field theory in multifractional spacetimes are analyzed. The free theory realizes the Poincar\'e…
Expand
2012
2012
Numerical and perturbative computations of solitary waves of the Benjamin-Ono equation with higher order nonlinearity using Christov rational basis functions
J. Boyd
,
Zhen-hui Xu
Journal of Computational Physics
2012
Corpus ID: 6798933
2006
2006
Phase transitions in Yang-Mills theories and their gravity duals
J. Marsano
2006
Corpus ID: 121962038
This thesis is a study of the thermal phase structure of systems that admit dual gauge theory and string theory descriptions. In…
Expand
2001
2001
Die trianguläre Osteosynthese instabiler Sakrumfrakturen
T. Schildhauer
,
C. Josten
,
G. Muhr
Operative Orthopädie und Traumatologie
2001
Corpus ID: 44522466
ZusammenfassungOperationsziel Stabile Sakrumosteosynthese mit exakter, vor allem vertikaler Reposition der Fragmente…
Expand
1996
1996
Verification Using Uninterpreted Functions and Finite Instantiations
R. Hojati
,
Adrian J. Isles
,
D. Kirkpatrick
,
R. Brayton
Formal Methods in Computer-Aided Design
1996
Corpus ID: 8106847
One approach to address the state explosion problem in verification of microprocessors with wide datapaths is to model variables…
Expand
1986
1986
Supergravity and Superstrings
M. Gell-Mann
1986
Corpus ID: 26441656
Over the last decade, theorists have been searching hard for a unified quantum field theory of physical interactions with or…
Expand
Highly Cited
1984
Highly Cited
1984
An interpretation of Martin-Löf's type theory in a type-free theory of propositions
Jan M. Smith
Journal of Symbolic Logic (JSL)
1984
Corpus ID: 27623183
Abstract We present a formal theory of propositions and combinator terms, and in this theory we give an interpretation of Martin…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE