External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Termination of Programs using Term Rewriting and SAT Solving

Jürgen Giesl, Peter Schneider-Kamp, René Thiemann, Stephan Swiderski, Manh Thang Nguyen, Danny De Schreye, Alexander Serebrenik. Termination of Programs using Term Rewriting and SAT Solving. In Franz Baader, Byron Cook, Jürgen Giesl, Robert Nieuwenhuis, editors, Deduction and Decision Procedures, 30.09. - 05.10.2007. Volume 07401 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2007. [doi]

Authors

Jürgen Giesl

Identified as Jürgen Giesl

Peter Schneider-Kamp

This author has not been identified. Look up 'Peter Schneider-Kamp' in Google

René Thiemann

This author has not been identified. Look up 'René Thiemann' in Google

Stephan Swiderski

This author has not been identified. Look up 'Stephan Swiderski' in Google

Manh Thang Nguyen

This author has not been identified. Look up 'Manh Thang Nguyen' in Google

Danny De Schreye

Identified as Danny De Schreye
(Katholieke Universiteit Leuven
)

Alexander Serebrenik

Identified as Alexander Serebrenik
runs on