Inproceedings,

Introducing undecidability.

, , and .
ITiCSE, page 276. ACM, (2004)

Meta data

Tags

Users

  • @dblp

Comments and Reviews