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
The natural forms of the Leibniz rule for the kth derivative of a product and of Fa`a di Bruno's formula for the kth derivative of a composition involve the differential oper...
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Theoretical research in the area of machine translation usually involves the search for and creation of an appropriate formalism. An important issue in this respect is the way in ...
Gertjan van Noord, Joke Dorrepaal, Doug Arnold, St...
In a service-oriented architecture, service compositions are assembled from other component services. Such compositions may include services from unknown and potentially untrusted...
Christian Schneider, Frederic Stumpf, Claudia Ecke...