Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "stream:streams/conf/ate:"
@inproceedings{DBLP:conf/ate/BeesonHM11, author = {Michael Beeson and Jay Halcomb and Wolfgang Mayer}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {Inconsistencies in the Process Specification Language {(PSL)}}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {9--19}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper3.pdf}, timestamp = {Fri, 10 Mar 2023 16:23:01 +0100}, biburl = {https://dblp.org/rec/conf/ate/BeesonHM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/DangM11, author = {Han{-}Hing Dang and Bernhard M{\"{o}}ller}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {Simplifying Pointer Kleene Algebra}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {20--29}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/DangM11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/Griffin11, author = {Timothy G. Griffin}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {Do Formal Methodists have Bell-Shaped Heads?}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {1--2}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper1.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/Griffin11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/GuttmannSW11, author = {Walter Guttmann and Georg Struth and Tjark Weber}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {A Repository for Tarski-Kleene Algebras}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {30--39}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper5.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/GuttmannSW11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/JamesR11, author = {Phillip James and Markus Roggenbach}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {Designing Domain Specific Languages for Verification: First Steps}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {40--45}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper6.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/JamesR11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/NaudziunasG11, author = {Vilius Naudziunas and Timothy G. Griffin}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {A Domain-Specific Language for the Specification of Path Algebras}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {46--57}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper7.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/NaudziunasG11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ate/Urban11, author = {Josef Urban}, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {An Overview of Methods for Large-Theory Automated Theorem Proving}, booktitle = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, pages = {3--8}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/Urban11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/ate/2011, editor = {Peter H{\"{o}}fner and Annabelle McIver and Georg Struth}, title = {Proceedings of the First Workshop on Automated Theory Engineering, Wroc{\l}aw, Poland, July 31, 2011}, series = {{CEUR} Workshop Proceedings}, volume = {760}, publisher = {CEUR-WS.org}, year = {2011}, url = {https://ceur-ws.org/Vol-760}, urn = {urn:nbn:de:0074-760-4}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ate/2011.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.