Sie befinden Sich nicht im Netzwerk der Universität Paderborn. Der Zugriff auf elektronische Ressourcen ist gegebenenfalls nur via VPN oder Shibboleth (DFN-AAI) möglich. mehr Informationen...
Link-Resolver
Autor(en)
Sattler-Klein, Andrea
Artikel
Infinite, canonical string rewriting systems generated by completion
Titel
Logic programming and automated reasoning proceedings
Verlag
Springer
Ort
Berlin
Erscheinungsjahr
1992
Es wurden folgende elektronische Volltexte gefunden