scientific article
From MaRDI portal
Publication:4037318
zbMath0765.68030MaRDI QIDQ4037318
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
databasesemanticsattributed graphelementary actionsconceptual specificationprogrammed graph replacements
Database theory (68P15) Graph theory (including graph drawing) in computer science (68R10) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (1)
This page was built for publication:
