Benutzerbeiträge von „Christoph Wernhard“

15. Februar 2018

• 09:0709:07, 15. Feb. 2018 Unterschied Versionen +29 K Inproceedings3150 Keine Bearbeitungszusammenfassung aktuell
• 09:0309:03, 15. Feb. 2018 Unterschied Versionen +28 N Techreport3037/en Page created automatically by parser function on page Techreport3037 aktuell
• 09:0309:03, 15. Feb. 2018 Unterschied Versionen +419 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

• 06:5506:55, 20. Dez. 2017 Unterschied Versionen −18 K Techreport3023 Keine Bearbeitungszusammenfassung aktuell

9. Dezember 2017

• 20:1120:11, 9. Dez. 2017 Unterschied Versionen +31 N Inproceedings3192/en Page created automatically by parser function on page Inproceedings3192 aktuell
• 20:1120:11, 9. Dez. 2017 Unterschied Versionen +693 N Inproceedings3192 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Inproceedings |Referiert=1 |Title=Approximating Resultants of Exist…“ aktuell
• 20:0420:04, 9. Dez. 2017 Unterschied Versionen +424 N Misc3029 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Misc |Title=Craig Interpolation and Query Reformulation with Clausa…“ aktuell
• 19:5719:57, 9. Dez. 2017 Unterschied Versionen +1 K Proceedings3013 Keine Bearbeitungszusammenfassung aktuell
• 19:5519:55, 9. Dez. 2017 Unterschied Versionen 0 K Proceedings3013 Keine Bearbeitungszusammenfassung
• 19:4919:49, 9. Dez. 2017 Unterschied Versionen +29 N Proceedings3013/en Page created automatically by parser function on page Proceedings3013 aktuell
• 19:4919:49, 9. Dez. 2017 Unterschied Versionen +547 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

• 10:4310:43, 13. Sep. 2017 Unterschied Versionen +68 SOQE 2017 Keine Bearbeitungszusammenfassung aktuell
• 10:4210:42, 13. Sep. 2017 Unterschied Versionen +20 N SOQE 2017/en Page created automatically by parser function on page SOQE 2017 aktuell
• 10:4210:42, 13. Sep. 2017 Unterschied Versionen +328 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

• 05:3405:34, 24. Jul. 2017 Unterschied Versionen +324 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

• 13:2013:20, 10. Jul. 2017 Unterschied Versionen +29 K SOA-VBQP Keine Bearbeitungszusammenfassung

27. Juni 2017

• 05:3205:32, 27. Jun. 2017 Unterschied Versionen +28 N Techreport3034/en Page created automatically by parser function on page Techreport3034 aktuell
• 05:3205:32, 27. Jun. 2017 Unterschied Versionen +429 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

• 09:1909:19, 14. Jun. 2017 Unterschied Versionen +31 N Inproceedings3150/en Page created automatically by parser function on page Inproceedings3150 aktuell
• 09:1909:19, 14. Jun. 2017 Unterschied Versionen +465 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

• 12:4912:49, 7. Okt. 2016 Unterschied Versionen +51 K SOA-VBQP Keine Bearbeitungszusammenfassung

3. Oktober 2016

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

11. Juli 2016

• 17:1017:10, 11. Jul. 2016 Unterschied Versionen +67 K Inproceedings3065 Keine Bearbeitungszusammenfassung aktuell
• 17:0517:05, 11. Jul. 2016 Unterschied Versionen +525 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

• 09:2609:26, 17. Mär. 2016 Unterschied Versionen +42 K Inproceedings3064 Keine Bearbeitungszusammenfassung aktuell

3. Januar 2016

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

29. Dezember 2015

• 10:2110:21, 29. Dez. 2015 Unterschied Versionen +31 N Inproceedings3064/en Page created automatically by parser function on page Inproceedings3064 aktuell
• 10:2110:21, 29. Dez. 2015 Unterschied Versionen +545 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

• 08:0208:02, 7. Nov. 2015 Unterschied Versionen 0 Formale Systeme(WS2015) Keine Bearbeitungszusammenfassung
• 08:0008:00, 7. Nov. 2015 Unterschied Versionen +3 Formale Systeme(WS2015) Keine Bearbeitungszusammenfassung

5. November 2015

• 16:4016:40, 5. Nov. 2015 Unterschied Versionen +133 Formale Systeme(WS2015) Keine Bearbeitungszusammenfassung
• 16:3716:37, 5. Nov. 2015 Unterschied Versionen +103 Formale Systeme(WS2015) Keine Bearbeitungszusammenfassung
• 16:3416:34, 5. Nov. 2015 Unterschied Versionen +24 Formale Systeme(WS2015) Keine Bearbeitungszusammenfassung

21. August 2015

• 06:3406:34, 21. Aug. 2015 Unterschied Versionen +21 K Techreport3022 Keine Bearbeitungszusammenfassung aktuell
• 06:3306:33, 21. Aug. 2015 Unterschied Versionen +21 K Techreport3023 Keine Bearbeitungszusammenfassung
• 06:3106:31, 21. Aug. 2015 Unterschied Versionen −15 K Techreport3022 Keine Bearbeitungszusammenfassung
• 06:2206:22, 21. Aug. 2015 Unterschied Versionen −77 K Techreport3022 Keine Bearbeitungszusammenfassung
• 06:1006:10, 21. Aug. 2015 Unterschied Versionen +77 K Techreport3022 Keine Bearbeitungszusammenfassung
• 06:0506:05, 21. Aug. 2015 Unterschied Versionen +28 N Techreport3023/en Page created automatically by parser function on page Techreport3023 aktuell
• 06:0506:05, 21. Aug. 2015 Unterschied Versionen +445 N Techreport3023 Die Seite wurde neu angelegt: „{{Publikation Erster Autor |ErsterAutorVorname=Christoph |ErsterAutorNachname=Wernhard }} {{Techreport |Title=Heinrich Behmann's Contributions to Second-Order…“
• 06:0006:00, 21. Aug. 2015 Unterschied Versionen +15 K Inproceedings3043 Keine Bearbeitungszusammenfassung aktuell

11. August 2015

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