Laurent Vigneron (0009-0008-0764-3646) - ORCID

We notice you are using a browser that our site does not support. Some features on this site may not work correctly. We recommend that you upgrade to a supported browser.

Personal information

Activities

Collapse all

Laboratoire Lorrain de Recherche en Informatique et ses Applications: Nancy, FR

Professor

Employment

Show more detail

Source:

Laurent Vigneron

Combined Abstract Congruence Closure for Theories with Associativity or Commutativity

2024 | Book chapter

DOI: 10.1007/978-3-031-71294-4_5

Contributors: Christophe Ringeissen; Laurent Vigneron

Show more detail

Source:

check_circle

Crossref

How many people are using ORCID?