( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Analysis and Transformation of Constrained Horn Clauses for Program Verification.

, , , , , и . Theory Pract. Log. Program., 22 (6): 974-1042 (2022)

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.

Alberto Pettorossi

Alberto Fierro

Alberto Ricco

Alberto Moreira

Alberto Moreira

 

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

Preface., , , и . Fundam. Informaticae, (2020)Semantics and Controllability of Time-Aware Business Processes., , , , и . Fundam. Informaticae, 165 (3-4): 205-244 (2019)Multiple Query Satisfiability of Constrained Horn Clauses., , , и . CoRR, (2022)A Historical Perspective on Program Transformation and Recent Developments (Invited Contribution)., , , и . PEPM, стр. 16-38. ACM, (2024)Totally correct logic program transformations via well-founded annotations., и . High. Order Symb. Comput., 21 (1-2): 235 (2008)Removing Algebraic Data Types from Constrained Horn Clauses Using Difference Predicates., , , и . IJCAR (1), том 12166 из Lecture Notes in Computer Science, стр. 83-102. Springer, (2020)Analysis and Transformation of Constrained Horn Clauses for Program Verification., , , , , и . Theory Pract. Log. Program., 22 (6): 974-1042 (2022)Multiple Query Satisfiability of Constrained Horn Clauses., , , и . PADL, том 13880 из Lecture Notes in Computer Science, стр. 125-143. Springer, (2023)Lemma Generation for Horn Clause Satisfiability: A Preliminary Study., , , и . VPT@Programming, том 299 из EPTCS, стр. 4-18. (2019)Satisfiability of Constrained Horn Clauses on Algebraic Data Types: A Transformation-based Approach., , , и . CoRR, (2021)