Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bernhard Gramlich, Reinhard Pichler. Algorithmic Aspects of Herbrand Models Represented by Ground Atoms with Ground Equations. In Andrei Voronkov, editor, Automated Deduction - CADE-18, 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002, Proceedings. Volume 2392 of Lecture Notes in Computer Science, pages 241-259, Springer, 2002. [doi]

Identified as Bernhard Gramlich This author has not been identified. Look up 'Reinhard Pichler' in Google

runs on WebDSL