Reference Counting for Linear Counter-Model Generation - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2003

Reference Counting for Linear Counter-Model Generation

Dominique Larchey-Wendling
Logic, proof Theory and Programming

Domaines

Algorithme et structure de données [cs.DS] Logique en informatique [cs.LO] Intelligence artificielle [cs.AI]

Dominique Larchey-Wendling  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00008811

Soumis le : vendredi 16 septembre 2005-14:37:49

Dernière modification le : vendredi 24 mars 2023-14:52:47

Fichier non déposé

Dates et versions

hal-00008811 , version 1 (16-09-2005)

Identifiants

  • HAL Id : hal-00008811 , version 1

Citer

Dominique Larchey-Wendling. Reference Counting for Linear Counter-Model Generation. First APPSEM II Workshop, 2003, Nottingham, United Kingdom. ⟨hal-00008811⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
44 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More