naa a22 4500 530035278 20181024074429.0 cr unu---uuuuu 181024s1993 xx s 000 0 eng 0955-792X 10.1093/logcom/3.4.401 doi (BORIS)oai:boris.unibe.ch:114985 000 ddc 510 ddc Künzi Urs-Martin Logic Programs for Primitive Recursive Sets [Elektronische Daten] [Urs-Martin Künzi] publishedVersion openAccess eu-repo Journal of logic and computation 3(4), pp. 401-415 0955-792X https://boris.unibe.ch/114985/1/3-4-401.pdf text/html WWW-Backlink auf das Repository 1 info:eu-repo/semantics/article boris PeerReviewed boris peerstatus BORIS 856 40 https://boris.unibe.ch/114985/1/3-4-401.pdf text/html WWW-Backlink auf das Repository BORIS 100 1- Künzi Urs-Martin BORIS 773 0- Journal of logic and computation 3(4), pp. 401-415 0955-792X SWISSBIB 396890369 BK010053 XK010053 XK010000 BORIS BORIS BORIS info:eu-repo/semantics/article openAccess