An Universal Resolving Algorithm for Inverse Computation of Lazy Languages

Sergei M. Abramov, Robert Glück, Yuri A. Klimov. An Universal Resolving Algorithm for Inverse Computation of Lazy Languages. In Irina Virbitskaite, Andrei Voronkov, editors, Perspectives of Systems Informatics, 6th International Andrei Ershov Memorial Conference, PSI 2006, Novosibirsk, Russia, June 27-30, 2006. Revised Papers. Volume 4378 of Lecture Notes in Computer Science, pages 27-40, Springer, 2006. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.