Laurent Thomas < Laurent Vigneron < Laurent Weinhard

Facettes : Author.f

List of bibliographic references

Number of relevant bibliographic references: 34.
[0-20] [0 - 20][0 - 34][20-33][20-40]

Ident.	Authors (with country if any)	Title
000A08 (1990)	Laurent Vigneron	Déduction automatique dans des théories associatives-commutatives
000C55 (1991)	Michael Rusinowitch ; Laurent Vigneron	Automated Deduction with Associative Commutative Operators
000E81 (1992)	P. Wolff ; Laurent Vigneron ; Ch. Ringeissen ; O. Perrin ; J.-L. Moysset ; O. Hermann ; R. Curien ; N. Brown ; L. Andrey	Un bref historique de l'informatique
001359 (1994)	Laurent Vigneron	Associative-Commutative Deduction with Constraints
001437 (1994)	Laurent Vigneron	Superposition in AC Theories : Proof of Completeness by Semantic Trees
001692 (1994)	Laurent Vigneron	Déduction automatique avec contraintes symboliques dans les théories équationnelles
001736 (1995)	Michael Rusinowitch ; Laurent Vigneron	Automated Deduction with Associative Commutative Operators
002196 (1998)	Laurent Vigneron	Automated Deduction Techniques for Studying Rough Algebras
002323 (1998)	Anita Wasilewska ; Laurent Vigneron	Rough Algebras and Automated Deduction
002351 (1998)	Laurent Vigneron ; Anita Wasilewska	Rough Sets Congruences and Diagrams
002352 (1998)	Laurent Vigneron ; Anita Wasilewska	Rough Diagrams
002527 (1999)	Laurent Vigneron ; Anita Wasilewska	Rough Sets based Proofs Visualisation
002806 (1999)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Compiling and narrowing cryptographic protocols
002931 (2000)	Leo Bachmair ; I. V. Ramakrishnan ; Ashish Tiwari ; Laurent Vigneron	Congruence Closure modulo Associativity-Commutativity
002B59 (2000)	Florent Jacquemard ; Michael Rusinowitch ; Laurent Vigneron	Compiling and Verifying Security Protocols
002D84 (2001)	Yannick Chevalier ; Laurent Vigneron	Towards Efficient Automated Verification of Security Protocols
002E70 (2001)	Yannick Chevalier ; Laurent Vigneron	A Tool for Lazy Verification of Security Protocols
003502 (2002)	Alessandro Armando ; David Basin ; Mehdi Bouallagui ; Yannick Chevalier ; Luca Compagna ; Sebastian Moedersheim ; Michael Rusinowitch ; Mathieu Turuani ; Luca Vigano ; Laurent Vigneron	The AVISS Security Protocol Analysis Tool
003504 (2002)	Yannick Chevalier ; Laurent Vigneron	Automated Unbounded Verification of Security Protocols
003731 (2003)	Leo Bachmair ; Ashish Tiwari ; Laurent Vigneron	Abstract Congruence Closure
003884 (2003)	Ingo Dahn ; Laurent Vigneron	4th International Workshop on First-Order Theorem Proving- FTP'2003

---

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i -k "Laurent Vigneron" 

HfdIndexSelect -h $EXPLOR_AREA/Data/Crin/Corpus/Author.i  \
                -Sk "Laurent Vigneron" \
         | HfdSelect -Kh $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd 

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

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Crin
   |étape=   Corpus
   |type=    indexItem
   |index=    Author.i
   |clé=    Laurent Vigneron
}}

---

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