![]() | Up a level |
Fuhs, Carsten and Kop, C. (2019) A static higher-order dependency pair framework. In: Caires, L. (ed.) Programming Languages and Systems, 28th European Symposium on Programming, ESOP 2019, Proceedings. Lecture Notes in Computer Science 11423. Springer, pp. 752-782. ISBN 9783030171834.
Chen, Taolue and Ploeger, B. and van de Pol, J. and Willemse, Tim A.C. (2007) Equivalence checking for infinite systems using parameterized boolean equation systems. In: Caires, L. and Vasconcelos, V.T. (eds.) CONCUR 2007: Concurrency Theory. Lecture Notes in Computer Science 4703. Springer, pp. 120-135. ISBN 9783540744061.