
- Aho, A, and Ullman, J, Foundations of Computer Science, Computer Science Press, New York, 1992. Google Scholar
Digital Library
- Corcoran, J, "Categoricity", History and Philosophy of Logic, vol. 1, pp. 187-207, 1980.Google Scholar
Cross Ref
- Enderton, H, A Mathematical Introduction To Logic, Academic Press, New York, 1972.Google Scholar
- Horowitz, E, and Sahni, S, Fundamentals of Data Structures, Computer Science Press, New York, 1982.Google Scholar
- McCracken, D, A Second Course In Computer Science With Pascal, John Wiley and Sons, New York, 1987. Google Scholar
Digital Library
- Silver, C, From Symbolic Logc .. To Mathematical Logic, Wm. C. Brown, Dubuque, Iowa, July, 1993.Google Scholar
Index Terms
Mathematizing abstract data types
Recommendations
Understanding urban development types and drivers in Wallonia: a multi-density approach
In this study, urban development process in the Walloon region Belgium has been analysed. Two main aspects of development are quantitatively measured: the development type and the definition of the main drivers of the urbanisation process. Unlike most ...
Dynamical Detection on Urban Sprawl Based on EO Data
IFITA '09: Proceedings of the 2009 International Forum on Information Technology and Applications - Volume 03With the development of society and economy, the rapid urban sprawl in land use is being witnessed of late in urban districts. As a result, many problems in society and environment have appeared in urban districts, such as population expansion, air ...
Smart city data analysis
DATA '18: Proceedings of the First International Conference on Data Science, E-learning and Information SystemsSmart City is one of the vital issues in the next coming years as it is estimated that more number of people will be migrating towards city and by 2040 cities is populated by 70% of the world's population. This will give raise to the city management ...






Comments