Generalizations of Rice's theorem, applicable to executable and non-executable formalisms

C. Huizing, R. Kuiper, T. Verhoeff

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Fingerprint

Dive into the research topics of 'Generalizations of Rice's theorem, applicable to executable and non-executable formalisms'. Together they form a unique fingerprint.

Computer Science