%0 Conference Paper %1 conf/issac/Okada89 %A Okada, Mitsuhiro %B ISSAC %D 1989 %E Gonnet, Gaston H. %I ACM %K dblp %P 357-363 %T Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System. %U http://dblp.uni-trier.de/db/conf/issac/issac89.html#Okada89 %@ 0-89791-325-6

@inproceedings{conf/issac/Okada89, added-at = {2018-11-06T00:00:00.000+0100}, author = {Okada, Mitsuhiro}, biburl = {https://www.bibsonomy.org/bibtex/2aed864c9ea7b2615f7393ee72be1b43f/dblp}, booktitle = {ISSAC}, crossref = {conf/issac/1989}, editor = {Gonnet, Gaston H.}, ee = {https://doi.org/10.1145/74540.74582}, interhash = {3d757190e9e5b1c62199bfb68ff07071}, intrahash = {aed864c9ea7b2615f7393ee72be1b43f}, isbn = {0-89791-325-6}, keywords = {dblp}, pages = {357-363}, publisher = {ACM}, timestamp = {2018-11-07T15:51:32.000+0100}, title = {Strong Normalizability for the Combined System of the Typed lambda Calculus and an Arbitrary Convergent Term Rewrite System.}, url = {http://dblp.uni-trier.de/db/conf/issac/issac89.html#Okada89}, year = 1989 }