Institutul de Matematică şi Informatică "Vladimir Andrunachievici"
Universitatea de Stat din MoldovaRO EN
Insertion Modeling and Its Applications
Authors: Alexander Letichevsky, Oleksandr Letychevskyi, Vladimir Peschanenko
Keywords: process algebra, insertion modeling, formal models, verification.
– 0.20 Mb
Keywords: process algebra, insertion modeling, formal models, verification.
Abstract
The paper relates to the theoretical and practical aspects of insertion modeling. Insertion modeling is a theory of agents and environments interaction where an environment is considered as agent with a special insertion function. The main notions of insertion modeling are presented. Insertion Modeling System is described as a tool for development of different kinds of insertion machines. The research and industrial applications of Insertion Modeling System are presented.Alexander Letichevsky
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
40 Glushkov ave., Kyiv, Ukraine, 03187
Phone: +38 (044) 526-00-58
E-mail: Oleksandr Letychevskyi
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
40 Glushkov ave., Kyiv, Ukraine, 03187
Phone:+38 (044) 526-00-58
E-mail: Vladimir Peschanenko
Kherson State University of Ukraine
27, 40 rokiv Zhovtnya St., Kherson, Ukraine 73000
Phone: +38 (0552) 32-67-68
E-mail:
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
40 Glushkov ave., Kyiv, Ukraine, 03187
Phone: +38 (044) 526-00-58
E-mail: Oleksandr Letychevskyi
V.M. Glushkov Institute of Cybernetics of National Academy of Sciences of Ukraine
40 Glushkov ave., Kyiv, Ukraine, 03187
Phone:+38 (044) 526-00-58
E-mail: Vladimir Peschanenko
Kherson State University of Ukraine
27, 40 rokiv Zhovtnya St., Kherson, Ukraine 73000
Phone: +38 (0552) 32-67-68
E-mail:
This work is licensed under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International License
Fulltext
– 0.20 Mb
Contents
- Propositional inquisitive logic: a survey
- "The absence of the difference from a pot is potness" - Axiomatic Proofs of Theorems Concerning Negative Properties in Navya-Nyāya
- About Applications of Distances on Monoids of Strings
- Insertion Modeling and Its Applications
- Proving Properties of Programs on Hierarchical Nominative Data
- Natural Language Processing versus Logic. Pros and cons on the dispute whether logic is useful in the computational interpretation of language
- Executable choreographies applied in OPERANDO
