Tong Gao Tang

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - 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)