Vol-1128⫷ Vol-1129 ⫸Vol-1130
urn:nbn:de:0074-1129-0


Vol-1129/paper48⫷Vol-1129/paper49⫸Vol-1129/paper4A

Ein Ansatz zum Erkennen von Schleifen in Graphersetzungssystemen mit Hilfe einer aussagenlogischen Kodierung und seine Anwendung auf Haskell