%0 Journal Article %1 journals/lmcs/BiernackiLP19 %A Biernacki, Dariusz %A Lenglet, Sergueï %A Polesiuk, Piotr %D 2019 %J Log. Methods Comput. Sci. %K dblp %N 1 %T Proving Soundness of Extensional Normal-Form Bisimilarities. %U http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#BiernackiLP19 %V 15

@article{journals/lmcs/BiernackiLP19, added-at = {2021-10-14T00:00:00.000+0200}, author = {Biernacki, Dariusz and Lenglet, Sergueï and Polesiuk, Piotr}, biburl = {https://www.bibsonomy.org/bibtex/27ddde9c7075cb33bed6eea712771b1e0/dblp}, ee = {https://doi.org/10.23638/LMCS-15(1:31)2019}, interhash = {f0f435fb5e9841cd8dfcc0970a946e80}, intrahash = {7ddde9c7075cb33bed6eea712771b1e0}, journal = {Log. Methods Comput. Sci.}, keywords = {dblp}, number = 1, timestamp = {2024-04-09T01:50:46.000+0200}, title = {Proving Soundness of Extensional Normal-Form Bisimilarities.}, url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs15.html#BiernackiLP19}, volume = 15, year = 2019 }