LOGCOM
2008
13 years 5 months ago
2008
We investigate mathematical modelling with theories of data types. We provide a formal setting for the formulation of such theories (TPL) and use it to introduce the notion of a c...
0
posts
with
0
views
0
views
Graduated in Information Science in 2007 from GIT-Belgaum (India). Worked on Graph Theory (Matching Algorithm), Ad-Hoc Network algorithms and Ant Colony Optimization (Swarm Intelli...