Sortiert nach
1st Edition 2021, 2021
Link zum Volltext
1st ed. 2020., 2020
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, 2007-11, Vol.3, Issue 4
2007
Link zum Volltext
Logical methods in computer science, 2018-01, Vol.14, Issue 4
2018
Link zum Volltext
Theoretical computer science, 2011-09, Vol.412 (38), p.5095-5110
2011
Link zum Volltext
Electronic proceedings in theoretical computer science, 2021-12, Vol.351
2021
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-07, Vol.250 (Proc. QAPL 2017), p.25-38
2017
Link zum Volltext
Journal of computer and system sciences, 2015-08, Vol.81 (5), p.859-879
2015
Link zum Volltext
1, 2020
Link zum Volltext
Journal of pure and applied algebra, 2015-08, Vol.219 (8), p.3110-3148
2015
Link zum Volltext
2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2019, p.1-14
2019
Link zum Volltext
Theoretical computer science, 2011, Vol.412 (38), p.5095-5110
2011
Link zum Volltext
Journal of logic and computation, 2010-10, Vol.20 (5), p.1041-1068
2010
Link zum Volltext
Journal of logical and algebraic methods in programming, 2023-01, Vol.130, p.100823, Article 100823
2023
Link zum Volltext
Theoretical computer science, 2011-06, Vol.412 (28), p.3072-3089
2011
Link zum Volltext
Theoretical computer science, 2004-10, Vol.327 (1), p.3-22
2004
Link zum Volltext
Coalgebraic Methods in Computer Science, p.109-129
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-10, Vol.166
2014
Link zum Volltext
Journal of logical and algebraic methods in programming, 2016-04, Vol.85 (3), p.367
2016
Link zum Volltext
Quantitative Evaluation of Systems, 2018, Vol.11024, p.53-70
2018
Link zum Volltext
Electronic proceedings in theoretical computer science, 2013-10, Vol.131
2013
Link zum Volltext
Scientific annals of computer science, 2009-01, Vol.19, p.93-93
2009
Link zum Volltext
SIGLOG news, 2022-04, Vol.9 (2), p.31-33
2022
Link zum Volltext
Aktive Filter
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Theory & Methods
- Life Sciences & Biomedicine
- Coalgebra
- Humans
- Logic
- Science & Technology - Other Topics
- Male
- Adult
- Female
- Mathematics
- Physical Sciences
- Rheumatology
- Software Engineering
- Trace Semantics
- Animals
- Applied Sciences
- Computer Science - Logic In Computer Science
Kollektion
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Springer Books
- EZB Free E-Journals
- IngentaConnect
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- ACM Digital Library Complete
- Springer Book Series
- Journals@Ovid Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- IEEE Electronic Library (IEL)
- SpringerLink (Online service)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Oxford journals
- Wiley Online Library Journals Frontfile Complete
- Single Journals
- Jstor Complete Legacy
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Electronic Proceedings In Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Logical Methods In Computer Science
- Theoretical Computer Science
- Acta Medica Portuguesa
- Integrative And Comparative Biology
- Journal Of Logical And Algebraic Methods In Programming
- Siglog News
- Acta Médica Portuguesa
- Allergologia Et Immunopathologia
Neu hinzugefügt