Jung Wan Cho

Available identifiers

zbMath Open cho.jung-wanMaRDI QIDQ1199541

List of research outcomes

Publication	Date of Publication	Type
Generalization of ZYT-linearizability for bilinear datalog programs	2004-11-23	Paper
https://portal.mardi4nfdi.de/entity/Q5688907	1997-05-25	Paper
A new subsumption method in the connection graph proof procedure	1993-01-16	Paper
HYBRID COMBINATORS FOR DISTRIBUTED EVALUATION OF FUNCTIONAL PROGRAMS	1990-01-01	Paper
An improved protocol validation technique for a class of communication models	1986-01-01	Paper

Research outcomes over time

This page was built for person: Jung Wan Cho