Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
About FOI-2015
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Fulltext
– 0.34 Mb
Contents
- About FOI-2015
- Semantic Properties of T-consequence Relation in Logics of Quasiary Predicates
- BioMaxP: A Formal Approach for Cellular Ion Pumps
- Structuring of Specification Modules (extended)
- Fundamental theorems of extensional untyped lambda-calculus revisited
- Finite automata over algebraic structures: models and some methods of analysis
- Communicative automata based programming. Society Framework
- The Law of Gravitation for Ontologies and Domains of Discourse
- Solving Problem of Graph Isomorphism by Hybrid Model
