On the decidability of FDNC programs

Piero A. Bonatti. On the decidability of FDNC programs. In Matteo Baldoni, Cristina Baroglio, editors, Il Milione (i.e. 2ˆ6), Proceedings of the Day Dedicated to Prof. Alberto Martelli, Turin, Italy, June 3, 2008. Volume 487 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.