Sortiert nach
Logical methods in computer science, 2020-01, Vol.16, Issue 1
2020
Link zum Volltext
Mathematical structures in computer science, 2021-08, Vol.31 (10), p.1301-1329
2021
Link zum Volltext
Mathematical structures in computer science, 2011-08, Vol.21 (4), p.795-825
2011
Link zum Volltext
Logical methods in computer science, 2013-02, Vol.9 (1)
2013
Link zum Volltext
Synthese (Dordrecht), 2012-06, Vol.186 (3), p.719-752
2012
Link zum Volltext
Electronic proceedings in theoretical computer science, 2010-06, Vol.26 (Proc. DCM 2010), p.127-133
2010
Link zum Volltext
Electronic proceedings in theoretical computer science, 2014-07, Vol.158 (Proc. QPL 2012), p.77-107
2014
Link zum Volltext
Mathematical structures in computer science, 2015-06, Vol.25 (5), p.1172-1202
2015
Link zum Volltext
Logical methods in computer science, 2005-12, Vol.1, Issue 3
2005
Link zum Volltext
Communications in mathematical physics, 2009-10, Vol.291 (1), p.63-110
2009
Link zum Volltext
Foundations of physics, 2012-07, Vol.42 (7), p.896-908
2012
Link zum Volltext
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-14
2021
- Link zum Volltext
Journal of functional programming, 2022-01, Vol.32, Article e11
2022
Link zum Volltext
Annals of pure and applied logic, 2010-10, Vol.162 (1), p.36-54
2010
Link zum Volltext
Mathematical structures in computer science, 2007-02, Vol.17 (1), p.3-36
2007
Link zum Volltext
2023 IEEE 36th Computer Security Foundations Symposium (CSF), 2023, p.552-567
2023
- Link zum Volltext
Mathematical structures in computer science, 2020-02, Vol.30 (2), p.118-138
2020
Link zum Volltext
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-15
2021
- Link zum Volltext
ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-61, Article 15
2023
Link zum Volltext
Journal of automated reasoning, 2019-08, Vol.63 (2), p.211-253
2019
Link zum Volltext
Formal Methods. FM 2019 International Workshops, p.380-391
Link zum Volltext
Mathematical proceedings of the Cambridge Philosophical Society, 2009-09, Vol.147 (2), p.339-344
2009
Link zum Volltext
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 2018, p.119-131
2018
- Link zum Volltext
Order (Dordrecht), 2010-07, Vol.27 (2), p.225-233
2010
Link zum Volltext
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 2021, p.1-15
2021
- Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Mathematics
- Computer Science, Theory & Methods
- Physical Sciences
- Logic
- Science & Technology - Other Topics
- Mathematics, Applied
- Constructive Mathematics
- Semantics
- Coq
- Formal Verification
- Algebra
- Computer Science, Information Systems
- Computer Science, Software Engineering
- Cryptography
- Blockchain
- Computer Science, Artificial Intelligence
- Physics
Kollektion
- IngentaConnect
- EZB Electronic Journals Library
- Cambridge Journals Online (DEFF)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library Complete
- IngentaConnect Journals
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- IEEE Xplore
- Springer Book Series (Lecture Notes)
- Elsevier ScienceDirect Journals
- JSTOR
- Wiley Online Library
- Wiley Online Library Full Collection 2018
- Project Euclid Complete
- Ebook Central Perpetual and DDA
- Cambridge University Press online books
- eBooks on EBSCOhost
- Cambridge Core All Books
Zeitschrift / Serie
- Mathematical Structures In Computer Science
- Journal Of Logic And Analysis
- Electronic Proceedings In Theoretical Computer Science
- Logical Methods In Computer Science
- Mathematical Logic Quarterly
- Annals Of Pure And Applied Logic
- Indagationes Mathematicae
- Synthese
- The Journal Of Symbolic Logic
- Acm Transactions On Programming Languages And Systems