A Pattern Based Language for Programming of Heuristics of Proof Search - Archive ouverte HAL
Communication Dans Un Congrès Année : 2004

A Pattern Based Language for Programming of Heuristics of Proof Search

Myrto Arapinis
  • Fonction : Auteur
University of Edinburgh
Anatol Slissenko
  • Fonction : Auteur
Laboratoire d'Algorithmique Complexité et Logique

Résumé

no abstract

Domaines

Informatique [cs] Cryptographie et sécurité [cs.CR]

Julien Tesson  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-01195944

Soumis le : mardi 8 septembre 2015-17:14:35

Dernière modification le : jeudi 7 mars 2024-12:32:05

Fichier non déposé

Dates et versions

hal-01195944 , version 1 (08-09-2015)

Identifiants

  • HAL Id : hal-01195944 , version 1

Citer

Myrto Arapinis, Anatol Slissenko. A Pattern Based Language for Programming of Heuristics of Proof Search. Proceeding of the 6th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC-2004), Sep 2004, Timisoara, Romania. pp.400--411. ⟨hal-01195944⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS LACL UPEC
47 Consultations
0 Téléchargements

Partager

More