Institutul de Matematică şi Informatică "Vladimir Andrunachievici"

RO EN

CSJM v.23, n.2 (68), 2015

Theory of computing
About FOI-2015	27.10.2015	pp.99-101

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