Laurent Vigneron

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Positive deduction modulo regular theories	2024-06-21	Paper
Associative-commutative deduction with constraints Automated Deduction — CADE-12	2020-01-21	Paper
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder Formal Aspects in Security and Trust	2009-04-07	Paper
Tree Automata with Equality Constraints Modulo Equational Theories Automated Reasoning	2009-03-12	Paper
Tree automata with equality constraints modulo equational theories The Journal of Logic and Algebraic Programming	2008-04-22	Paper
Computer Science Logic Lecture Notes in Computer Science	2007-06-21	Paper
Abstract congruence closure Journal of Automated Reasoning	2004-03-15	Paper
scientific article; zbMATH DE number 1903364 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1903362 (Why is no real title available?)	2003-05-01	Paper
scientific article; zbMATH DE number 1696763 (Why is no real title available?)	2002-06-30	Paper
scientific article; zbMATH DE number 1538018 (Why is no real title available?)	2001-06-13	Paper
scientific article; zbMATH DE number 1303628 (Why is no real title available?)	1999-11-29	Paper
scientific article; zbMATH DE number 1185498 (Why is no real title available?)	1998-11-26	Paper
Automated deduction with associative-commutative operators Applicable Algebra in Engineering, Communication and Computing	1994-12-14	Paper
scientific article; zbMATH DE number 500953 (Why is no real title available?)	1994-09-21	Paper

Research outcomes over time

This page was built for person: Laurent Vigneron