Sortiert nach
Logical methods in computer science, 2022-01, Vol.18, Issue 4
2022
Link zum Volltext
Logical methods in computer science, 2013-03, Vol.9, Issue 1 (1)
2013
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 2
2022
Link zum Volltext
Logical methods in computer science, 2021-01, Vol.17, Issue 3
2021
Link zum Volltext
Logical methods in computer science, 2018-09, Vol.14, Issue 3
2018
Link zum Volltext
Foundations of Software Science and Computational Structures, 2012, Vol.7213, p.58-73
2012
Link zum Volltext
Logical methods in computer science, 2015-03, Vol.11, Issue 1
2015
Link zum Volltext
ACM transactions on computational logic, 2014-02, Vol.15 (1), p.1-29
2014
Link zum Volltext
Journal of the ACM, 2022-04, Vol.69 (2), p.1-58, Article 14
2022
Link zum Volltext
Journal of pure and applied algebra, 2017-01, Vol.221 (1), p.144-184
2017
Link zum Volltext
Information and computation, 2017-02, Vol.252, p.2-29
2017
Link zum Volltext
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext
Logical methods in computer science, 2011-01, Vol.7, Issue 2 (2-7), p.1-53
2011
Link zum Volltext
Information and computation, 2021-12, Vol.281, p.104767, Article 104767
2021
Link zum Volltext
Mathematical structures in computer science, 2022-04, Vol.32 (4), p.511-541
2022
Link zum Volltext
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.1864-1894, Article 64
2023
Link zum Volltext
Acta informatica, 2017-03, Vol.54 (2), p.127-190
2017
Link zum Volltext
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.241-257
Link zum Volltext
Mathematical structures in computer science, 2023-04, Vol.33 (4-5), p.182-221
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-12, Vol.104 (Proc. ICE 2012), p.2-16
2012
Link zum Volltext
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-12
2019
Link zum Volltext
Science of computer programming, 2018-09, Vol.162, p.110-131
2018
Link zum Volltext
Information and computation, 2012-02, Vol.211, p.77-105
2012
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-02, Vol.18 (Proc. SOS 2009), p.46-61
2010
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-10, Vol.131, p.36-36
2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Logic In Computer Science
- Logic
- Science & Technology - Other Topics
- Mathematics
- Physical Sciences
- Label Transition System
- Algebra
- Mathematics, Applied
- Computer Science - Logic In Computer Science
- Semantics
- Coalgebras
- Petri Nets
- String Diagrams
- Applied Sciences
- Automata
Kollektion
- Ingenta
- EZB Free E-Journals
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- IEEE Electronic Library (IEL)
- Ebook Central Perpetual and DDA
- Springer Books
- eBooks on EBSCOhost
- EBSCOhost Business Source Ultimate
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Journals
- Journals@Ovid Complete
Zeitschrift / Serie
- Logical Methods In Computer Science
- Mathematical Structures In Computer Science
- Electronic Notes In Theoretical Computer Science
- Information And Computation
- Science Of Computer Programming
- Electronic Proceedings In Theoretical Computer Science
- Acm Transactions On Computational Logic
- Communications Of The Acm
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Proceedings Of Acm On Programming Languages