( en | de | ru )

 

Disambiguation of "Ramakrishnan, C. R."

Author of the publication

copydeleteadd this publication to your clipboard
Unification Factoring for Efficient Execution of Logic Programs.

, , , , , , and . POPL, page 247-258. ACM Press, (1995)

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.

C R Jacob

Rishi Ramakrishnan

Mahmut Çag r c

J R C Cousland

Heinrich C R Klein

 

Other publications of authors with the same name

Specification and evaluation of logic-based model checking., , , and . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 73-74 (2000)A logical encoding of the pi-calculus: model checking mobile processes using tabled resolution., , and . Int. J. Softw. Tools Technol. Transf., 6 (1): 38-66 (2004)Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software., and . Int. J. Softw. Tools Technol. Transf., 18 (4): 355-357 (2016)A process calculus for Mobile Ad Hoc Networks., , and . Sci. Comput. Program., 75 (6): 440-469 (2010)Constraint-Based Inference in Probabilistic Logic Programs., , and . Theory Pract. Log. Program., 18 (3-4): 638-655 (2018)Adaptive MCMC-Based Inference in Probabilistic Logic Programs., and . CoRR, (2014)XPL: An extended probabilistic logic for probabilistic transition systems., and . CoRR, (2016)State-space search with tabled logic programs.. Declarative Logic Programming, volume 20 of ACM Books, ACM / Morgan & Claypool, (2018)Generation and Distribution of GHZ States in Quantum Networks., , and . QCE, page 1120-1131. IEEE, (2023)Pre-Distribution of Entanglements in Quantum Networks., , , and . QCE, page 426-436. IEEE, (2022)