%0 Journal Article %1 journals/tcs/KatoenN00 %A Katoen, Joost-Pieter %A Nymeyer, Albert %D 2000 %J Theor. Comput. Sci. %K dblp %N 1-2 %P 439-464 %T Pattern-matching algorithms based on term rewrite systems. %U http://dblp.uni-trier.de/db/journals/tcs/tcs238.html#KatoenN00 %V 238

@article{journals/tcs/KatoenN00, added-at = {2021-02-17T00:00:00.000+0100}, author = {Katoen, Joost-Pieter and Nymeyer, Albert}, biburl = {https://www.bibsonomy.org/bibtex/27da1aedb5d698ceb1843e49be8f8884c/dblp}, ee = {https://doi.org/10.1016/S0304-3975(00)00041-4}, interhash = {225d0a5b3bdaa8d9394faf2238b7ccaa}, intrahash = {7da1aedb5d698ceb1843e49be8f8884c}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = {1-2}, pages = {439-464}, timestamp = {2024-04-08T18:50:08.000+0200}, title = {Pattern-matching algorithms based on term rewrite systems.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs238.html#KatoenN00}, volume = 238, year = 2000 }