( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SCL(EQ): SCL for First-Order Logic with Equality.

, и . J. Autom. Reason., 67 (3): 22 (сентября 2023)

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.

Ida Leidinger

Petra Leidinger

Friedrich Leidinger

Klaus Leidinger

Georg Leidinger

 

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

SCL(EQ): SCL for First-Order Logic with Equality., и . J. Autom. Reason., 67 (3): 22 (сентября 2023)KBO Constraint Solving Revisited., , и . FroCoS, том 14279 из Lecture Notes in Computer Science, стр. 81-98. Springer, (2023)SCL(EQ): SCL for First-Order Logic with Equality., и . IJCAR, том 13385 из Lecture Notes in Computer Science, стр. 228-247. Springer, (2022)