Alexander Letichevsky

Available identifiers

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
https://portal.mardi4nfdi.de/entity/Q3365842	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
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

This page was built for person: Alexander Letichevsky