( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Timed π-Calculus.

, и . TGC, том 8358 из Lecture Notes in Computer Science, стр. 119-135. Springer, (2013)

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.

Karappurath Gopalan

Kreshna Gopal

Gopal Mamdapurkar

Vijay Gopalakrishnan

Ram Gopal

 

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

Extended Dynamic Dependent And-Parallelism in ACE., и . J. Funct. Log. Program., (1999)FOLD-SE: Scalable Explainable AI., и . CoRR, (2022)A virtual sleep laboratory., , , и . mHealthSys@SenSys, стр. 10:1-10:2. ACM, (2011)HygeiaTel: an intelligent telemedicine system with cognitive support., , , и . mHealthSys@SenSys, стр. 9:1-9:2. ACM, (2011)The Temporal Precedence Problem., , , и . Algorithmica, 28 (3): 288-306 (2000)ACE: And/Or-parallel Copying-based Execution of Logic Programs., и . ICLP Workshop on Parallel Execution of Logic Programs, том 569 из Lecture Notes in Computer Science, стр. 146-158. Springer, (1991)Modelling and Verification of Timed Systems with the Event Calculus and s(CASP)., , , , , , , и . ICLP Workshops, том 2970 из CEUR Workshop Proceedings, CEUR-WS.org, (2021)Cumulative Scoring-Based Induction of Default Theories., и . ICLP (Technical Communications), том 64 из OASIcs, стр. 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Towards a Universal Maths Conversion Library., , , , , и . ICCHP, том 3118 из Lecture Notes in Computer Science, стр. 664-669. Springer, (2004)Infinite Computation, Co-induction and Computational Logic., , , , , и . CALCO, том 6859 из Lecture Notes in Computer Science, стр. 40-54. Springer, (2011)