Changwook Kim

zbMath Openkim.changwookMaRDI QIDQ199214

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
HRNCE grammars — A hypergraph generating system with an eNCE way of rewriting Lecture Notes in Computer Science	2019-01-10	Paper
Node replacement graph grammars with dynamic node relabeling Theoretical Computer Science	2015-04-29	Paper
On the structure of linear apex NLC graph grammars Theoretical Computer Science	2012-08-08	Paper
Quasi-rocking real-time pushdown automata Theoretical Computer Science	2011-12-07	Paper
Two undecidability results for chain code picture languages Theoretical Computer Science	2002-03-03	Paper
Separation results for separated apex NLC and NCE graph languages Journal of Computer and System Sciences	2001-10-14	Paper
Efficient recognition algorithms for boundary and linear eNCE graph languages Acta Informatica	2001-08-26	Paper
Leftmove-bounded picture languages Theoretical Computer Science	2000-06-04	Paper
HRNCE grammars -- a hypergraph generating system with an eNCE way of rewriting Theoretical Computer Science	2000-01-12	Paper
A hierarchy of eNCE families of graph languages Theoretical Computer Science	1998-06-30	Paper
Unambiguous description of chain code picture languages Information Processing Letters	1997-02-27	Paper
Retreat bounded picture languages Theoretical Computer Science	1994-09-25	Paper
On reversal-bounded picture languages Theoretical Computer Science	1993-01-16	Paper
Complexity and decidability for restricted classes of picture languages Theoretical Computer Science	1990-01-01	Paper
Picture iteration and picture ambiguity Journal of Computer and System Sciences	1990-01-01	Paper
The membership and equivalence problems for picture languages Theoretical Computer Science	1987-01-01	Paper
scientific article; zbMATH DE number 3857975 (Why is no real title available?)	1983-01-01	Paper

Research outcomes over time

This page was built for person: Changwook Kim