WorldCat Identities

Heidler, Klaus

Works: 2 works in 3 publications in 1 language and 28 library holdings
Roles: Author
Classifications: QA9.615, 511.3
Publication Timeline
Most widely held works by Klaus Heidler
Rekursive Funktionen by Klaus Heidler( Book )

1 edition published in 1977 in German and held by 26 WorldCat member libraries worldwide

Theory of Computation -- Mathematical Logic and Formal Languages
Untersuchungen zur Reduktionstheorie des Entscheidungsproblems in der Prädikaten[logik] und Termlogik by Klaus Heidler( Book )

2 editions published in 1973 in German and held by 2 WorldCat member libraries worldwide

Audience Level
Audience Level
  Kids General Special  
Audience level: 0.90 (from 0.89 for Rekursive ... to 0.97 for Untersuchu ...)

Associated Subjects
German (3)