External Links

Cite Key

Statistics

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

PDF

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.

The Differential Fixpoint Operator with Subsumption

Gerhard Köstler, Werner Kießling, Helmut Thöne, Ulrich Güntzer. The Differential Fixpoint Operator with Subsumption. In DOOD. pages 35-48, 1993.

Authors

Gerhard Köstler

This author has not been identified. Look up 'Gerhard Köstler' in Google

Werner Kießling

This author has not been identified. Look up 'Werner Kießling' in Google

Helmut Thöne

This author has not been identified. Look up 'Helmut Thöne' in Google

Ulrich Güntzer

This author has not been identified. Look up 'Ulrich Güntzer' in Google
runs on