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...
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...
Artificial intelligence and law, 2021-09, Vol.29 (3), p.351-394
2021
Volltextzugriff (PDF)

ACM transactions on computational logic, 2016-07, Vol.17 (3), p.1-39
2016
Volltextzugriff (PDF)

Annals of pure and applied logic, 2012-03, Vol.163 (3), p.266-290
2012
Volltextzugriff (PDF)


Annals of pure and applied logic, 2017-03, Vol.168 (3), p.693-737
2017
Volltextzugriff (PDF)

Fuzzy sets and systems, 2010-02, Vol.161 (3), p.369-389
2010
Volltextzugriff (PDF)

2008 23rd Annual IEEE Symposium on Logic in Computer Science, 2008, p.229-240
2008
Volltextzugriff (PDF)

Open Access
Classical Proofs as Parallel Programs
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.43-57
2018
Volltextzugriff (PDF)


Journal of world philosophies, 2017, Vol.2 (1), p.47-66
2017
Volltextzugriff (PDF)

Logic, Language, Information and Computation, p.154-167
Volltextzugriff (PDF)

Theoretical computer science, 2015-10, Vol.603, p.43-57
2015
Volltextzugriff (PDF)

Theoretical computer science, 2020-04, Vol.813, p.375-409
2020
Volltextzugriff (PDF)

The Journal of symbolic logic, 2021-06, Vol.86 (2), p.635-668
2021
Volltextzugriff (PDF)

Electronic proceedings in theoretical computer science, 2023, Vol.385, p.367-380
2023
Volltextzugriff (PDF)

Fuzzy sets and systems, 2010-07, Vol.161 (14), p.1941-1958
2010
Volltextzugriff (PDF)

2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-13
2023
Volltextzugriff (PDF)

Studia logica, 2006-02, Vol.82 (1), p.95-119
2006
Volltextzugriff (PDF)

Artificial intelligence and law, 2021-09, Vol.29 (3), p.351
2021
Volltextzugriff (PDF)

ACM transactions on computational logic, 2018-06, Vol.19 (2), p.1-27
2018
Volltextzugriff (PDF)


ACM transactions on computational logic, 2021-08, Vol.22 (3), p.1-31
2021
Volltextzugriff (PDF)

Logical methods in computer science, 2012-03, Vol.8, Issue 1
2012
Volltextzugriff (PDF)

Theoretical computer science, 2013-04, Vol.480 (100), p.26-42
2013
Volltextzugriff (PDF)

Journal of logic and computation, 2016-02, Vol.26 (1), p.51-64
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n