Finite Systems Handling Language (YAFOLL message 1)

References

1. Algebraic structure: 2015. https://en.wikipedia.org/wiki/Algebraic_structure. Accessed: 2015-09- 18.
Search in Google Scholar
2. Barwise, J. 1982. Introduction to first order logic. In Reference Book on Mathematical Logic I, J. Barwise, Ed., Moscow, Nauka, 13-54.
Search in Google Scholar
3. Kolmogorov, A.N., Dragalin, A.G. Mathematical Logic. 3rd stereotypical edition. Moscow: KomKniga, 2006.
Search in Google Scholar
4. Maltsev, A.I., Algebraic Systems, Moscow, Nauka, 1970.
Search in Google Scholar
5. Finitary relation: 2015. https://en.wikipedia.org/wiki/Finitary_relation. Accessed: 2015- 09- 18.
Search in Google Scholar
6. Shkotin, A. and Ryakhovski, V. (2015). Proba DB. Ontology of a relational database - Open science. [online] Sites.google.com. Available at: https://sites.google.com/site/alex0shkotin/formalnaa-geologia/bd-proba-ontologia [Accessed 18 Sep. 2015].
Search in Google Scholar