Benutzerbeiträge von „Christoph Wernhard“

15. Februar 2018

• 11:0711:07, 15. Feb. 2018 Unterschied Versionen +29 Bytes‎ K Inproceedings3150 ‎Keine Bearbeitungszusammenfassung aktuell
• 11:0311:03, 15. Feb. 2018 Unterschied Versionen +28 Bytes‎ N Techreport3037/en ‎ Page created automatically by parser function on page Techreport3037 aktuell
• 11:0311:03, 15. Feb. 2018 Unterschied Versionen +419 Bytes‎ N Techreport3037 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Techreport |Title= Craig Interpolation and Access Interpolation wit…“ aktuell

20. Dezember 2017

• 08:5508:55, 20. Dez. 2017 Unterschied Versionen −18 Bytes‎ K Techreport3023 ‎Keine Bearbeitungszusammenfassung aktuell

9. Dezember 2017

• 22:1122:11, 9. Dez. 2017 Unterschied Versionen +31 Bytes‎ N Inproceedings3192/en ‎ Page created automatically by parser function on page Inproceedings3192 aktuell
• 22:1122:11, 9. Dez. 2017 Unterschied Versionen +693 Bytes‎ N Inproceedings3192 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Inproceedings |Referiert=1 |Title=Approximating Resultants of Exist…“ aktuell
• 22:0422:04, 9. Dez. 2017 Unterschied Versionen +424 Bytes‎ N Misc3029 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Misc |Title=Craig Interpolation and Query Reformulation with Clausa…“ aktuell
• 21:5721:57, 9. Dez. 2017 Unterschied Versionen +1 Byte‎ K Proceedings3013 ‎Keine Bearbeitungszusammenfassung aktuell
• 21:5521:55, 9. Dez. 2017 Unterschied Versionen 0 Bytes‎ K Proceedings3013 ‎Keine Bearbeitungszusammenfassung
• 21:4921:49, 9. Dez. 2017 Unterschied Versionen +29 Bytes‎ N Proceedings3013/en ‎ Page created automatically by parser function on page Proceedings3013 aktuell
• 21:4921:49, 9. Dez. 2017 Unterschied Versionen +547 Bytes‎ N Proceedings3013 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Patrick |ErsterAutorNachname=Koopmann |FurtherAuthors=Sebastian Rudolph, Renate A. Schmidt, Christoph Wernhard }…“

13. September 2017

• 12:4312:43, 13. Sep. 2017 Unterschied Versionen +68 Bytes‎ SOQE 2017 ‎Keine Bearbeitungszusammenfassung aktuell
• 12:4212:42, 13. Sep. 2017 Unterschied Versionen +20 Bytes‎ N SOQE 2017/en ‎ Page created automatically by parser function on page SOQE 2017 aktuell
• 12:4212:42, 13. Sep. 2017 Unterschied Versionen +328 Bytes‎ N SOQE 2017 ‎ Die Seite wurde neu angelegt: „{{Veranstaltung |Titel EN=SOQE 2017 |Beschreibung EN=Workshop on Second-Order Quantifier Elimination and Related Topics |Veranstaltungsart=Konferenz |Start=201…“

24. Juli 2017

• 07:3407:34, 24. Jul. 2017 Unterschied Versionen +324 Bytes‎ N News30 ‎ Die Seite wurde neu angelegt: „{{Neuigkeit |Titel DE=Happy Birthday Steffen! |Titel EN=Happy Birthday Steffen! |Beschreibung DE=Happy birthday to ICCL co-founder Steffen Hölldobler who cele…“ aktuell

10. Juli 2017

• 15:2015:20, 10. Jul. 2017 Unterschied Versionen +29 Bytes‎ K SOA-VBQP ‎Keine Bearbeitungszusammenfassung

27. Juni 2017

• 07:3207:32, 27. Jun. 2017 Unterschied Versionen +28 Bytes‎ N Techreport3034/en ‎ Page created automatically by parser function on page Techreport3034 aktuell
• 07:3207:32, 27. Jun. 2017 Unterschied Versionen +429 Bytes‎ N Techreport3034 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Techreport |Title=The Boolean Solution Problem from the Perspective…“ aktuell

14. Juni 2017

• 11:1911:19, 14. Jun. 2017 Unterschied Versionen +31 Bytes‎ N Inproceedings3150/en ‎ Page created automatically by parser function on page Inproceedings3150 aktuell
• 11:1911:19, 14. Jun. 2017 Unterschied Versionen +465 Bytes‎ N Inproceedings3150 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Inproceedings |Referiert=1 |Title=The Boolean Solution Problem from…“

7. Oktober 2016

• 14:4914:49, 7. Okt. 2016 Unterschied Versionen +51 Bytes‎ K SOA-VBQP ‎Keine Bearbeitungszusammenfassung

3. Oktober 2016

• 19:5819:58, 3. Okt. 2016 Unterschied Versionen 0 Bytes‎ K MCL/IntroductoryWeek ‎ Link zu "How to write a research paper" auf neues PDF writing2016.pdf gesetzt.

11. Juli 2016

• 19:1019:10, 11. Jul. 2016 Unterschied Versionen +67 Bytes‎ K Inproceedings3065 ‎Keine Bearbeitungszusammenfassung aktuell
• 19:0519:05, 11. Jul. 2016 Unterschied Versionen +525 Bytes‎ N Inproceedings3096 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Inproceedings |Referiert=1 |Title=The PIE system for Proving, Inter…“ aktuell

17. März 2016

• 11:2611:26, 17. Mär. 2016 Unterschied Versionen +42 Bytes‎ K Inproceedings3064 ‎Keine Bearbeitungszusammenfassung aktuell

3. Januar 2016

• 16:3916:39, 3. Jan. 2016 Unterschied Versionen +20 Bytes‎ K Inproceedings3065 ‎Keine Bearbeitungszusammenfassung
• 16:1416:14, 3. Jan. 2016 Unterschied Versionen +69 Bytes‎ K Inproceedings3065 ‎Keine Bearbeitungszusammenfassung
• 16:1116:11, 3. Jan. 2016 Unterschied Versionen +25 Bytes‎ K Inproceedings3064 ‎Keine Bearbeitungszusammenfassung
• 15:5815:58, 3. Jan. 2016 Unterschied Versionen +31 Bytes‎ N Inproceedings3065/en ‎ Page created automatically by parser function on page Inproceedings3065 aktuell
• 15:5815:58, 3. Jan. 2016 Unterschied Versionen +408 Bytes‎ N Inproceedings3065 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jana |ErsterAutorNachname=Kittelmann |FurtherAuthors=Christoph Wernhard; }} {{Inproceedings |Referiert=1 |Title…“

29. Dezember 2015

• 12:2112:21, 29. Dez. 2015 Unterschied Versionen +31 Bytes‎ N Inproceedings3064/en ‎ Page created automatically by parser function on page Inproceedings3064 aktuell
• 12:2112:21, 29. Dez. 2015 Unterschied Versionen +545 Bytes‎ N Inproceedings3064 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Jana |ErsterAutorNachname=Kittelmann |FurtherAuthors=Christoph Wernhard }} {{Inproceedings |Referiert=1 |Title=K…“

7. November 2015

• 10:0210:02, 7. Nov. 2015 Unterschied Versionen 0 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung
• 10:0010:00, 7. Nov. 2015 Unterschied Versionen +3 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung

5. November 2015

• 18:4018:40, 5. Nov. 2015 Unterschied Versionen +133 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung
• 18:3718:37, 5. Nov. 2015 Unterschied Versionen +103 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung
• 18:3418:34, 5. Nov. 2015 Unterschied Versionen +24 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung

21. August 2015

• 08:3408:34, 21. Aug. 2015 Unterschied Versionen +21 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung aktuell
• 08:3308:33, 21. Aug. 2015 Unterschied Versionen +21 Bytes‎ K Techreport3023 ‎Keine Bearbeitungszusammenfassung
• 08:3108:31, 21. Aug. 2015 Unterschied Versionen −15 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung
• 08:2208:22, 21. Aug. 2015 Unterschied Versionen −77 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung
• 08:1008:10, 21. Aug. 2015 Unterschied Versionen +77 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung
• 08:0508:05, 21. Aug. 2015 Unterschied Versionen +28 Bytes‎ N Techreport3023/en ‎ Page created automatically by parser function on page Techreport3023 aktuell
• 08:0508:05, 21. Aug. 2015 Unterschied Versionen +445 Bytes‎ N Techreport3023 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Techreport |Title=Heinrich Behmann's Contributions to Second-Order…“
• 08:0008:00, 21. Aug. 2015 Unterschied Versionen +15 Bytes‎ K Inproceedings3043 ‎Keine Bearbeitungszusammenfassung aktuell

11. August 2015

• 21:3321:33, 11. Aug. 2015 Unterschied Versionen 0 Bytes‎ Inproceedings3043 ‎Keine Bearbeitungszusammenfassung
• 15:3915:39, 11. Aug. 2015 Unterschied Versionen +22 Bytes‎ N Misc3002/en ‎ Page created automatically by parser function on page Misc3002 aktuell
• 15:3915:39, 11. Aug. 2015 Unterschied Versionen +431 Bytes‎ N Misc3002 ‎ Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Misc |Title=Some Fragments Towards Establishing Completeness Proper…“ aktuell
• 15:2615:26, 11. Aug. 2015 Unterschied Versionen +1 Byte‎ K Inproceedings3043 ‎Keine Bearbeitungszusammenfassung
• 15:2515:25, 11. Aug. 2015 Unterschied Versionen +28 Bytes‎ N Techreport3022/en ‎ Page created automatically by parser function on page Techreport3022 aktuell