HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Javier Espert

Publications
Detecting Modular ACU Structural Symmetries
María Alpuente, Santiago Escobar and Javier Espert
In:UNIF 2013. 27th International Workshop on Unification

Keyphrases

equational generalization, graph automorphism, Structural symmetries.

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