A Pattern Based Language for Programming of Heuristics of Proof Search

Myrto Arapinis 1 Anatol Slissenko 2
1 University of Edinburgh
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
Abstract : no abstract
Type de document :
Communication dans un congrès
Petcu, D. and Negru, V. and Zaharie, D. and Jebelen, T. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. Editura MIRTON, pp.400--411, 2004
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01195944
Contributeur : Julien Tesson <>
Soumis le : mardi 8 septembre 2015 - 17:14:35
Dernière modification le : jeudi 11 janvier 2018 - 06:19:28

Identifiants

  • HAL Id : hal-01195944, version 1

Collections

LACL | UPEC-UPEM

Citation

Myrto Arapinis, Anatol Slissenko. A Pattern Based Language for Programming of Heuristics of Proof Search. Petcu, D. and Negru, V. and Zaharie, D. and Jebelen, T. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. Editura MIRTON, pp.400--411, 2004. 〈hal-01195944〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

41

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD