-
ICFEM'14
Springer, Volume 8829, pp 75-90, November 2014
PDF
BIB ICFEM'14 Matching Logic
-
ICTAC'14
Springer International Publishing, pp 295-313, Sep 2014
PDF
BIB ICTAC'14 Holistic CSP
-
RTA'14
Springer, Volume 8560, pp 425-440, July 2014
PDF
BIB RTA'14 Matching Logic
-
K'11
Elsevier, Volume 304, pp 3-56, June 2014
PDF
BIB K'11 K
-
K'11
Elsevier, Volume 304, pp 57-80, June 2014
PDF
BIB K'11 K
-
K'11
Elsevier, Volume 304, pp 127-149, June 2014
PDF
BIB K'11 K
-
Journal of Functional Programming
Volume 24, pp 166-217, May 2014
PDF
BIB Journal of Functional Programming CIRC
-
WRLA'14
Springer, Volume 8663, pp 97-112, April 2014
PDF
BIB WRLA'14 K