( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Congruence Closure in Intensional Type Theory.

, и . CoRR, (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.

Pedro ˜deœ Almeida Moura

José Carlos de Andrade Moura

José Moura

Sabine Mouratidis

Anastasia Mouratidou

 

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

Solving non-linear arithmetic., и . ACM Commun. Comput. Algebra, 46 (3/4): 104-105 (2012)Tabled Typeclass Resolution., , и . CoRR, (2020)A metaprogramming framework for formal verification., , , , и . Proc. ACM Program. Lang., 1 (ICFP): 34:1-34:29 (2017)The Lean 4 Theorem Prover and Programming Language., и . CADE, том 12699 из Lecture Notes in Computer Science, стр. 625-635. Springer, (2021)Congruence Closure in Intensional Type Theory., и . IJCAR, том 9706 из Lecture Notes in Computer Science, стр. 99-115. Springer, (2016)Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages., и . IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 167-182. Springer, (2020)Programming Z3., , , и . SETSS, том 11430 из Lecture Notes in Computer Science, стр. 148-201. Springer, (2018)Universal Policies for Software-Defined MDPs., , , и . CoRR, (2020)Sealing Pointer-Based Optimizations Behind Pure Functions., , и . CoRR, (2020)Preface: Selected Extended Papers of CADE 2017.. J. Autom. Reason., 64 (3): 511 (2020)