HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Baudouin Le Charlier

Publications
A Method to Simplify Expressions: Intuition and Preliminary Experimental Results
Baudouin Le Charlier and Mêton Mêton Atindehou
In:IWIL-2015. 11th International Workshop on the Implementation of Logics
A Data Structure to Handle Large Sets of Equal Terms
Baudouin Le Charlier and Mêton Mêton Atindehou
In:SCSS 2016. 7th International Symposium on Symbolic Computation in Software Science

Keyphrases

Boolean calculus, congruence closure, data structure, decision procedure, equivalence problem, expression simplification, Representation of sets of equivalent terms, Simplification of expressions, term equivalence, theory of equality.

Copyright © 2012-2025 easychair.org. All rights reserved.