[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Raymond T Boute
- Supertotal function definition in Mathematics and Software Engineering
- IEEE Trans Software Engineering V26n7(Jul 2000)pp662-672
- =IDEA FORMAL LOGIC FUNCTIONAL MATHEMATICS calculational
- Refers to FunMath
- Question: How to calculated easily with partial functions?
- Idea: Functions defined by a domain and an expression can be treated as total by extension to an arbitrary value in calculating with suitably guarded formulae
Search for bibliographic items containing a matching string.
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]