Marina K. Morokhovets

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Application and development of linguistic software tools for analyzing and transforming the texts of requirements for software systems Cybernetics and Systems Analysis	2022-12-09	Paper
Cyber-physical systems: the linguistic aspect Cybernetics and Systems Analysis	2020-12-14	Paper
Glushkov's evidence algorithm Cybernetics and Systems Analysis	2014-10-27	Paper
Parallel inference search in logical calculus based on the algebraic programming system Cybernetics and Systems Analysis	2014-06-05	Paper
International workshop ``Automata, algorithms, and information technologies Cybernetics and Systems Analysis	2014-06-05	Paper
On the EA-style integrated processing of self-contained mathematical texts	2001-10-21	Paper
Peculiarities of deductive constructions in evidence algorithm information environment Visnyk. Seriya: Fizyko-Matematychni Nauky. Kyïvs'kyĭ Universytet Imeni Tarasa Shevchenka	2001-09-11	Paper
scientific article; zbMATH DE number 1405443 (Why is no real title available?)	2000-06-22	Paper
Resolution-based approach to compatibility analysis of interacting automata Theoretical Computer Science	1998-08-13	Paper
Combining formal derivation search procedures and natural theorem proving techniques in an automated theorem proving system Cybernetics and Systems Analysis	1997-10-06	Paper
Resolution approach to testing compatibility of interacting automata Cybernetics and Systems Analysis	1996-01-08	Paper
scientific article; zbMATH DE number 516988 (Why is no real title available?)	1994-03-17	Paper
Deduction-seeking procedures and transitive relations Cybernetics	1985-01-01	Paper
scientific article; zbMATH DE number 3957052 (Why is no real title available?)	1984-01-01	Paper
Strategies of the search for derivation of statements with restricted quantifiers Cybernetics	1983-01-01	Paper

Research outcomes over time

This page was built for person: Marina K. Morokhovets