Sortiert nach
European journal of cancer (1990), 2022-02, Vol.162, p.170-181
2022
Link zum Volltext
Electronic proceedings in theoretical computer science, 2019-12, Vol.311 (Proc. ARCADE 2019), p.25-31
2019
Link zum Volltext
Automated Reasoning, Vol.5195, p.364-379
Link zum Volltext
Logical methods in computer science, 2013-11, Vol.9, Issue 4
2013
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-09, Vol.225 (Proc. TERMGRAPH 2016), p.25-34
2016
Link zum Volltext
Science of computer programming, 2020-01, Vol.185, p.102306, Article 102306
2020
Link zum Volltext
Journal of logic and computation, 2017-03, Vol.27 (2), p.469-495
2017
Link zum Volltext
Information and computation, 2018-08, Vol.261, p.116-143
2018
Link zum Volltext
Information and computation, 2016-06, Vol.248, p.22-55
2016
Link zum Volltext
Machine learning, 2024-07
2024
Link zum Volltext
Archive for mathematical logic, 2024-02, Vol.63 (1-2), p.89-118
2024
Link zum Volltext
Proceedings of ACM on programming languages, 2020-11, Vol.4 (OOPSLA), p.1-30, Article 172
2020
Link zum Volltext
Functional and Logic Programming, 2018, Vol.10818, p.214-229
2018
Link zum Volltext
Logical methods in computer science, 2011-07, Vol.7, Issue 3
2011
Link zum Volltext
Rewriting Techniques and Applications, p.255-269
Link zum Volltext
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.1050-1072, Article 149
2023
Link zum Volltext
Rewriting and Typed Lambda Calculi, 2014, p.257-271
2014
Link zum Volltext
Logic-Based Program Synthesis and Transformation, p.37-55
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-04, Vol.248
2017
Link zum Volltext
Theoretical computer science, 2015-06, Vol.585, p.3-24
2015
Link zum Volltext
American journal of hypertension, 2024-07, Vol.37 (8), p.604-611
2024
Link zum Volltext
European journal of clinical investigation, 2024-07, p.e14285
2024
Link zum Volltext
Mathematical structures in computer science, 2022-06, Vol.32 (6), p.794-826
2022
Link zum Volltext
Tools and Algorithms for the Construction and Analysis of Systems, p.407-423
Link zum Volltext
Proceedings of ACM on programming languages, 2024-04, Vol.8 (OOPSLA1), p.784-809, Article 122
2024
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Life Sciences & Biomedicine
- Humans
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Male
- Female
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Adult
- Middle Aged
- Biological And Medical Sciences
- Aged
- Medical Sciences
- Animals
- Physical Sciences
- Science & Technology - Other Topics
- Adolescent
- Neurosciences & Neurology
Kollektion
- Ingenta.com
- MEDLINE
- EZB Electronic Journals Library
- SpringerLink Series
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Access via ScienceDirect (Elsevier)
- Wiley HSS Collection
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- SpringerNature Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Publisher website
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- JSTOR
- Sage Journals
- ACM Digital Library
- Access via Business Source (EBSCOhost)
- IEEE/IET Electronic Library
Zeitschrift / Serie
Neu hinzugefügt