Lingzhong Zhao
From MaRDI portal
Person:2392413
Available identifiers
zbMath Open zhao.lingzhongMaRDI QIDQ2392413
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| https://portal.mardi4nfdi.de/entity/Q2993207 | 2016-08-10 | Paper |
| A family of dynamic description logics for representing and reasoning about actions | 2013-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3571511 | 2010-07-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3643928 | 2009-11-10 | Paper |
| A Novel Test Case Generation Method for Prolog Programs Based on Call Patterns Semantics | 2008-05-15 | Paper |
Research outcomes over time
This page was built for person: Lingzhong Zhao
