From post

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.

 

Другие публикации лиц с тем же именем

Normalization of Some Extended Abstract State Machines., и . Fields of Logic and Computation, том 6300 из Lecture Notes in Computer Science, стр. 165-180. Springer, (2010)A characterization of fair computations of finite state SCCS processes.. Formal Properties of Finite Automata and Applications, том 386 из Lecture Notes in Computer Science, стр. 234-248. Springer, (1988)Affine completeness of some free binary algebras., , и . CoRR, (2021)On the Axiomatization of "If-Then-Else"., и . SIAM J. Comput., 16 (2): 332-357 (1987)About Boundedness for some DATALOG and DATALOG_neg Programs., и . MFCS, том 629 из Lecture Notes in Computer Science, стр. 284-297. Springer, (1992)Improving Fixpoint Toole for Computer Science.. IFIP Congress, стр. 1109-1114. North-Holland/IFIP, (1989)The algebra of binary trees is affine complete., , , и . CoRR, (2020)Window-Accumulated Subsequence Matching Problem is Linear., , , и . PODS, стр. 327-336. ACM Press, (1999)Correctness of Basic Systolic Systems Transformations., и . IFIP Congress (1), том A-51 из IFIP Transactions, стр. 315-321. North-Holland, (1994)The Expressiveness of Datalog Circuits (DAC)., , и . MFCS, том 1295 из Lecture Notes in Computer Science, стр. 119-128. Springer, (1997)