Sortiert nach
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...
ACM computing surveys, 2020-07, Vol.52 (4), p.1-38
2020
Link zum Volltext
Distributed computing, 2016-08, Vol.29 (4), p.279-315
2016
Link zum Volltext
Discrete mathematics, 2016-12, Vol.339 (12), p.3089-3115
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.18-34
2017
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-03, Vol.244 (Proc. MARS 2017), p.14-52
2017
Link zum Volltext
Formal aspects of computing, 2012-07, Vol.24 (4-6), p.459-476
2012
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-08, Vol.106, p.198-199
2019
Link zum Volltext
Journal of automated reasoning, 2016-03, Vol.56 (3), p.309-341
2016
Link zum Volltext
Theoretical computer science, 2011-06, Vol.412 (28), p.3303-3322
2011
Link zum Volltext
Acta informatica, 2015-04, Vol.52 (2-3), p.175-205
2015
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-08, Vol.85 (5), p.952-971
2016
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.447-448
2016
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2022, Vol.355, p.13-26
2022
Link zum Volltext
Journal of logical and algebraic methods in programming, 2020-12, Vol.117, p.100590, Article 100590
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020, Vol.316, p.72-120
2020
Link zum Volltext
Annals of mathematics and artificial intelligence, 2009-02, Vol.55 (1-2), p.35-62
2009
Link zum Volltext
NASA Formal Methods, p.322-336
Link zum Volltext
Energy (Oxford), 2020-07, Vol.202, p.117710, Article 117710
2020
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-02, Vol.85 (2), p.269-286
2016
Link zum Volltext
Acta informatica, 2020-10, Vol.57 (3-5), p.305-311
2020
Link zum Volltext
Acta informatica, 2020-10, Vol.57 (3-5), p.305-311
2020
Link zum Volltext
Acta informatica, 2020, Vol.57 (3-5), p.305-311
2020
Link zum Volltext
Software and systems modeling, 2011-05, Vol.10 (2), p.161-182
2011
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Wiley Online Library
- Elsevier ScienceDirect Journals Complete
- Journals@Ovid
- Ebook Central Perpetual and DDA
- Springer journals
- eBooks on EBSCOhost
- Wiley Online Library
- Single Journals
- IngentaConnect Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- De Gruyter eBooks
- JSTOR
- Springer Books
- Factiva
- SpringerLink Series
- Nexis Uni (LexisNexis)
- Business Source Ultimate
Zeitschrift / Serie
Neu hinzugefügt