( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
(Nominal) Unification by Recursive Descent with Triangular Substitutions.

, и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2010)

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.

Ramana Juvvadi

Venkata Ramana Ikkurthi

Kinetic simulations of dusty plasmas. Uni Greifswald, (2009)

Ramana Saleh Birjandi

Venkata Ramana Sirivolu

Ramana Rao Nunna

 

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

Proof-Producing Reflection for HOL - With an Application to Model Polymorphism., и . ITP, том 9236 из Lecture Notes in Computer Science, стр. 170-186. Springer, (2015)(Nominal) Unification by Recursive Descent with Triangular Substitutions., и . ITP, том 6172 из Lecture Notes in Computer Science, стр. 51-66. Springer, (2010)Verified Certificate Checking for Counting Votes., , , и . VSTTE, том 11294 из Lecture Notes in Computer Science, стр. 69-87. Springer, (2018)Modeling AGI Safety Frameworks with Causal Influence Diagrams., , , и . AISafety@IJCAI, том 2419 из CEUR Workshop Proceedings, CEUR-WS.org, (2019)Verified Characteristic Formulae for CakeML., , , и . ESOP, том 10201 из Lecture Notes in Computer Science, стр. 584-610. Springer, (2017)Steps towards Verified Implementations of HOL Light., , и . ITP, том 7998 из Lecture Notes in Computer Science, стр. 490-495. Springer, (2013)A Proof Strategy Language and Proof Script Generation for Isabelle/HOL., и . CADE, том 10395 из Lecture Notes in Computer Science, стр. 528-545. Springer, (2017)Candle: A Verified Implementation of HOL Light., , , и . ITP, том 237 из LIPIcs, стр. 3:1-3:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)Standalone Tactics Using OpenTheory., и . ITP, том 7406 из Lecture Notes in Computer Science, стр. 405-411. Springer, (2012)Scaling Goal-based Exploration via Pruning Proto-goals., , , и . CoRR, (2023)