343 search results - page 1 / 69 » Normal Forms in Function Fields |
ISSAC
1990
Springer
14 years 2 months ago
1990
Springer
We consider function fields of functions of one variable augmented by the binary operation of composition of functions. It is shown that the straightforward axiom
JSC
1998
13 years 10 months ago
1998
FOIKS
2006
Springer
14 years 2 months ago
2006
Springer
The Nested List Normal Form is proposed as a syntactic normal form for semantically well-designed database schemata obtained from any arbitrary finite nesting of records and lists....
DM
2006
13 years 11 months ago
2006
The class composition C K of Boolean clones, being the set of composite functions f(g1, . . . , gn) with f C, g1, . . . , gn K, is investigated. This composition C K is either...
FLAIRS
2007
14 years 1 months ago
2007
Reasoning about preferences is a major issue in many decision making problems. Recently, a new logic for handling preferences, called Qualitative Choice Logic (QCL), was presented...