scientific article; zbMATH DE number 1407672
From MaRDI portal
Publication:4940927
zbMath0944.68038MaRDI QIDQ4940927
Publication date: 28 February 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (6)
TFA: an efficient and precise virtual method call resolution for Java ⋮ A Computational Interpretation of Context-Free Expressions ⋮ Path querying on acyclic graphs using Boolean grammars ⋮ Tight bounds for reachability problems on one-counter and pushdown systems ⋮ Source-tracking unification ⋮ Interconvertibility of a class of set constraints and context-free-language reachability
This page was built for publication:
