%0 Journal Article %1 journals/jlp/DuranM12 %A Durán, Francisco %A Meseguer, José %D 2012 %J J. Log. Algebraic Methods Program. %K dblp %N 7-8 %P 816-850 %T On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories. %U http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#DuranM12 %V 81

@article{journals/jlp/DuranM12, added-at = {2023-09-20T00:00:00.000+0200}, author = {Durán, Francisco and Meseguer, José}, biburl = {https://www.bibsonomy.org/bibtex/2b75ae1fd73b5c8036420ae80f067344f/dblp}, ee = {https://doi.org/10.1016/j.jlap.2011.12.004}, interhash = {e330e543f19afb272570378c3524123d}, intrahash = {b75ae1fd73b5c8036420ae80f067344f}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = {7-8}, pages = {816-850}, timestamp = {2024-04-08T10:50:21.000+0200}, title = {On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp81.html#DuranM12}, volume = 81, year = 2012 }