scientific article; zbMATH DE number 2080202
From MaRDI portal
Publication:4472444
zbMATH Open1044.03006MaRDI QIDQ4472444
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1974/19740188.htm
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Graph theory (including graph drawing) in computer science (68R10) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Second- and higher-order model theory (03C85)
Related Items (2)
This page was built for publication:
