Sortiert nach
BMC public health, 2020-02, Vol.20 (1), p.259-259, Article 259
2020
Link zum Volltext
SoftwareX, 2023-07, Vol.23, p.101428, Article 101428
2023
Link zum Volltext
Frontiers in artificial intelligence, 2024-01, Vol.6, p.1292466-1292466
2024
Link zum Volltext
Theoretical computer science, 2020-07, Vol.823, p.1-25
2020
Link zum Volltext
Mathematical structures in computer science, 2022-01, Vol.32 (1), p.44-110
2022
Link zum Volltext
Formal Methods, p.142-159
Link zum Volltext
Science of computer programming, 2016-05, Vol.120, p.1-24
2016
Link zum Volltext
Science of computer programming, 2017-11, Vol.148, p.161-188
2017
Link zum Volltext
Theory and practice of logic programming, 2014-05, Vol.14 (3), p.379-400
2014
Link zum Volltext
Static Analysis, p.25-42
Link zum Volltext
International journal of public health, 2019-07, Vol.64 (6), p.935-942
2019
Link zum Volltext
Journal of symbolic computation, 2012-12, Vol.47 (12), p.1533-1560
2012
Link zum Volltext
Theory and practice of logic programming, 2009-09, Vol.9 (5), p.617-689
2009
Link zum Volltext
Electronic notes in theoretical computer science, 2018-04, Vol.334, p.1-2
2018
Link zum Volltext
Logic for Programming, Artificial Intelligence, and Reasoning, p.375-382
Link zum Volltext
Journal of the ACM, 2000-03, Vol.47 (2), p.361-416
2000
Link zum Volltext
Theory and practice of logic programming, 2010-01, Vol.10 (1), p.49-112
2010
Link zum Volltext
Acta informatica, 2018-09, Vol.55 (6), p.521-545
2018
Link zum Volltext
Lecture notes in computer science, 2005, p.83-97
2005
Link zum Volltext
Theoretical computer science, 2002-04, Vol.277 (1), p.149-184
2002
Link zum Volltext
Theoretical computer science, 2002, Vol.277 (1-2), p.149-184
2002
Link zum Volltext
Logic, Language, Information and Computation, p.99-112
Link zum Volltext
Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs, 2022, p.15-17
2022
Link zum Volltext
Lecture notes in computer science, 2000, p.397-412
2000
Link zum Volltext
NASA Formal Methods, p.35-49
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Abstract Interpretation
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Static Analysis
- Abstract Domain
- Life Sciences & Biomedicine
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic
- Logic Programming
- Science & Technology - Other Topics
- Humans
- Male
- Software
- Computer Science, Information Systems
- Female
Kollektion
- IngentaConnect Journals
- EZB Electronic Journals Library
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- ACM Digital Library Complete
- MEDLINE
- Cambridge Journals Online (DEFF)
- Journals@OVID
- Ebook Central Perpetual and DDA
- EBSCOhost Business Source Ultimate
- eBooks on EBSCOhost
- IngentaConnect Journals
- Wiley Online Library
- EBSCOhost Psychology and Behavioral Sciences Collection
- Wiley Online Library
- BMJ
- Nature Journals
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Theory And Practice Of Logic Programming
- Science Of Computer Programming
- Acm Transactions On Computational Logic
- Acm Transactions On Programming Languages And Systems
- Acta Informatica
- Applied Psychophysiology And Biofeedback
- Bmc Public Health
- Bmj Quality & Safety