default search action

combined dblp search
author search
venue search
publication search

ask others

ATE 2011: Wrocław, Poland

> Home > Conferences and Workshops > ATE

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
- export record
  dblp key:
  - conf/ate/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/2011
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

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/Griffin11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/Griffin11
Timothy G. Griffin:
Do Formal Methodists have Bell-Shaped Heads? 1-2
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/Urban11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/Urban11
Josef Urban:
An Overview of Methods for Large-Theory Automated Theorem Proving. 3-8

Research Papers

- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/BeesonHM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/BeesonHM11
Michael Beeson, Jay Halcomb, Wolfgang Mayer:
Inconsistencies in the Process Specification Language (PSL). 9-19
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/DangM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/DangM11
Han-Hing Dang, Bernhard Möller:
Simplifying Pointer Kleene Algebra. 20-29
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/GuttmannSW11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/GuttmannSW11
Walter Guttmann, Georg Struth, Tjark Weber:
A Repository for Tarski-Kleene Algebras. 30-39
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/JamesR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/JamesR11
Phillip James, Markus Roggenbach:
Designing Domain Specific Languages for Verification: First Steps. 40-45
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/ate/NaudziunasG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ate/NaudziunasG11
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.