JBJinting Bian0000-0001-5003-598X Computational logic and formal languagesNetherlandFollowUsage metrics 0 0 0 Co-workers & collaboratorsHHHans-Dieter A. HiepHans-Dieter A. Hiep
