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...
Reactive Kripke Semantics
2013., 2013
Link zum Volltext


Open Access
Reactive automata
Information and computation, 2011-04, Vol.209 (4), p.692-704
2011
Link zum Volltext

Handbook of Philosophical Logic
2013
Link zum Volltext

Logica universalis, 2019-11, Vol.13 (4), p.425-442
2019
Link zum Volltext



Open Access
Goal-Directed Proof Theory
1, 2000
Link zum Volltext

Journal of applied logic, 2013-03, Vol.11 (1), p.103-136
2013
Link zum Volltext

Studia logica, 2009-12, Vol.93 (2/3), p.357-381
2009
Link zum Volltext

Open Access
Causal dynamic inference
Annals of mathematics and artificial intelligence, 2012-12, Vol.66 (1-4), p.231-256
2012
Link zum Volltext


Annals of mathematics and artificial intelligence, 2012-12, Vol.66 (1-4), p.1-5
2012
Link zum Volltext








Studia logica, 2009-12, Vol.93 (2/3), p.199-230
2009
Link zum Volltext


Studia Humana (Rzeszów), 2015-01, Vol.3 (4), p.41-44
2015
Link zum Volltext


Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n