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.

2013

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

2013

Diese Arbeit befasst sich mit der mathematischen Formulierung der Interpretation von Daten gewonnen mittels Winkelkorrelation der…

2012

The hierarchic combination of linear arithmetic and first-order logic with free function symbols, FOL(LA), results in a strictly…

2007

SoC validation has become more challenging due to extensive reuse of intellectual property (IP) components in today's design…

1999

In this research, a nonlinear torque control law with a free function is applied to the simultaneous motion and vibration control…

1996

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

1996

This paper shows how to express circumscription in terms of priority logic, where a theory consists of a set of logic program…

1996

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…