Travelled to:1 × Estonia
1 × Germany
Collaborated with:∅ A.S.Shoukourian S.K.Shoukourian
Talks about:multidimension (1) determinist (1) strategi (1) multitap (1) automata (1) solvabl (1) problem (1) equival (1) develop (1) rewrit (1)
Person: Alexander A. Letichevsky
DBLP: Letichevsky:Alexander_A=
Contributed to:
2010
1993Wrote 2 papers:
- LATA-2010-LetichevskySS #automaton #equivalence #finite #multi #problem #proving #using
- The Equivalence Problem of Deterministic Multitape Finite Automata: A New Proof of Solvability Using a Multidimensional Tape (AAL, ASS, SKS), pp. 392–402.
- PLILP-1993-Letichevsky #development
- Development of Rewriting Strategies (AAL), pp. 378–390.