The following pages link to Alexander Letichevsky (Q1286272):
Displayed 22 items.
- (Q466394) (redirect page) (← links)
- Glushkov's evidence algorithm (Q466397) (← links)
- Generating symbolic traces in the insertion modeling system (Q895075) (← links)
- A general theory of action languages (Q1286273) (← links)
- (Q1406343) (redirect page) (← links)
- Semantics of timed message sequence charts (Q1406345) (← links)
- Insertion programming (Q1429048) (← links)
- Insertion modeling and its applications (Q1650372) (← links)
- Cyber-physical systems (Q1699390) (← links)
- Properties of a predicate transformer of the VRS system (Q2452750) (← links)
- Parallel inference search in logical calculus based on the algebraic programming system (Q2452767) (← links)
- Systems specification by basic protocols (Q2508786) (← links)
- Basic protocols, message sequence charts, and the verification of requirements specifications (Q2573328) (← links)
- (Q2722032) (← links)
- (Q3365842) (← links)
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (Q3564880) (← links)
- (Q4055582) (← links)
- Completeness conditions for finite automata (Q5329389) (← links)
- An extension of the logical potentialities of ALGOL-60 (Q5527482) (← links)
- (Q5576260) (← links)
- (Q5672193) (← links)
- Automatic expansions of representations of free semigroups (Q5733556) (← links)