Find link

language:

Find link is a tool written by Edward Betts.

searching for Uninterpreted function 2 found (6 total)

Boolean ring (1,419 words) [view diff] exact match in snippet view article find links to article

equivalent.) Unification in Boolean rings is unitary if all the uninterpreted function symbols are nullary and finitary otherwise (i.e. if the function

Frameworks supporting the polyhedral model (2,887 words) [view diff] exact match in snippet view article find links to article

production of an exact result (except in the cases of certain uses of uninterpreted function symbols in Omega), despite the high complexity. In some cases, such