Normal Forms in Function Fields

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

• Type: Conference
• Year: 1990
• Where: ISSAC
• Authors: Karl Aberer
• Keywords: Binary Operation, Function Fields, ISSAC 1990, Mathematics