Auteurs
Checkpoint
PascalFrancis
Racine
Checkpoint
PascalFrancis
Exploration
Accueil
Racine
Racine

Serveur d'exploration sur la recherche en informatique en Lorraine - Checkpoint (PascalFrancis)

Index « Auteurs » - entrée « Maria Paola Bonacina »
Attention, ce site est en cours de développement !
Attention, site généré par des moyens informatiques à partir de corpus bruts.
Les informations ne sont donc pas validées.
Maria Luiza Macedo Silva < Maria Paola Bonacina < Maria Pentcheva  Facettes :

List of bibliographic references

Number of relevant bibliographic references: 2.
Ident.Authors (with country if any)Title
000398 (2006) Maria Paola Bonacina [Italie] ; Silvio Ghilardi [Italie] ; Enrica Nicolini [Italie] ; Silvio Ranise [Italie, France] ; Daniele Zucchelli [Italie, France]Decidability and undecidability results for nelson-oppen and rewrite-based decision procedures
000473 (2005) Alessandro Armando [Italie] ; Maria Paola Bonacina [Italie] ; Silvio Ranise [France] ; Stephan Schulz [Italie]On a rewriting approach to satisfiability procedures : Extension, combination of theories and an experimental appraisal

List of associated FC03.fr.i

Nombre de
documents		Descripteur
2Problème satisfiabilité
2Réécriture
2Satisfiabilité
2Système réécriture
2Théorie preuve
1.
1Décidabilité
1Démonstration automatique
1Démonstration théorème
1Extensibilité
1Indécidabilité
1Inférence
1Logique ordre 1
1Modélisation
1Prise de décision
1Problème terminaison
1Programmation logique
1Quantificateur
1Satisfaction contrainte
1Test paramétrique

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/PascalFrancis/Checkpoint

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i -k "Maria Paola Bonacina" 

HfdIndexSelect -h $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/Author.i  \
                -Sk "Maria Paola Bonacina" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/PascalFrancis/Checkpoint/biblio.hfd

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    PascalFrancis
   |étape=   Checkpoint
   |type=    indexItem
   |index=    Author.i
   |clé=    Maria Paola Bonacina
}}
Wicri

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022