%0 Journal Article %1 journals/jucs/Banach97a %A Banach, Richard %D 1997 %J J. Univers. Comput. Sci. %K dblp %N 12 %P 1283-1336 %T MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property. %U http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#Banach97a %V 3

@article{journals/jucs/Banach97a, added-at = {2023-09-07T00:00:00.000+0200}, author = {Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/26e5ea767c17ce6d6aae5ada3c44b7f0a/dblp}, ee = {https://doi.org/10.3217/jucs-003-12-1283}, interhash = {7953802033957d485343b98743e18b05}, intrahash = {6e5ea767c17ce6d6aae5ada3c44b7f0a}, journal = {J. Univers. Comput. Sci.}, keywords = {dblp}, number = 12, pages = {1283-1336}, timestamp = {2024-04-08T15:58:36.000+0200}, title = {MONSTR V - Transitive Coercing Semantics and the Church-Rosser Property.}, url = {http://dblp.uni-trier.de/db/journals/jucs/jucs3.html#Banach97a}, volume = 3, year = 1997 }