( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Certifying the Weighted Path Order (Invited Talk).

, , , и . FSCD, том 167 из LIPIcs, стр. 4:1-4:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)

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.

René Thiemann

René Thiemann

René Berndt

Einfluss eines diabaten Turboladermodells auf die Gesamtprozess-Simulation abgasturboaufgeladener PKW-Dieselmotoren. TU Berlin, (2009)

Dorothea Renesse

Horst Renemann

 

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

A Formalization of Knuth-Bendix Orders., и . Arch. Formal Proofs, (2020)Extending a Verified Simplex Algorithm.. LPAR (Workshop and Short Papers), том 9 из Kalpa Publications in Computing, стр. 37-48. EasyChair, (2018)Solving Cubic and Quartic Equations.. Arch. Formal Proofs, (2021)Correction to: A Formalization of the Smith Normal Form in Higher-Order Logic., и . J. Autom. Reason., 66 (4): 1097 (2022)Preface., и . LSFA, том 323 из Electronic Notes in Theoretical Computer Science, стр. 1-2. Elsevier, (2015)Certification of Confluence- and Commutation-Proofs via Parallel Critical Pairs., , , и . CPP, стр. 147-161. ACM, (2024)Linear Inequalities., , и . Arch. Formal Proofs, (2019)A Formalization of the Smith Normal Form in Higher-Order Logic., и . J. Autom. Reason., 66 (4): 1065-1095 (2022)A Perron-Frobenius theorem for deciding matrix growth.. J. Log. Algebraic Methods Program., (2021)Factorization of Polynomials with Algebraic Coefficients., и . Arch. Formal Proofs, (2021)