Towards a formalization of budgets

Details Towards a formalization of budgets Towards a formalization of budgets

2008-02-25

arxiv.org/abs/0802.3617v1

Computer Science

Logic in Computer Science

Scientific paper

We go into the need for, and the requirements on, a formal theory of budgets. We present a simple algebraic theory of rational budgets, i.e., budgets in which amounts of money are specified by functions on the rational numbers. This theory is based on the tuplix calculus. We go into the importance of using totalized models for the rational numbers. We present a case study on the educational budget of a university department offering master programs.

Affiliated with

Also associated with

No associations

Rating

Towards a formalization of budgets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Towards a formalization of budgets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Towards a formalization of budgets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-603576