%0 Journal Article %1 journals/jlap/CiobacaLB23 %A Ciobaca, Stefan %A Lucanu, Dorel %A Buruiana, Andrei-Sebastian %D 2023 %J J. Log. Algebraic Methods Program. %K dblp %P 100894 %T Operationally-based program equivalence proofs using LCTRSs. %U http://dblp.uni-trier.de/db/journals/jlap/jlap135.html#CiobacaLB23 %V 135

@article{journals/jlap/CiobacaLB23, added-at = {2023-10-14T00:00:00.000+0200}, author = {Ciobaca, Stefan and Lucanu, Dorel and Buruiana, Andrei-Sebastian}, biburl = {https://www.bibsonomy.org/bibtex/21da9aa02e501347d9f21c42c6a8158c8/dblp}, ee = {https://doi.org/10.1016/j.jlamp.2023.100894}, interhash = {7103ffd0bcfedbed108506257a2bb844}, intrahash = {1da9aa02e501347d9f21c42c6a8158c8}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, month = {October}, pages = 100894, timestamp = {2024-04-09T05:08:11.000+0200}, title = {Operationally-based program equivalence proofs using LCTRSs.}, url = {http://dblp.uni-trier.de/db/journals/jlap/jlap135.html#CiobacaLB23}, volume = 135, year = 2023 }