• Structure
• Researchers
• Publications
• Projects
• PhD
• Conferences
• News
• European News
• Trade Union

About FOI-2015	27.10.2015	pp.99-101
Theory of computing
Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates Mykola Nikitchenko, Stepan Shkilniak	20.09.2015	pp.102-122
BioMaxP: A Formal Approach for Cellular Ion Pumps Bogdan Aman, Gabriel Ciobanu	21.07.2015	pp.123-134
Structuring of Specification Modules (extended) Răzvan Diaconescu	11.09.2015	pp.135-152
Fundamental theorems of extensional untyped lambda-calculus revisited Alexandre Lyaletsky	21.09.2015	pp.153-164
Formal languages and automata
Finite automata over algebraic structures: models and some methods of analysis Volodymyr V. Skobelev, Volodymyr G. Skobelev	16.09.2015	pp.165-188
Communicative automata based programming. Society Framework Andrei Micu, Adrian Iftene	20.09.2015	pp.189-208
Semantics
The Law of Gravitation for Ontologies and Domains of Discourse Vadim Ermolayev	07.09.2015	pp.209-236
Natural computing
Solving Problem of Graph Isomorphism by Hybrid Model Alhazov Artiom, Burţeva Liudmila, Cojocaru Svetlana, Colesnicov Alexandru, Malahov Ludmila	19.09.2015	pp.237-248

 

Copyright © 2001–2023 Vladimir Andrunachievici Institute of Mathematics and Computer Science
Tel: (373 22) 72-59-82, Fax: (373 22) 73-80-27, Email:
Address: 5, Academiei street, Chisinau, Republic of Moldova, MD 2028