( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Formalized General Theory of Syntax with Bindings.

, и . ITP, том 10499 из Lecture Notes in Computer Science, стр. 241-261. Springer, (2017)

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.

Razvan Andrei Popescu

Octavian Popescu

Sorin Popescu

Matei Popescu

Luiza Popescu

 

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

A Formally Verified Abstract Account of Gödel's Incompleteness Theorems., и . CADE, том 11716 из Lecture Notes in Computer Science, стр. 442-461. Springer, (2019)Rensets and Renaming-Based Recursion for Syntax with Bindings Extended Version.. J. Autom. Reason., 67 (3): 23 (сентября 2023)CoCon: A Conference Management System with Formally Verified Document Confidentiality., , и . J. Autom. Reason., 65 (2): 321-356 (2021)Term-Generic Logic., и . WADT, том 5486 из Lecture Notes in Computer Science, стр. 290-307. Springer, (2008)A General Theory of Syntax with Bindings., и . Arch. Formal Proofs, (2019)An Institution-Independent Proof of the Robinson Consistency Theorem., и . Stud Logica, 85 (1): 41-73 (2007)Control-observer technique for surface imaging with an experimental platform of Scanning-Tunneling-Microscope type., , , и . ACC, стр. 5113-5118. IEEE, (2018)A Formalized General Theory of Syntax with Bindings., и . ITP, том 10499 из Lecture Notes in Computer Science, стр. 241-261. Springer, (2017)A Framework for Verifying the Collision Freeness of Collaborative Robots (Work in Progress)., , и . iFM, том 14300 из Lecture Notes in Computer Science, стр. 391-397. Springer, (2023)Do Users Appreciate Explanations of Recommendations? An Analysis in the Movie Domain., , , , , и . RecSys, стр. 645-650. ACM, (2021)