Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%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
}