( en | de | ru )

 

Disambiguation of "Cheng, Mantis H. M."

Author of the publication

copydeleteadd this publication to your clipboard
A Method for Implementing Equational Theories as Logic Programs.

, , and . ICLP, page 497-511. MIT Press, (1995)

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.

Loucis Mantis

Irene Mantis

Gernot H M Günther

Gesa H -M Bertrang

Philippe H M Bräunig

 

Other publications of authors with the same name

SpinMag: A New Fingerprinting Method for Robot Indoor Localization with Geomagnetic Field., , , and . Ad Hoc Sens. Wirel. Networks, 42 (3-4): 171-198 (2018)An application of L systems to local microcode synthesis., , and . MICRO, page 166-175. ACM/IEEE, (1990)On Warren's Method for Functional Programming in Logic., , and . ICLP, page 546-560. MIT Press, (1990)Client Migration in a Continuous Data Network., and . DCW, volume 2468 of Lecture Notes in Computer Science, page 278-290. Springer, (2002)Petri-Net-Based Deadlock Analysis of Process Algebra Programs., and . Sci. Comput. Program., 23 (1): 55-89 (1994)A Method for Implementing Equational Theories as Logic Programs., , and . ICLP, page 497-511. MIT Press, (1995)Compositional Operational Semantics for Prolog Programs., , , and . New Generation Comput., 10 (3): 315-334 (1992)Complete Sets of Frontiers in Logic-Based Program Transformation., , and . META, page 283-297. MIT Press, (1988)Tables as a User Interface for Logic Programs., , and . FGCS, page 784-791. OHMSHA Ltd. Tokyo and Springer-Verlag, (1988)