A Confluent Connection Calculus

Peter Baumgartner, Norbert Eisinger, Ulrich Furbach. A Confluent Connection Calculus. In Steffen Hölldobler, editor, Intellectics and Computational Logic (to Wolfgang Bibel on the occasion of his 60th birthday). Volume 19 of Applied Logic Series, pages 3-26, Kluwer, 2000.

Authors

Peter Baumgartner

This author has not been identified. Look up 'Peter Baumgartner' in Google

Norbert Eisinger

This author has not been identified. Look up 'Norbert Eisinger' in Google

Ulrich Furbach

This author has not been identified. Look up 'Ulrich Furbach' in Google