Author of the publication

Towards an Axiomatization of Simple Analog Algorithms.

, , and . TAMC, volume 7287 of Lecture Notes in Computer Science, page 525-536. Springer, (2012)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Conditional Equational Programming and the Theory of Conditional Term Rewriting., and . FGCS, page 337-346. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)The evolution of programs.. Progress in computer science Birkhäuser, (1983)Synthesis by Completion.. IJCAI, page 208-214. Morgan Kaufmann, (1985)Stemming and Segmentation for Classical Tibetan., , , , , , and . CICLing (1), volume 9623 of Lecture Notes in Computer Science, page 294-306. Springer, (2016)Inferring Paraphrases for a Highly Inflected Language from a Monolingual Corpus., and . CICLing (2), volume 8404 of Lecture Notes in Computer Science, page 254-270. Springer, (2014)Towards an Axiomatization of Simple Analog Algorithms., , and . TAMC, volume 7287 of Lecture Notes in Computer Science, page 525-536. Springer, (2012)Debugging Logic Programs Using Specifications., and . AADEBUG, volume 749 of Lecture Notes in Computer Science, page 75-84. Springer, (1993)Higher-Order and Semantic Unification., and . FSTTCS, volume 761 of Lecture Notes in Computer Science, page 139-150. Springer, (1993)Canonical Inference for Implicational Systems., and . IJCAR, volume 5195 of Lecture Notes in Computer Science, page 380-395. Springer, (2008)Rewrite Methods for Clausal and Non-Clausal Theorem Proving., and . ICALP, volume 154 of Lecture Notes in Computer Science, page 331-346. Springer, (1983)