Jianguo Lu

Available identifiers

zbMath Open lu.jianguoMaRDI QIDQ1601843

List of research outcomes

Publication	Date of Publication	Type
Development transformation based on higher order type theory	2017-11-17	Paper
Inductive logic programming beyond logical implication	2010-04-27	Paper
Application of the Bayes' theory to the failure rate evaluation of electrical apparatus	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\})\)	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q3045465	2004-08-12	Paper
Higher order generalization and its application in program verification	2002-06-27	Paper
https://portal.mardi4nfdi.de/entity/Q4246979	2000-01-12	Paper
Analogical program derivation based on type theory	1993-08-08	Paper

Research outcomes over time

This page was built for person: Jianguo Lu