Logic and machines : decision problems and complexity : proceedings - Borger E; Symposium on Rekursive Kombinatorik( 1983 : Westfalen ); Symposium on Rekursive Kombinatorik Westfalen, 1983 (Berlin Springer Verlag, 1984)
Keywords: Computer science; Recursive functions