Sortiert nach
IEEE access, 2022, Vol.10, p.132763-132776
2022
Link zum Volltext
1, 2001
Link zum Volltext
Theoretical computer science, 2024-06, Vol.998, Article 114537
2024
Link zum Volltext
Theoretical computer science, 2023-05, Vol.958, p.113841, Article 113841
2023
Link zum Volltext
Computers & security, 2023-03, Vol.126, p.103072, Article 103072
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-06, Vol.154 (Proc. QAPL 2014), p.17-33
2014
Link zum Volltext
Theoretical computer science, 2016-12, Vol.655, p.135-154
2016
Link zum Volltext
Theoretical computer science, 2019-04, Vol.764, p.80-99
2019
Link zum Volltext
Theoretical computer science, 2024-01, Vol.982, p.114280, Article 114280
2024
Link zum Volltext
Science of computer programming, 2022-09, Vol.221, p.102842, Article 102842
2022
Link zum Volltext
Theoretical Aspects of Computing – ICTAC 2021, p.366-385
Link zum Volltext
Journal of computer and system sciences, 2015-08, Vol.81 (5), p.834-858
2015
Link zum Volltext
Software Engineering and Formal Methods, p.178-198
Link zum Volltext
Electronic proceedings in theoretical computer science, 2012-11, Vol.100 (Proc. MeCBIC 2012), p.82-100
2012
Link zum Volltext
Software and systems modeling, 2023-04, Vol.22 (2), p.473-494
2023
Link zum Volltext
IEEE access, 2022-12, p.1-1
2022
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-10, Vol.40 (Proc. MeCBIC 2010), p.6-22
2010
Link zum Volltext
Journal of logical and algebraic methods in programming, 2018-02, Vol.95, p.147
2018
Link zum Volltext
Theoretical computer science, 2012-05, Vol.431, p.117-136
2012
Link zum Volltext
Formal Aspects of Component Software, p.44-62
Link zum Volltext
Electronic proceedings in theoretical computer science, 2009-11, Vol.11 (Proc. MeCBIC 2009), p.3-18
2009
Link zum Volltext
Journal of logical and algebraic methods in programming, 2015-11, Vol.84 (6), p.826-852
2015
Link zum Volltext
Journal of automated reasoning, 2007-07, Vol.39 (1), p.1-47
2007
Link zum Volltext
Graph Transformation, 2020, p.38-56
2020
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
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics
- Logic
- Logical Frameworks
- Theoretical Computing
- Eca Rules
- Formal Methods
- Physical Sciences
- Programming Languages
- Science & Technology - Other Topics
- Software
- Software Engineering
- Type Theory
Kollektion
- IngentaConnect
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Electronic Journals Library
- SpringerLink Series
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE Electronic Library (IEL)
- IngentaConnect Journals
- JSTOR
- Cambridge Journals Online (DEFF)
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Ieee Access
- Journal Of Logical And Algebraic Methods In Programming
- Studia Logica
- Computers & Security
- Foundations Of Software Science And Computation Structures, Proceedings
- Higher-Order And Symbolic Computation
Neu hinzugefügt