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

Xiaoxiao Yang

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

2008
5EEXiaoxiao Yang, Zhenhua Duan: Operational semantics of Framed Tempura. J. Log. Algebr. Program. 78(1): 22-51 (2008)
4EEZhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Framed temporal logic programming. Sci. Comput. Program. 70(1): 31-61 (2008)
2007
3EEXiaoxiao Yang, Zhenhua Duan: Operational Semantics of Framed Temporal Logic Programs. SOFSEM (1) 2007: 566-578
2EEYongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang: An Interpreter for Framed Tempura and Its Application. TASE 2007: 251-260
2005
1EEZhenhua Duan, Xiaoxiao Yang, Maciej Koutny: Semantics of Framed Temporal Logic Programs. ICLP 2005: 356-370

Coauthor Index

1Zhenhua Duan [1] [2] [3] [4] [5]
2Maciej Koutny [1] [4]
3Yongtao Ma [2]
4Xiaobing Wang [2]

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