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

Diálogos (San Pedro, Montes de Oca, Costa Rica), 2022-06, Vol.23 (2), p.1-23
2022
Volltextzugriff (PDF)

Social network analysis and mining, 2012-09, Vol.2 (3), p.249-264
2012
Volltextzugriff (PDF)

Logics with Common Weak Completions
Journal of logic and computation, 2006-12, Vol.16 (6), p.867-890
2006
Volltextzugriff (PDF)

Open Access
Separation Logic Modulo Theories
Programming Languages and Systems, 2013, Vol.8301, p.90-106
2013
Volltextzugriff (PDF)


Journal of logic and computation, 2005-10, Vol.15 (5), p.787-813
2005
Volltextzugriff (PDF)

Theory and Applications of Satisfiability Testing – SAT 2007, 2007, p.3-3
2007
Volltextzugriff (PDF)

Computer Aided Verification, 2009, Vol.5643, p.584-598
2009
Volltextzugriff (PDF)

2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD), 2015, p.19-31
2015
Volltextzugriff (PDF)

Open Access
Logics with Common Weak Completions
Journal of logic and computation, 2007-06, Vol.17 (3), p.607-607
2007
Volltextzugriff (PDF)


2012 Fourth International Conference on Intelligent Networking and Collaborative Systems, 2012, p.443-450
2012
Volltextzugriff (PDF)


Programming Logics, 2013, Vol.7797, p.302-316
2013
Volltextzugriff (PDF)

Proceedings of the 32nd ACM SIGPLAN Conference on Programming Language Design and Implementation, 2011, p.556-566
2011
Volltextzugriff (PDF)

Annals of pure and applied logic, 2005-06, Vol.134 (1), p.63-82
2005
Volltextzugriff (PDF)


SIGPLAN notices, 2012-08, Vol.47 (6), p.556
2012
Volltextzugriff (PDF)

SIGPLAN notices, 2011-06, Vol.46 (6), p.556-566
2011
Volltextzugriff (PDF)


The Lancet (British edition), 2022-05, Vol.399 (10338), p.1876-1885
2022
Volltextzugriff (PDF)



Suchergebnisse filtern
Filter anzeigen
Erscheinungsjahr
n.n
n.n