( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Asynchronous wreath product and cascade decompositions for concurrent behaviours.

, , , и . Log. Methods Comput. Sci., (2022)

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.

Bharat Balasubramanian

Bharat Kurana

Bharat Kalra

Bharat Gadhia

Bharat Gadhia

 

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

Asynchronous wreath product and cascade decompositions for concurrent behaviours., , , и . Log. Methods Comput. Sci., (2022)Algebraic characterizations and block product decompositions for first order logic and its infinitary quantifier extensions over countable words., , и . J. Comput. Syst. Sci., (2023)Wreath/cascade products and related decomposition results for the concurrent setting of Mazurkiewicz traces (extended version)., , , и . CoRR, (2020)First-Order Logic and Its Infinitary Quantifier Extensions over Countable Words., , и . FCT, том 12867 из Lecture Notes in Computer Science, стр. 39-52. Springer, (2021)A procedural framework and mathematical analysis for solid sweeps, , и . CoRR, (2012)Propositional Dynamic Logic and Asynchronous Cascade Decompositions for Regular Trace Languages., , , и . CONCUR, том 243 из LIPIcs, стр. 28:1-28:19. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Fast Algorithms for Rank-1 Bimatrix Games., , , , и . CoRR, (2018)Fast Algorithms for Rank-1 Bimatrix Games., , , , и . Oper. Res., 69 (2): 613-631 (2021)Local and global analysis of parametric solid sweeps., , и . Comput. Aided Geom. Des., 31 (6): 294-316 (2014)Rank-1 Bi-matrix Games: A Homeomorphism and a Polynomial Time Algorithm, , , и . CoRR, (2010)