3 search results - page 1 / 1 » Spider Diagrams of Order and a Hierarchy of Star-Free Regula... |
DIAGRAMS
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. The spider diagram logic forms a fragment of constraint diagram logic and is designed to be primarily used as a diagrammatic software specification tool. Our interest is ...
STACS
2001
Springer
13 years 9 months ago
2001
Springer
We propose a new, logical, approach to the decidability problem for the Straubing and Brzozowski hierarchies based on the preservation theorems from model theory, on a theorem of ...
VL
2007
IEEE
13 years 11 months ago
2007
IEEE
Spider diagrams are a visual logic capable of makeing statements about relationships between sets and their cardinalities. Various meta-level results for spider diagrams have been...