Filters








2 Hits in 3.5 sec

Lambda-Definable Order-3 Tree Functions are Well-Quasi-Ordered

Kazuyuki Asada, Naoki Kobayashi, Michael Wagner
2018 Foundations of Software Technology and Theoretical Computer Science  
In Leszek Pacholski and Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, volume 933 of Lecture Notes in Computer  ...  Springer, 1994. doi:10 .1007/ BFb0022249.  ... 
doi:10.4230/lipics.fsttcs.2018.14 dblp:conf/fsttcs/Asada018 fatcat:lsspgfucqffvpfwyyjoktccu7a

A Strong Bisimulation for a Classical Term Calculus by Means of Multiplicative and Exponential Reduction [article]

Eduardo Bonelli, Delia Kesner, Andrés Viso
2021 arXiv   pre-print
In Leszek Pacholski and Jerzy Tiuryn, editors, Computer Science Logic, 8th International Workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994, Selected Papers, volume 933 of Lecture Notes in Computer  ...  In Logic Programming and Automated Reasoning, 5th International Conference, LPAR'94, Kiev, Ukraine, July 16-22, 1994, Proceedings, pages 31-43, 1994.  ... 
arXiv:2101.05754v2 fatcat:tktpe3bdy5d7lkjssihfk5hkp4