Klaus Robering

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2001

1 Klaus Robering: Ackermann's Implication for Typefree Logic. J. Log. Comput. 11(1): 5-23 (2001)