Navigation
Logic Group Preprint Series
'
Logic Group Preprint Series
Skip to content
Bruggink, H.J.S.
Volume
Title
245
A proof of finite family developments for higher-order rewriting using a prefix property
Bruggink, H.J.S.
221
Residuals in Higher-Order Rewriting
Bruggink, H.J.S.
Online