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...
BDI: a new decidable clause class
Journal of logic and computation, 2017-03, Vol.27 (2), p.441-468
2017
Link zum Volltext






BDI: a new decidable clause class
Journal of logic and computation, 2014, Vol.24 (6)
2014
Link zum Volltext






Aktive Filter
KollektionOxford Journals