A. A. Letichevskij

Available identifiers

zbMath Open letychivskyi.oleksandr-adolfovychWikidataQ12117772 ScholiaQ12117772MaRDI QIDQ1286272

List of research outcomes

Publication	Date of Publication	Type
Insertion modeling and its applications	2018-07-03	Paper
Cyber-physical systems	2018-02-23	Paper
Generating symbolic traces in the insertion modeling system	2015-11-26	Paper
Glushkov's evidence algorithm	2014-10-27	Paper
Properties of a predicate transformer of the VRS system	2014-06-05	Paper
Parallel inference search in logical calculus based on the algebraic programming system	2014-06-05	Paper
The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape	2010-05-26	Paper
Systems specification by basic protocols	2006-10-20	Paper
Algebra of behavior transformations and its applications	2006-02-13	Paper
Basic protocols, message sequence charts, and the verification of requirements specifications	2005-11-07	Paper
Insertion programming	2004-03-29	Paper
Semantics of timed message sequence charts	2003-09-09	Paper
https://portal.mardi4nfdi.de/entity/Q2722032	2001-07-11	Paper
Use of the method of formalized technical assignments for the program designs for processing data structures	2001-04-26	Paper
A general theory of action languages	1999-09-13	Paper
https://portal.mardi4nfdi.de/entity/Q4055582	1973-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5672193	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5576260	1969-01-01	Paper
An extension of the logical potentialities of ALGOL-60	1967-01-01	Paper
Automatic expansions of representations of free semigroups	1962-01-01	Paper
Completeness conditions for finite automata	1961-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q6483347	0001-01-03	Paper

Research outcomes over time

This page was built for person: A. A. Letichevskij