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...

Microelectronic engineering, 2014-07, Vol.123, p.23-27
2014
Link zum Volltext






Extending ALCQIO with Trees
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.511-522
2015