Mantis H. M. Cheng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
1990–1995
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1995 | ICLP | A Method for Implementing Equational Theories as Logic Programs. | Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden |
| 1990 | ICLP | On Warren's Method for Functional Programming in Logic. | Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards |
| 1990 | MICRO | An application of L systems to local microcode synthesis. | Farhad Mavaddat, M. Mahmood, Mantis H. M. Cheng |