default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDATE 2011: Wrocław, Poland
- Peter Höfner, Annabelle McIver, Georg Struth:
Proceedings of the First Workshop on Automated Theory Engineering, Wrocław, Poland, July 31, 2011. CEUR Workshop Proceedings 760, CEUR-WS.org 2011
Invited Papers
- Timothy G. Griffin:
Do Formal Methodists have Bell-Shaped Heads? 1-2 - Josef Urban:
An Overview of Methods for Large-Theory Automated Theorem Proving. 3-8
Research Papers
- Michael Beeson, Jay Halcomb, Wolfgang Mayer:
Inconsistencies in the Process Specification Language (PSL). 9-19 - Han-Hing Dang, Bernhard Möller:
Simplifying Pointer Kleene Algebra. 20-29 - Walter Guttmann, Georg Struth, Tjark Weber:
A Repository for Tarski-Kleene Algebras. 30-39 - Phillip James, Markus Roggenbach:
Designing Domain Specific Languages for Verification: First Steps. 40-45 - Vilius Naudziunas, Timothy G. Griffin:
A Domain-Specific Language for the Specification of Path Algebras. 46-57
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.
last updated on 2025-05-08 01:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
