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…

Papers overview

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

2017

In this paper, we will analyze a supersymmetric field theory deformed by generalized uncertainty principle and Lifshitz scaling…

2013

The matter content of the Standard Model admits a global symmetry due to the generational structure of the spectrum respected by…

2012

The symmetries of a scalar field theory in multifractional spacetimes are analyzed. The free theory realizes the Poincar\'e…

2001

ZusammenfassungOperationsziel Stabile Sakrumosteosynthese mit exakter, vor allem vertikaler Reposition der Fragmente…

1996

One approach to address the state explosion problem in verification of microprocessors with wide datapaths is to model variables…

1995

Reservoir characterization plays a critical role in appraising the economic success of reservoir management and development…

1992

; r, In recent yea.rs light-cone quanti&ion of quantum field theory has emerged as a promising method for solving problems in the…

1986

Over the last decade, theorists have been searching hard for a unified quantum field theory of physical interactions with or…

1985

The foundation for a coordinate-free theory of the poles of a linear dynamical system was laid in 1965 by the module-theoretic…

Highly Cited

1984

Highly Cited

1984

Abstract We present a formal theory of propositions and combinator terms, and in this theory we give an interpretation of Martin…