Laurent Vigneron

Available identifiers

zbMath Open vigneron.laurentMaRDI QIDQ1340507

List of research outcomes

Publication	Date of Publication	Type
Positive deduction modulo regular theories	2024-06-21	Paper
Associative-commutative deduction with constraints	2020-01-21	Paper
Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder	2009-04-07	Paper
Tree Automata with Equality Constraints Modulo Equational Theories	2009-03-12	Paper
Tree automata with equality constraints modulo equational theories	2008-04-22	Paper
Computer Science Logic	2007-06-21	Paper
Abstract congruence closure	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804905	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q2767013	2002-06-30	Paper
https://portal.mardi4nfdi.de/entity/Q4518873	2001-06-13	Paper
https://portal.mardi4nfdi.de/entity/Q4250255	1999-11-29	Paper
https://portal.mardi4nfdi.de/entity/Q3838378	1998-11-26	Paper
Automated deduction with associative-commutative operators	1994-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q4279086	1994-09-21	Paper

Research outcomes over time

This page was built for person: Laurent Vigneron