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 EKS-V1 System

Laurent Vieille, Petra Bayer, Volker Küchenhoff, Alexandre Lefebvre, Rainer Manthey. The EKS-V1 System. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Volume 624 of Lecture Notes in Computer Science, pages 504-506, Springer, 1992.

Authors

Laurent Vieille

This author has not been identified. Look up 'Laurent Vieille' in Google

Petra Bayer

This author has not been identified. Look up 'Petra Bayer' in Google

Volker Küchenhoff

This author has not been identified. Look up 'Volker Küchenhoff' in Google

Alexandre Lefebvre

This author has not been identified. Look up 'Alexandre Lefebvre' in Google

Rainer Manthey

This author has not been identified. Look up 'Rainer Manthey' in Google
runs on