Recherche

Recherche simple

Recherche avancée

Panier électronique

Votre panier ne contient aucune notice

Connexion à la base

Identification

(Identifiez-vous pour accéder aux fonctions de mise à jour. Utilisez votre login-password de courrier électronique)

Entrepôt OAI-PMH

Soumettre une requête

	Consulter la notice détaillée
	Version complète en ligne
	Version complète en ligne accessible uniquement depuis l'Ircam
	Ajouter la notice au panier
	Retirer la notice du panier

English version

(full translation not yet available)

Liste complète des articles

Consultation des notices

Vue détaillée

Vue Refer

Vue Labintel

Vue BibTeX

@article{Bouhoula12a
   author = {Bouhoula, Adel and Jacquemard, Florent},
   editor = {Dov M. Gabbay, Sarit Kraus, Jörg Siekmann},
   title = {Sufficient Completeness Verification for Conditional and Constrained Term Rewriting Systems},
   journal = {Journal of Applied Logic},
   volume = {1-10},
   pages = {127-143},
   year = {2012},
   url = {http://architexte.ircam.fr/textes/Bouhoula12a/},
   statut-editorial = {non publié},
}