Christian Posthoff, Joachim Reiß. The solution of discrete problems by means of ternary representation. In Wolfgang Bibel, Klaus P. Jantke, editors, Mathematical Methods of Specification and Synthesis of Software Systems 85, Proceedings of the International Spring School, Wendisch-Rietz, GDR, April 22-26, 1985. Volume 215 of Lecture Notes in Computer Science, pages 207-214, Springer, 1985.
No references recorded for this publication.
No citations of this publication recorded.