Sortiert nach
Theoretical computer science, 2022-01, Vol.899, p.48-79
2022
Volltextzugriff (PDF)
Information and computation, 2023-10, Vol.294, p.105083, Article 105083
2023
Volltextzugriff (PDF)
Theoretical computer science, 2019-04, Vol.764, p.125-144
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2022-02, Vol.18, Issue 1
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)
Information and computation, 2018-10, Vol.262, p.241-264
2018
Volltextzugriff (PDF)
ACM transactions on computational logic, 2019-02, Vol.20 (1), p.1-31, Article 4
2019
Volltextzugriff (PDF)
Financial Cryptography and Data Security, p.389-404
Volltextzugriff (PDF)
Theoretical computer science, 2014-12, Vol.560, p.269-291
2014
Volltextzugriff (PDF)
Theoretical computer science, 2020-04, Vol.813, p.270-304
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.346, p.179-194
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2015-12, Vol.11, Issue 4
2015
Volltextzugriff (PDF)
2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2023, p.1-12
2023
Volltextzugriff (PDF)
Acta informatica, 2016-10, Vol.53 (6-8), p.621-648
2016
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2017-09, Vol.256 (Proc. GandALF 2017), p.223-237
2017
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014-08, Vol.161 (Proc. GandALF 2014), p.102-115
2014
Volltextzugriff (PDF)
Journal of logic and computation, 2010-02, Vol.20 (1), p.133-166
2010
Volltextzugriff (PDF)
Theoretical computer science, 2013-07, Vol.493, p.98-115
2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.76-90
2016
Volltextzugriff (PDF)
Automated Reasoning, p.389-405
Volltextzugriff (PDF)
Automata, Languages and Programming, p.345-356
Volltextzugriff (PDF)
2014 21st International Symposium on Temporal Representation and Reasoning, 2014, p.49-58
2014
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2012-10, Vol.96 (Proc. GandALF 2012), p.155-168
2012
Volltextzugriff (PDF)
Computer Science Logic, p.394-408
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-06, Vol.54 (Proc. GandALF 2011), p.192-206
2011
Volltextzugriff (PDF)
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic
- Interval Temporal Logic
- Science & Technology - Other Topics
- Computer Science, Artificial Intelligence
- Complexity
- Decidability
- Model Checking
- Interval Temporal Logics
- Mathematics
- Modal Logic
- Temporal Logic
- Complexity Theory
- Computer Science - Logic In Computer Science
- Computer Science, Information Systems
- Expressiveness
- Intervals
Kollektion
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Theoretical Computer Science
- Arxiv
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Logical Methods In Computer Science
- Information And Computation
- Acm Transactions On Computational Logic
- Acta Informatica
- Electronic Notes In Theoretical Computer Science
- Journal Of Logic And Computation