No. Title Author Year
1 A Generic Framework for Higher-Order Generalizations Cerna, David M. et al. 2019
2 Higher-Order Equational Pattern Anti-Unification Cerna, David M. et al. 2018
3 Term-Graph Anti-Unification Baumgartner, Alexander et al. 2018
4 P-rho-Log: Combining Logic Programming with Conditional Transformation Systems Dundua, Besik et al. 2016
5 Constructing Orthogonal Designs in Powers of Two: Gröbner Bases Meet Equational Unification Kotsireas, Ilias et al. 2015
6 Nominal Anti-Unification Baumgartner, Alexander et al. 2015
7 A Variant of Higher-Order Anti-Unification Baumgartner, Alexander et al. 2013
8 Anti-Unification for Unranked Terms and Hedges Kutsia, Temur et al. 2011
9 Order-Sorted Unification with Regular Expression Sorts Kutsia, Temur et al. 2010
Current Page :
Number of result pages: 1
Number of documents: 9


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI