( en | de | ru )

 

Disambiguation of "Cho, Kenta"

Author of the publication

copydeleteadd this publication to your clipboard
Diagnosing Non-Well-Moded Concurrent Logic Programs.

, and . JICSLP, page 215-229. MIT Press, (1996)

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.

Kenta Imai

Modar Kentar

Miyeon Cho

Photooxygenierung in Mikroemulsionen und mit dualen Photokatalysatoren. Uni Köln, (2009)

Seongdon Cho

Myunghun Cho

 

Other publications of authors with the same name

The EfProb Library for Probabilistic Calculations., and . CALCO, volume 72 of LIPIcs, page 25:1-25:8. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Context-aware agent platform in ubiquitous environments and its verification tests., , , , and . Syst. Comput. Jpn., 35 (7): 13-23 (2004)Dichotomy between deterministic and probabilistic models in countably additive effectus theory., , and . QPL, volume 340 of EPTCS, page 91-113. (2020)Implementation of Telematics Services with Context-Aware Agent Framework., , , , , and . UCS, volume 4239 of Lecture Notes in Computer Science, page 98-110. Springer, (2006)Coinductive Predicates and Final Sequences in a Fibration, , , and . Electronic Notes in Theoretical Computer Science, 298 (0): 197 - 214 (2013)Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, \MFPS\ \XXIX\.Context-Aware Agent Platform in Ubiquitous Environments and Its Verification Tests., , , , and . PerCom, page 547-552. IEEE Computer Society, (2003)Interoperability for mobile agents by incarnation agents., , , , , and . AAMAS, page 1006-1007. ACM, (2003)Mobile Agents and Logic Programming., , and . Mobile Agents, volume 2535 of Lecture Notes in Computer Science, page 32-46. Springer, (2002)Logic Programming for Agents., , and . PRICAI, volume 2417 of Lecture Notes in Computer Science, page 591. Springer, (2002)Disintegration and Bayesian Inversion, Both Abstractly and Concretely., and . CoRR, (2017)