Sortiert nach
Acta informatica, 2021-12, Vol.58 (6), p.585-610
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2017-03, Vol.13, Issue 1
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.268-282
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2018, Vol.277 (Proc. GandALF 2018), p.235-249
2018
Volltextzugriff (PDF)
Theoretical computer science, 2020-05, Vol.815, p.246
2020
Volltextzugriff (PDF)
Artificial intelligence, 2019-12, Vol.277, p.103170, Article 103170
2019
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-07, Vol.218 (Proc. SR 2016), p.1-14
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2008-09, Vol.4, Issue 3
2008
Volltextzugriff (PDF)
Artificial intelligence, 2020-08, Vol.285, p.103302-29, Article 103302
2020
Volltextzugriff (PDF)
Theoretical computer science, 2020-04, Vol.813, p.199-217
2020
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023-08, Vol.91 (4), p.373-374
2023
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023-08, Vol.91 (4), p.373-374
2023
Volltextzugriff (PDF)
ACM transactions on computational logic, 2024-01, Vol.25 (1), p.1-42, Article 8
2024
Volltextzugriff (PDF)
Information and computation, 2022-02, Vol.283, p.104673, Article 104673
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.164-177
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2008-07, Vol.4, Issue 3
2008
Volltextzugriff (PDF)
Artificial intelligence, 2022-07, Vol.308, p.103724, Article 103724
2022
Volltextzugriff (PDF)
Information and computation, 2018-08, Vol.261, p.634-649
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2023, Vol.391, p.42-48
2023
Volltextzugriff (PDF)
Theoretical computer science, 2020-02, Vol.806, p.577-586
2020
Volltextzugriff (PDF)
ACM transactions on computational logic, 2014-11, Vol.15 (4), p.1-47
2014
Volltextzugriff (PDF)
Multi-Agent Systems, 2023, Vol.14282, p.244-262
2023
Volltextzugriff (PDF)
ACM transactions on computational logic, 2021-01, Vol.22 (1), p.1-51, Article 5
2021
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Logic
- Science & Technology - Other Topics
- Computer Science, Software Engineering
- Model Checking
- Artificial Intelligence
- Temporal Logic
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Model Check
- Atomic Proposition
- Multiagent Systems
- Computer Science, Information Systems
- Applied Sciences
- Computer Science; Control Theory; Systems
Kollektion
- Ingenta
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Free E-Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals
- ACM
- IEL
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink_现刊
- Journals@Ovid Complete
- Business Source Ultimate
- Wiley Online Library Journals Frontfile Complete
- Oxford Journals
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Information And Computation
- Theoretical Computer Science
- Acm Transactions On Computational Logic
- Electronic Proceedings In Theoretical Computer Science
- Annals Of Mathematics And Artificial Intelligence
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Artificial Intelligence
- Logical Methods In Computer Science
- Acta Informatica
- Journal Of High Speed Networks