Digitale Bibliotheek |
|
||||||||||||||||||||||||||||
Sluiten | Bladeren door artikelen uit een tijdschrift | ||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Tijdschrift beschrijving | |||||||||||||||||||||||||||||
Alle jaargangen van het bijbehorende tijdschrift | |||||||||||||||||||||||||||||
Alle afleveringen van het bijbehorende jaargang | |||||||||||||||||||||||||||||
Alle artikelen van de bijbehorende aflevering | |||||||||||||||||||||||||||||
Details van artikel 3 van 4 gevonden artikelen
|
|||||||||||||||||||||||||||||
The monadic second-order logic of graphs IV: definability properties of equational graphs 1 1 This work has been supported by the “Programme de Recherches Coordonnées: Mathématiques et Informatique”, and by the ESPRIT-Basic Research Action contract No. 3299, “Computing by graph transformations”. |
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Details van artikel 3 van 4 gevonden artikelen
|
|||||||||||||||||||||||||||||
|
|||||||||||||||||||||||||||||
Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland |