Reviews in MR 58 # 10355, ZBL 333 # 02040. Preprint in Forschungsberichte des Instituts fuer angewandte Informatik und formale Beschreibungsverfahren Nr. 25 (Dezember 1974), pp. 20, H. A. Maurer, W. Stucky (Eds.). Universitaet Karlsruhe.
Recursively unsolvable algorithmic problems and related questions reexamined
BORGER, EGON
1975-01-01
Abstract
Reviews in MR 58 # 10355, ZBL 333 # 02040. Preprint in Forschungsberichte des Instituts fuer angewandte Informatik und formale Beschreibungsverfahren Nr. 25 (Dezember 1974), pp. 20, H. A. Maurer, W. Stucky (Eds.). Universitaet Karlsruhe.File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.