Sortiert nach
Einfacher Volltextzugriff von (fast) überall
Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...Logical methods in computer science, 2024-09, Vol.20, Issue 3
2024
Volltextzugriff (PDF)
Journal of automated reasoning, 2020-06, Vol.64 (5), p.795-825
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2024-05, Vol.20, Issue 2
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2024-07, Vol.20, Issue 3
2024
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13 (3), p.1-50
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2021-09, Vol.17, Issue 3
2021
Volltextzugriff (PDF)
Logical methods in computer science, 2019-08, Vol.15, Issue 3
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2012-06, Vol.8, Issue 2
2012
Volltextzugriff (PDF)
Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016, p.307-316
2016
Volltextzugriff (PDF)
Logical methods in computer science, 2012-01, Vol.8, Issue 1
2012
Volltextzugriff (PDF)
Formal aspects of computing, 2019-12, Vol.31 (6), p.733-749
2019
Volltextzugriff (PDF)
Interactive Theorem Proving, 2013, p.180-196
2013
Volltextzugriff (PDF)
Fundamenta informaticae, 2021-01, Vol.180 (4), p.351-373
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2011-07, Vol.59 (Proc. ICE 2011), p.2-24
2011
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2021-01, Vol.5 (POPL), p.1-28
2021
Volltextzugriff (PDF)
2016 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2016, p.1-10
2016
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.829-838
2018
Volltextzugriff (PDF)
Acta informatica, 2017-03, Vol.54 (2), p.127-190
2017
Volltextzugriff (PDF)
2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science, 2015, p.68-79
2015
Volltextzugriff (PDF)
Software, practice & experience, 2017-11, Vol.47 (11), p.1729-1753
2017
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.574-594
2016
Volltextzugriff (PDF)
Automated Reasoning with Analytic Tableaux and Related Methods, 2017, p.261-277
2017
Volltextzugriff (PDF)
Coordination Models and Languages, 2005, p.17-32
2005
Volltextzugriff (PDF)
Theoretical computer science, 2007-06, Vol.380 (1), p.164-180
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Logic In Computer Science
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Logic
- Science & Technology - Other Topics
- Computer Science, Software Engineering
- Computer Science - Logic In Computer Science
- Programming Languages
- Label Transition System
- Algebra
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Automata
- Coinduction
Kollektion
- Ingenta
- SpringerLink Series
- eBooks on EBSCOhost
- Ebook Central Perpetual and DDA
- EZB Free E-Journals
- ACM Digital Library (Association for Computing Machinery)
- IEEE Electronic Library (IEL)
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Springer Journals
- Taylor & Francis Journals Complete
- EBSCOhost Business Source Ultimate
- MEDLINE
- Taylor & Francis Journals
- Taylor & Francis
- Wiley-Blackwell Journals
- Cambridge Journals Online (DEFF)
- Wiley Online Library Full Collection 2018
Zeitschrift / Serie
- Logical Methods In Computer Science
- Theoretical Computer Science
- Autophagy
- Communications Of The Acm
- Journal Of Logical And Algebraic Methods In Programming
- Scientific Annals Of Computer Science
- Sigplan Notices
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Acm Sigplan Notices
- Acta Informatica
Neu hinzugefügt