Laurent Vigneron

Available identifiers

zbMath Open vigneron.laurentMaRDI QIDQ1340507

List of research outcomes

Publication	Date of Publication	Type
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/Q4804905	2003-05-01	Paper
https://portal.mardi4nfdi.de/entity/Q4804908	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Laurent Vigneron