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.

Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions

Hervé Gallaire, Alain Grumbach, E. Papon. Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. In Mehmet Dincbas, Didier Feuerstein, editors, SPLT 82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France. 1982.

Authors

Hervé Gallaire

This author has not been identified. Look up 'Hervé Gallaire' in Google

Alain Grumbach

This author has not been identified. Look up 'Alain Grumbach' in Google

E. Papon

This author has not been identified. Look up 'E. Papon' in Google
runs on