Re: Motion P1788/M0012.01:InnerAdditionAndSubtraction
Nate, P1788
the inner operations are proposed in the Vienna proposal and are
supported by Baker.
Nevertheless I would like to get more information about their
application. I am not convinced by the examples given in the rationale.
Is it correct that they are the first step of Kaucher or modal arithmetic?
Juergen
R. Baker Kearfott schrieb:
--
=======
o Prof. Dr. J. Wolff v. Gudenberg, Informatik 2
/ \ Univ. Wuerzburg, Am Hubland, D-97074 Wuerzburg
info2 o Tel.: +49 931 / 31-86602 Fax: +49 931 / 888-6603
/ \ Uni e-mail: wolff@xxxxxxxxxxxxxxxxxxxxxxxxxxx
o o Wuerzburg http://www2.informatik.uni-wuerzburg.de/