View source for Book/Algebraic Models for Accounting Systems

{{cite book
|title=Algebraic Models for Accounting Systems
|first1=Salvador Cruz
|last1=Rambaud
|first2=José García
|last2=Pérez
|first3=Robert A.
|last3=Nehmer
|first4=Derek J S Robinson
|last4=Robinson
|url=
|date=2010
|publisher=Cambridge at the University Press
|location=[[Book/Algebraic Models for Accounting Systems|local page]]
|isbn=978-981-4287-11-1
}}

<noinclude>
=Research Synopsis=
This book is being used as the main reference book to integrate my work on [[Algebra of Systems]] with pragmatic accounting practice. It turns out that [[accounting]], as described by Prof. [[Gautam Dasgupta]], should be also be described as abstract-counting. For digitally realize these accounting models, one might to refer to the book [[Book/Digital Accounting: The Effects of the Internet and ERP on Accounting|Digital Accounting: The Effects of the Internet and ERP on Accounting]]<ref>{{:Book/Digital Accounting: The Effects of the Internet and ERP on Accounting}}</ref>.

=Excerpts=
The following sections are some excerpts from this book.
=Decision problems for Accounting Systems=
#Decide whether a given transaction is allowable.
#Decide whether a given balance vector is allowable.
#Decide whether a given transaction is feasible.
#Decide whether a final balance vector could actually have occurred by correctly applying a sequence of allowable transactions to a given initial balance vector.
#Decide whether two accounting systems on the same account set are equivalent, i.e., if they have the same feasible transactions and hence the same monoid.
#Decide whether a given accounting system is of a specific type such as those described in Chapter 7.
=References=
<references/>
=Related Pages=
[[Category:Algebra]]
[[Category:Accounting]]
[[Category:Information Economics]]
[[Category:Formal Language]]
[[Category:Hermeneutics]]
</noinclude>