Sortiert nach
Logical methods in computer science, 2020, Vol.16
2020
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Link zum Volltext
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext
Logical methods in computer science, 2017-01, Vol.13, Issue 2
2017
Link zum Volltext
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.700-709
2016
Link zum Volltext
Logical methods in computer science, 2012-01, Vol.8, Issue 4
2012
Link zum Volltext
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Link zum Volltext
Theoretical computer science, 2014-08, Vol.546, p.164-175
2014
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, 2012-12, Vol.103 (Proc. QFM 2012), p.33-47
2012
Link zum Volltext
Models, Algorithms, Logics and Tools, p.146-169
Link zum Volltext
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.679-688
2018
Link zum Volltext
Soft computing (Berlin, Germany), 2018-02, Vol.22 (4), p.1085-1102
2018
Link zum Volltext
MODELS, ALGORITHMS, LOGICS AND TOOLS, 2017, p.623-639
2017
Link zum Volltext
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Link zum Volltext
Models, Algorithms, Logics and Tools, p.603-622
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-11, Vol.100, p.36-56
2018
Link zum Volltext
2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2017, p.1-12
2017
Link zum Volltext
Models, Algorithms, Logics and Tools, p.466-483
Link zum Volltext
Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017, p.1-12
2017
Link zum Volltext
Models, Algorithms, Logics and Tools, 2017, Vol.10460, p.211-230
2017
Link zum Volltext
Models, Algorithms, Logics and Tools, p.310-338
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic
- Science & Technology - Other Topics
- Mathematics
- Physical Sciences
- Markov Processes
- Computer Science - Logic In Computer Science
- Mathematics, Applied
- Semantics
- Software Engineering
- Axiomatic System
- Extraterrestrial Measurements
- Life Sciences & Biomedicine
- Modal Logic
- Model Check
- Theory Of Computation
Kollektion
- Ingenta
- Springer Book Series
- Elektronische Zeitschriftenbibliothek
- IEEE Xplore (IEEE/IET Electronic Library - IEL)
- ACM Digital Library Complete
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier ScienceDirect Journals Complete
- Springer journals
- MEDLINE
- Journals@Ovid
- Standalone journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Cambridge Journals Online (DEFF)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- De Gruyter eBooks
- Oxford journals
- De Gruyter Open Access Books
- Oxford Journals 2020 Medicine
Zeitschrift / Serie
- Logical Methods In Computer Science
- Electronic Notes In Theoretical Computer Science
- Arxiv
- Annals Of Hepato-Biliary-Pancreatic Surgery
- International Urology And Nephrology
- Journal Of Logical And Algebraic Methods In Programming
- Journal Of Materials Research
- Lecture Notes In Computer Science
- Models, Algorithms, Logics And Tools
- Models, Algorithms, Logics And Tools: Essays Dedicated To Kim Guldstrand Larsen On The Occasion Of His 60th Birthday