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


DROPS-Home | Fulltext Search | Imprint Published by LZI