scientific article; zbMATH DE number 2203309

zbMath1072.68080MaRDI QIDQ5315078

A. E. Pentus, M. R. Pentus

Publication date: 7 September 2005

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

zbMATH Keywords

hierarchical systemsimitation modelsgraph-based formal systems with inheritance

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Graph theory (including graph drawing) in computer science (68R10) Planar graphs; geometric and topological aspects of graph theory (05C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Analytical identification of discrete objects ⋮ On expressive power of regular realizability problems ⋮ Fast enumeration of words generated by Dyck grammars

This page was built for publication: