( en | de | ru )

 

Disambiguation of "Semenov, Alexei L."

Author of the publication

copydeleteadd this publication to your clipboard
Decidability of Monadic Theories.

. MFCS, volume 176 of Lecture Notes in Computer Science, page 162-175. Springer, (1984)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Nikita Semenov

Dmitry Semenov

Alexei Gratchev

Alexei Savtchkov

Alexei Strelchenko

 

Other publications of authors with the same name

Technology in transforming education.. Communications and Networking in Education, volume 163 of IFIP Conference Proceedings, page 25-38. Kluwer, (1999)Synthesis of Speed-Independent Circuits from STG-Unfolding Segment., , , , and . DAC, page 16-21. ACM Press, (1997)Designing an asynchronous pipeline token ring interface., , , and . ASYNC, page 32-. IEEE Computer Society, (1995)The Lattice of Definability. Origins, Recent Developments, and Further Directions., , and . CSR, volume 8476 of Lecture Notes in Computer Science, page 23-38. Springer, (2014)What are the gains of the theory of algorithms: Basis developments connected with the concept of algorithm and with its application in mathematics., and . Algorithms in Modern Mathematics and Computer Science, volume 122 of Lecture Notes in Computer Science, page 100-234. Springer, (1979)Unfolding and Finite Prefix for Nets with Read Arcs., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 501-516. Springer, (1998)Decidability of Monadic Theories.. MFCS, volume 176 of Lecture Notes in Computer Science, page 162-175. Springer, (1984)Verification of asynchronous circuits using Time Petri Net unfolding., and . DAC, page 59-62. ACM Press, (1996)Partial order based approach to synthesis of speed-independent circuits., , , , , and . ASYNC, page 254-. IEEE Computer Society, (1997)