Sortiert nach
Acta informatica, 2020-10, Vol.57 (3-5), p.551-590
2020
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Link zum Volltext
Logical methods in computer science, 2023-01, Vol.19, Issue 1
2023
Link zum Volltext
Logical methods in computer science, 2020-01, Vol.16, Issue 3
2020
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 1
2022
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-08, Vol.255 (Proc. EXPRESS/SOS 2017), p.1-17
2017
Link zum Volltext
Electronic proceedings in theoretical computer science, 2020, Vol.322, p.3-11
2020
Link zum Volltext
Electronic proceedings in theoretical computer science, 2015-08, Vol.189 (Proc. ICE 2015), p.37-52
2015
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.8-11
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-08, Vol.222 (Proc. EXPRESS/SOS 2016), p.45-59
2016
Link zum Volltext
Theoretical computer science, 2016-01, Vol.612, p.29-44
2016
Link zum Volltext
Electronic proceedings in theoretical computer science, 2022-03, Vol.355
2022
Link zum Volltext
Logical methods in computer science, 2009-12, Vol.5, Issue 4
2009
Link zum Volltext
Information and computation, 2019-10, Vol.268, p.104435, Article 104435
2019
Link zum Volltext
Formal aspects of computing, 2023-03, Vol.35 (1), p.1-38, Article 2
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2023-09, Vol.387, p.114-131
2023
Link zum Volltext
ACM transactions on computational logic, 2022-10, Vol.23 (4), p.1-56, Article 22
2022
Link zum Volltext
Formal Aspects of Component Software, p.161-182
Link zum Volltext
Theoretical computer science, 2020-10, Vol.837, p.223-246
2020
Link zum Volltext
Formal Methods for Industrial Critical Systems, p.98-114
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-11, Vol.41 (Proc. EXPRESS 2010), p.1-15
2010
Link zum Volltext
Formal Techniques for Distributed Objects, Components, and Systems, p.42-59
Link zum Volltext
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-14
2021
Link zum Volltext
Journal of logical and algebraic methods in programming, 2019-02, Vol.103, p.130-153
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Process Algebra
- Parallel Composition
- Logic
- Science & Technology - Other Topics
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Mathematics
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Computer Science, Software Engineering
- Concurrency
- Physical Sciences
- Bisimilarity
- Computer Science - Logic In Computer Science
- Mathematics, Applied
Kollektion
- Ingenta
- EZB Electronic Journals Library
- HEAL-Link subscriptions: Springer Book Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Ebook Central Perpetual and DDA
- Springer Books
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- IEEE Electronic Library (IEL)
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Logical Methods In Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Information And Computation
- Theoretical Computer Science
- Arxiv
- Acm Transactions On Computational Logic
- Electronic Notes In Theoretical Computer Science
- Formal Aspects Of Computing
- Mathematical Structures In Computer Science
Neu hinzugefügt