Benutzerbeiträge von „Christoph Wernhard“

15. Februar 2018

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

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

9. Dezember 2017

• 21:1121:11, 9. Dez. 2017 Unterschied Versionen +31 Bytes‎ N Inproceedings3192/en ‎ Page created automatically by parser function on page Inproceedings3192 aktuell
• 21:1121: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
• 21:0421: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
• 20:5720:57, 9. Dez. 2017 Unterschied Versionen +1 Byte‎ K Proceedings3013 ‎Keine Bearbeitungszusammenfassung aktuell
• 20:5520:55, 9. Dez. 2017 Unterschied Versionen 0 Bytes‎ K Proceedings3013 ‎Keine Bearbeitungszusammenfassung
• 20:4920:49, 9. Dez. 2017 Unterschied Versionen +29 Bytes‎ N Proceedings3013/en ‎ Page created automatically by parser function on page Proceedings3013 aktuell
• 20:4920: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

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

• 06:3406: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

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

27. Juni 2017

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

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

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

3. Oktober 2016

• 18:5818: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

• 18:1018:10, 11. Jul. 2016 Unterschied Versionen +67 Bytes‎ K Inproceedings3065 ‎Keine Bearbeitungszusammenfassung aktuell
• 18:0518: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

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

3. Januar 2016

• 15:3915:39, 3. Jan. 2016 Unterschied Versionen +20 Bytes‎ K Inproceedings3065 ‎Keine Bearbeitungszusammenfassung
• 15:1415:14, 3. Jan. 2016 Unterschied Versionen +69 Bytes‎ K Inproceedings3065 ‎Keine Bearbeitungszusammenfassung
• 15:1115:11, 3. Jan. 2016 Unterschied Versionen +25 Bytes‎ K Inproceedings3064 ‎Keine Bearbeitungszusammenfassung
• 14:5814:58, 3. Jan. 2016 Unterschied Versionen +31 Bytes‎ N Inproceedings3065/en ‎ Page created automatically by parser function on page Inproceedings3065 aktuell
• 14:5814: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

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

• 09:0209:02, 7. Nov. 2015 Unterschied Versionen 0 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung
• 09:0009:00, 7. Nov. 2015 Unterschied Versionen +3 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung

5. November 2015

• 17:4017:40, 5. Nov. 2015 Unterschied Versionen +133 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung
• 17:3717:37, 5. Nov. 2015 Unterschied Versionen +103 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung
• 17:3417:34, 5. Nov. 2015 Unterschied Versionen +24 Bytes‎ Formale Systeme(WS2015) ‎Keine Bearbeitungszusammenfassung

21. August 2015

• 07:3407:34, 21. Aug. 2015 Unterschied Versionen +21 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung aktuell
• 07:3307:33, 21. Aug. 2015 Unterschied Versionen +21 Bytes‎ K Techreport3023 ‎Keine Bearbeitungszusammenfassung
• 07:3107:31, 21. Aug. 2015 Unterschied Versionen −15 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung
• 07:2207:22, 21. Aug. 2015 Unterschied Versionen −77 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung
• 07:1007:10, 21. Aug. 2015 Unterschied Versionen +77 Bytes‎ K Techreport3022 ‎Keine Bearbeitungszusammenfassung
• 07:0507:05, 21. Aug. 2015 Unterschied Versionen +28 Bytes‎ N Techreport3023/en ‎ Page created automatically by parser function on page Techreport3023 aktuell
• 07:0507: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…“
• 07:0007:00, 21. Aug. 2015 Unterschied Versionen +15 Bytes‎ K Inproceedings3043 ‎Keine Bearbeitungszusammenfassung aktuell

11. August 2015

• 20:3320:33, 11. Aug. 2015 Unterschied Versionen 0 Bytes‎ Inproceedings3043 ‎Keine Bearbeitungszusammenfassung
• 14:3914:39, 11. Aug. 2015 Unterschied Versionen +22 Bytes‎ N Misc3002/en ‎ Page created automatically by parser function on page Misc3002 aktuell
• 14:3914: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
• 14:2614:26, 11. Aug. 2015 Unterschied Versionen +1 Byte‎ K Inproceedings3043 ‎Keine Bearbeitungszusammenfassung
• 14:2514:25, 11. Aug. 2015 Unterschied Versionen +28 Bytes‎ N Techreport3022/en ‎ Page created automatically by parser function on page Techreport3022 aktuell