Sortiert nach
Logical methods in computer science, 2022-01, Vol.18, Issue 3
2022
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 4
2022
Link zum Volltext
Annals of pure and applied logic, 2014-12, Vol.165 (12), p.1832-1863
2014
Link zum Volltext
Logical methods in computer science, 2022-01, Vol.18, Issue 4
2022
Link zum Volltext
Electronic proceedings in theoretical computer science, 2016-09, Vol.226 (Proc. GandALF 2016), p.46-60
2016
Link zum Volltext
The bulletin of symbolic logic, 2019-09, Vol.25 (3), p.417-417
2019
Link zum Volltext
Studia logica, 2023-04, Vol.111 (2), p.147-186
2023
Link zum Volltext
Electronic proceedings in theoretical computer science, 2017-07, Vol.251 (251), p.57-74
2017
Link zum Volltext
The Journal of symbolic logic, 2020-03, Vol.85 (1), p.109-148
2020
Link zum Volltext
Logical methods in computer science, 2011-01, Vol.7, Issue 2
2011
Link zum Volltext
Annals of pure and applied logic, 2024-07, p.103490, Article 103490
2024
Link zum Volltext
Notre Dame journal of formal logic, 2017-01, Vol.58 (1)
2017
Link zum Volltext
Journal of the ACM, 2023-10, Vol.70 (5), p.1-38, Article 33
2023
Link zum Volltext
The Journal of symbolic logic, 2016-03, Vol.81 (1), p.284-315
2016
Link zum Volltext
Logical methods in computer science, 2022-12, Vol.18, Issue 4
2022
Link zum Volltext
The review of symbolic logic, 2022-12, Vol.15 (4), p.950-990
2022
Link zum Volltext
Annals of pure and applied logic, 2024-02, Vol.175 (2), p.103374, Article 103374
2024
Link zum Volltext
Synthese (Dordrecht), 2022-12, Vol.200 (6), p.512, Article 512
2022
Link zum Volltext
The review of symbolic logic, 2022-12, Vol.15 (4), p.950-990
2022
Link zum Volltext
Applied categorical structures, 2017-06, Vol.25 (3), p.381-401
2017
Link zum Volltext
Theoretical computer science, 2012-03, Vol.424, p.1-19
2012
Link zum Volltext
Annals of pure and applied logic, 2023-01, Vol.174 (1), p.103169, Article 103169
2023
Link zum Volltext
Studia logica, 2019-08, Vol.107 (4), p.719-751
2019
Link zum Volltext
The review of symbolic logic, 2018-09, Vol.11 (3), p.436-469
2018
Link zum Volltext
Annals of pure and applied logic, 2019-05, Vol.170 (5), p.558-577
2019
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Logic
- Science & Technology - Other Topics
- Computer Science
- Mathematics
- Technology
- Physical Sciences
- Modal Logic
- Computer Science, Theory & Methods
- Computer Science, Artificial Intelligence
- Algebra
- Philosophy
- Arts & Humanities
- Mathematics, Applied
- Mathematical Logic And Foundations
- Intuitionistic Logic
- Education
- Computational Linguistics
- Mathematical Logic
- Semantics
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- EZB Electronic Journals Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- JSTOR
- SpringerLink (Online service)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Cambridge Journals Online (DEFF)
- Journals@Ovid Ovid Full Text
- Project Euclid
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Elsevier ScienceDirect Journals Complete
- Oxford Journals
- Wiley-Blackwell Full Collection
- ACM Digital Library
- Wiley Online Library
- Duke University Press
- Business Source Ultimate
- IEEE/IET Electronic Library (IEL)
Zeitschrift / Serie
- Studia Logica
- The Review Of Symbolic Logic
- Annals Of Pure And Applied Logic
- Journal Of Logic And Computation
- Logical Methods In Computer Science
- The Journal Of Symbolic Logic
- Algebra Universalis
- Electronic Proceedings In Theoretical Computer Science
- Applied Categorical Structures
- Electronic Proceedings In Theoretical Computer Science, Eptcs
Neu hinzugefügt