Name Card

Full name Familienname, Vorname
Urban, Josef
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Jakubuv, Jan ; Suda, Martin ; Urban, Josef Automated Invention of Strategies and Term Orderings for VampireKonferenzbeitrag Inproceedings 2017
2Alama, Jesse ; Heskes, Tom ; Kühlwein, Daniel ; Tsivtsivadze, Evgeni ; Urban, Josef Premise selection for mathematics by corpus analysis and kernel methodsArtikel Article2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-4 of 4 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1van der Giessen-2023-Extensions ofK5 Proof Theory andUniform Lyndon Inter...-vor.pdf.jpgvan der Giessen, Iris ; Jalali, Raheleh ; Kuznets, Roman Extensions of K5: Proof Theory and Uniform Lyndon InterpolationInproceedings Konferenzbeitrag 14-Sep-2023
2Rawson, Michael ; Wernhard, Christoph ; Zombori, Zsolt ; Bibel, Wolfgang Lemmas: Generation, Selection, ApplicationInproceedings Konferenzbeitrag 14-Sep-2023
3Eisenhofer-2023-Non-Classical Logics inSatisfiability Modulo Theories-vor.pdf.jpgEisenhofer, Clemens ; Alassaf, Ruba ; Rawson, Michael ; Kovács, Laura Non-Classical Logics in Satisfiability Modulo TheoriesInproceedings Konferenzbeitrag 14-Sep-2023
4Kuznets-2023-Always Look on Both Sides of Proof Syntax and Semantics as t...-vor.pdf.jpgKuznets, Roman Always Look on Both Sides of Proof: Syntax and Semantics as the Yin and Yang of Structural Proof TheoryInproceedings Konferenzbeitrag 13-Sep-2023