.:. Browse > List by authors > Vigneron .:.

50 documents ordered by : Date Title first author name document type Submit date

1 - 2 - 3 - 4 - 5

Congruence Closure modulo Associativity-Commutativity Bachmair L., Ramakrishnan I.V., Tiwari A., Vigneron L. Dans 3rd International Workshop on Frontiers of Combining Systems - FroCoS'2000 1794 (2000) 242-256 [inria-00099214 - version 1]

Compiling and Verifying Security Protocols Jacquemard F., Rusinowitch M., Vigneron L. Dans International Conference on Logic Programming & Automated Reasoning - LPAR'2000 1955 (2000) 131-160 [inria-00099161 - version 1]

Compiling and Verifying Security Protocols Jacquemard F., Rusinowitch M., Vigneron L. N° RR-3938 (2000) [inria-00072712 - version 1]

Rough Sets based Proofs Visualisation Vigneron L., Wasilewska A. In 18th International Conference of the North American Fuzzy Information Processing Society - NAFIPS'99, invited session on Granular Computing and Rough Sets (1999) 805-808 [inria-00098752 - version 1]

Compiling and narrowing cryptographic protocols Jacquemard F., Rusinowitch M., Vigneron L. Dans Workshop on Verification and Modelling (1999) 1 p [inria-00098875 - version 1]

Automated Deduction Techniques for Studying Rough Algebras Vigneron L. Fundamenta Informaticae 33, 1 (1998) 85-103 [inria-00098614 - version 1]

Rough Sets Congruences and Diagrams Vigneron L., Wasilewska A. In 16th European Conference on Operational Research (EURO XVI), session on Rough Sets (1998) 1 p [inria-00098492 - version 1]

Rough Diagrams Vigneron L., Wasilewska A. In 6th International Workshop on Rough Sets, Data Mining & Granular Computing (RSDMGrC'98) at the 4th Joint Conference on Information Sciences (1998) 4 p [inria-00098493 - version 1]

Rough Algebras & Automated Deduction Wasilewska A., Vigneron L. Dans Rough Sets in Knowledge Discovery, Springer Verlag (Ed.) (1998) 261-275 [inria-00098475 - version 1]

Automated deduction with associative commutative operators Rusinowitch M., Vigneron L. N° RR-1896 (1993) [inria-00074775 - version 1]