dblp.uni-trier.dewww.uni-trier.de

Mantis H. M. Cheng

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
8EEAnthony J. Howe, Mantis H. M. Cheng: Client Migration in a Continuous Data Network. DCW 2002: 278-290
1995
7 Mantis H. M. Cheng, Douglas Stott Parker Jr., Maarten H. van Emden: A Method for Implementing Equational Theories as Logic Programs. ICLP 1995: 497-511
1994
6 Panos Rondogiannis, Mantis H. M. Cheng: Petri-Net-Based Deadlock Analysis of Process Algebra Programs. Sci. Comput. Program. 23(1): 55-89 (1994)
1992
5 Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy: Compositional Operational Semantics for Prolog Programs. New Generation Comput. 10(3): 315-334 (1992)
1990
4 Mantis H. M. Cheng, Maarten H. van Emden, B. E. Richards: On Warren's Method for Functional Programming in Logic. ICLP 1990: 546-560
3EEFarhad Mavaddat, M. Mahmood, Mantis H. M. Cheng: An application of L systems to local microcode synthesis. MICRO 1990: 166-175
1988
2 Mantis H. M. Cheng, Maarten H. van Emden, Jimmy Ho-Man Lee: Tables as a User Interface for Logic Programs. FGCS 1988: 784-791
1 Mantis H. M. Cheng, Maarten H. van Emden, Paul A. Strooper: Complete Sets of Frontiers in Logic-Based Program Transformation. META 1988: 283-297

Coauthor Index

1Maarten H. van Emden [1] [2] [4] [7]
2R. Nigel Horspool [5]
3Anthony J. Howe [8]
4Jimmy Ho-Man Lee (J. H. M. Lee) [2]
5Michael R. Levy [5]
6M. Mahmood [3]
7Farhad Mavaddat [3]
8Douglas Stott Parker Jr. [7]
9B. E. Richards [4]
10Panos Rondogiannis (Panagiotis Rondogiannis) [6]
11Paul A. Strooper [1]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)