Tong Gao Tang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1991

2 Tong Gao Tang: Programming in Temporal-Nonmonotonic Reasoning. J. Autom. Reasoning 7(3): 383-401 (1991)

1989

1 Tong Gao Tang: Temporal Logic CTL + PROLOG. J. Autom. Reasoning 5(1): 49-65 (1989)

1991
2		Tong Gao Tang: Programming in Temporal-Nonmonotonic Reasoning. J. Autom. Reasoning 7(3): 383-401 (1991)
1989
1		Tong Gao Tang: Temporal Logic CTL + PROLOG. J. Autom. Reasoning 5(1): 49-65 (1989)