Jianguo Lu
From MaRDI portal
Person:1601843
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 |
|---|---|---|
| Development transformation based on higher order type theory Lecture Notes in Computer Science | 2017-11-17 | Paper |
| Inductive logic programming beyond logical implication Lecture Notes in Computer Science | 2010-04-27 | Paper |
| Application of the Bayes' theory to the failure rate evaluation of electrical apparatus Journal of Zhejiang University. Science A | 2007-09-03 | Paper |
| The crossing number of \(C(n;\{1,\lfloor n/2\rfloor-1\})\) | 2007-02-08 | Paper |
| The crossing number of \(C(mk;\{1,k\})\) Graphs and Combinatorics | 2005-05-12 | Paper |
| scientific article; zbMATH DE number 2088758 (Why is no real title available?) | 2004-08-12 | Paper |
| Higher order generalization and its application in program verification Annals of Mathematics and Artificial Intelligence | 2002-06-27 | Paper |
| scientific article; zbMATH DE number 1301764 (Why is no real title available?) | 2000-01-12 | Paper |
| Analogical program derivation based on type theory Theoretical Computer Science | 1993-08-08 | Paper |
Research outcomes over time
This page was built for person: Jianguo Lu
