ask others

7th FTP 2009: Oslo, Norway

> Home > Conferences and Workshops > FTP

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/2009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/2009
Nicolas Peltier, Viorica Sofronie-Stokkermans:
Proceedings of the 7th International Workshop on First-Order Theorem Proving, FTP 2009, Oslo, Norway, July 6-7, 2009. CEUR Workshop Proceedings 556, CEUR-WS.org 2010

Foreword

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/PeltierS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/PeltierS09
Nicolas Peltier, Viorica Sofronie-Stokkermans:
Preface.

Invited papers

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Ghilardi09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Ghilardi09
Silvio Ghilardi:
Model-Checking of Array-Based Systems: from Foundations to Implementation.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Jeavons09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Jeavons09
Peter Jeavons:
Presenting Constraints.

Contributed Papers

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/BaumgartnerS09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/BaumgartnerS09
Peter Baumgartner, John Slaney:
Constraint Modelling: A Challenge for First Order Automated Reasoning.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/IwanumaNI09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/IwanumaNI09
Koji Iwanuma, Hidetomo Nabeshima, Katsumi Inoue:
Toward an Efficient Equality Computation in Connection Tableaux: A Modification Method without Symmetry Transformation.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/LudwigH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/LudwigH09
Michel Ludwig, Ullrich Hustadt:
Redundancy Elimination in Monodic Temporal Reasoning.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/KoshimuraNFH09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/KoshimuraNFH09
Miyuki Koshimura, Hidetomo Nabeshima, Hiroshi Fujita, Ryuzo Hasegawa:
Minimal Model Generation with Respect to an Atom Set.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Wernhard09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Wernhard09
Christoph Wernhard:
Literal Projection and Circumscription.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Georgieva009
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Georgieva009
Lilia Georgieva, Patrick Maier:
Inductive Reasoning for Shape Invariants.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Lamotte-Schubert09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Lamotte-Schubert09
Manuel Lamotte-Schubert, Christoph Weidenbach:
Analysis of Authorizations in SAP R/3.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Ranise09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Ranise09
Silvio Ranise:
Towards the Verification of Security-Aware Transaction E-services.

Position papers

- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Yamasaki09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Yamasaki09
Susumu Yamasaki:
A Fixed Point Representation of References.
- view
  - electronic edition @ ceur-ws.org
- export record
  dblp key:
  - conf/ftp/Xu09
- ask others
- share record
  short URL:
  - https://dblp.org/rec/conf/ftp/Xu09
Hao Xu:
Static Types As Search Heuristics.

maintained by

, founded at