scientific article; zbMATH DE number 1231491
From MaRDI portal
Publication:4222800
zbMath0910.68097MaRDI QIDQ4222800
Gregor Joeris, Carl-Arndt Krapp, Peter Heimann, Bernhard Westfechtel
Publication date: 13 December 1998
Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume2.htm#heimann
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Specification and verification (program logics, model checking, etc.) (68Q60) Grammars and rewriting systems (68Q42)
This page was built for publication:
