Sortiert nach
Logical methods in computer science, 2023-01, Vol.19, Issue 3 (3), p.1
2023
Volltextzugriff (PDF)
Theoretical computer science, 2019-07, Vol.777, p.184-191
2019
Volltextzugriff (PDF)
Logical methods in computer science, 2020-01, Vol.16 (2)
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2022-01, Vol.18, Issue 1 (1)
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2017-01, Vol.13 (3)
2017
Volltextzugriff (PDF)
Astérisque, 2018-11
2018
Volltextzugriff (PDF)
Indagationes mathematicae, 2018-12, Vol.29 (6), p.1637-1648
2018
Volltextzugriff (PDF)
Theoretical computer science, 2022-04, Vol.913, p.1-7
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2014, Vol.164 (Proc. CL&C 2014), p.18-32
2014
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.11-12
2018
Volltextzugriff (PDF)
Theory of computing systems, 2019-05, Vol.63 (4), p.647-665
2019
Volltextzugriff (PDF)
Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018, p.255-264
2018
Volltextzugriff (PDF)
Computer Science - Theory and Applications, 2017, Vol.10304, p.1-6
2017
Volltextzugriff (PDF)
Logical methods in computer science, 2011-01, Vol.7, Issue 2 (2)
2011
Volltextzugriff (PDF)
Asterisque, 2015, Vol.367-368, p.367
2015
Volltextzugriff (PDF)
Asterisque, 2015, p.367
2015
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-10, Vol.31 (9), p.979-1002
2021
Volltextzugriff (PDF)
Journal of automated reasoning, 2019-08, Vol.63 (2), p.159-171
2019
Volltextzugriff (PDF)
Annals of pure and applied logic, 2013-04, Vol.164 (4), p.437-442
2013
Volltextzugriff (PDF)
Theoretical computer science, 2015-04, Vol.574, p.86-91
2015
Volltextzugriff (PDF)
Communications in algebra, 2016, Vol.44 (2), p.515-567
2016
Volltextzugriff (PDF)
Communications in algebra, 2016, Vol.44 (2), p.515
2016
Volltextzugriff (PDF)
Annals of pure and applied logic, 2009-02, Vol.157 (2), p.97-109
2009
Volltextzugriff (PDF)
History and philosophy of logic, 2020-07, Vol.41 (3), p.281-290
2020
Volltextzugriff (PDF)
Indagationes mathematicae, 2013-11, Vol.24 (4), p.1105-1120
2013
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Mathematics
- Technology
- Computer Science, Theory & Methods
- Physical Sciences
- Logic
- Exact Sciences And Technology
- Science & Technology - Other Topics
- Applied Sciences
- Type Theory
- Computer Science; Control Theory; Systems
- Computer And Information Science
- Data- Och Informationsvetenskap
- Theoretical Computing
- Mathematics, Applied
- Programming Theory
- Dependent Type Theory
- Matematik
- Constructive Mathematics
Kollektion
- Ingenta
- Electronic Journals Library
- SpringerLink Series
- Elsevier ScienceDirect Journals
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- IngentaConnect Journals
- Cambridge Journals Online (DEFF)
- Springer Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- IEL
- ACM Digital Library
- Project Euclid Journals
- Taylor & Francis Journals Auto-Holdings Collection
- Taylor & Francis
- Publisher or Other Site
- Taylor & Francis Current Content Access
- Wiley-Blackwell Journals
Zeitschrift / Serie
- Journal Of Logic And Analysis
- Annals Of Pure And Applied Logic
- Theoretical Computer Science
- Logical Methods In Computer Science
- Mathematical Structures In Computer Science
- Mscs. Mathematical Structures In Computer Science/mathematical Structures In Computer Science
- The Journal Of Symbolic Logic
- Archive For Mathematical Logic
- Comptes Rendus. Mathématique
- Journal Of Algebra