scientific article; zbMATH DE number 1881074
From MaRDI portal
Publication:4797044
zbMath1007.68146MaRDI QIDQ4797044
Hassan Aït-Kaci, Yutaka Sasaki
Publication date: 12 March 2003
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2167/21670001.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items
Similarity measures over refinement graphs, A modular order-sorted equational generalization algorithm, Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach, A Modular Equational Generalization Algorithm, Order-Sorted Generalization, Speeding up operations on feature terms using constraint programming and variable symmetry, Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description), Anti-unification for unranked terms and hedges