( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Transforming and Analyzing Proofs in the CERES-System.

, , , и . LPAR Workshops, том 418 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)

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.

Gustav Weller

Gerhard Weller

Karin Weller

Dieter Weller

Frank Weller

 

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

Exposition: Synthesis via Functional Interpretation.. CoRR, (2014)System Feature Description: Importing Refutations into the GAPT Framework., , , , , , и . PxTP, том 878 из CEUR Workshop Proceedings, стр. 51-57. CEUR-WS.org, (2012)Transforming and Analyzing Proofs in the CERES-System., , , и . LPAR Workshops, том 418 из CEUR Workshop Proceedings, CEUR-WS.org, (2008)Herbrand Sequent Extraction., , , и . AISC/MKM/Calculemus, том 5144 из Lecture Notes in Computer Science, стр. 462-477. Springer, (2008)Expansion trees with cut., , и . Math. Struct. Comput. Sci., 29 (8): 1009-1029 (2019)System Description: The Proof Transformation System CERES., , , , и . IJCAR, том 6173 из Lecture Notes in Computer Science, стр. 427-433. Springer, (2010)Introducing Quantified Cuts in Logic with Equality., , , , и . IJCAR, том 8562 из Lecture Notes in Computer Science, стр. 240-254. Springer, (2014)A Clausal Approach to Proof Analysis in Second-Order Logic., , , и . LFCS, том 5407 из Lecture Notes in Computer Science, стр. 214-229. Springer, (2009)CERES in higher-order logic., , и . Ann. Pure Appl. Log., 162 (12): 1001-1034 (2011)Towards Algorithmic Cut-Introduction., , и . LPAR, том 7180 из Lecture Notes in Computer Science, стр. 228-242. Springer, (2012)