%0 Journal Article %1 journals/jlp/SchernhammerG10 %A Schernhammer, Felix %A Gramlich, Bernhard %D 2010 %J J. Log. Algebraic Methods Program. %K dblp %N 7 %P 659-688 %T Characterizing and proving operational termination of deterministic conditional term rewriting systems. %U http://dblp.uni-trier.de/db/journals/jlp/jlp79.html#SchernhammerG10 %V 79

@article{journals/jlp/SchernhammerG10, added-at = {2021-02-16T00:00:00.000+0100}, author = {Schernhammer, Felix and Gramlich, Bernhard}, biburl = {https://www.bibsonomy.org/bibtex/2da8021368ce6722b5e911aff4ecdc85d/dblp}, ee = {https://doi.org/10.1016/j.jlap.2009.08.001}, interhash = {77838bdd6fd56732baf43f92a6b5eded}, intrahash = {da8021368ce6722b5e911aff4ecdc85d}, journal = {J. Log. Algebraic Methods Program.}, keywords = {dblp}, number = 7, pages = {659-688}, timestamp = {2024-04-08T10:49:50.000+0200}, title = {Characterizing and proving operational termination of deterministic conditional term rewriting systems.}, url = {http://dblp.uni-trier.de/db/journals/jlp/jlp79.html#SchernhammerG10}, volume = 79, year = 2010 }