scientific article

From MaRDI portal

Publication:4037324

Jump to:navigation, search

zbMath0765.68096MaRDI QIDQ4037324

Martin Korff

Publication date: 18 May 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

graph grammars searching rule-based system specifications AI problems rule independency search-trees

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)

Related Items (1)

Single pushout transformations of equationally defined graph structures with applications to actor systems

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4037324&oldid=17759330"