Sortiert nach
Studia logica, 2018-10, Vol.106 (5), p.969-999
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2018, Vol.14, Issue 1
2018
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-08, Vol.126 (Proc. FICS 2013), p.72-86
2013
Volltextzugriff (PDF)
Indagationes mathematicae, 2018-02, Vol.29 (1), p.36-90
2018
Volltextzugriff (PDF)
Algebra universalis, 2008-08, Vol.58 (4), p.373-384
2008
Volltextzugriff (PDF)
2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-15
2021
Volltextzugriff (PDF)
Journal of logic and computation, 2017-04, p.exv043
2017
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-32
2020
Volltextzugriff (PDF)
The review of symbolic logic, 2019-09, Vol.12 (3), p.487-535
2019
Volltextzugriff (PDF)
Lecture notes in computer science, 2006, p.281-295
2006
Volltextzugriff (PDF)
Algebra universalis, 2008-08, Vol.58 (4), p.385-411
2008
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2016-06, Vol.85 (4), p.540-573
2016
Volltextzugriff (PDF)
Journal of applied logic, 2010-06, Vol.8 (2), p.153-172
2010
Volltextzugriff (PDF)
Verification, Model Checking, and Abstract Interpretation, 2020, Vol.11990, p.248-269
2020
Volltextzugriff (PDF)
Relational and Algebraic Methods in Computer Science, p.327-343
Volltextzugriff (PDF)
Automata, Languages, and Programming, p.299-311
Volltextzugriff (PDF)
Journal of applied non-classical logics, 2010, Vol.20 (3), p.139-171
2010
Volltextzugriff (PDF)
Studia logica, 2005-11, Vol.81 (2), p.153-165
2005
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-06, Vol.174 (6), p.79-94
2007
Volltextzugriff (PDF)
Studia logica, 2004-04, Vol.76 (3), p.329-342
2004
Volltextzugriff (PDF)
Database and Expert Systems Applications, p.83-97
Volltextzugriff (PDF)
Hiroakira Ono on Substructural Logics, p.185-242
Volltextzugriff (PDF)
Leo Esakia on Duality in Modal and Intuitionistic Logics, 2014, Vol.4, p.187-216
2014
Volltextzugriff (PDF)
Algebra and Coalgebra in Computer Science, p.192-207
Volltextzugriff (PDF)
Logic, Language, and Computation, p.257-276
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Logic
- Mathematics
- Physical Sciences
- Modal Logic
- Science & Technology - Other Topics
- Mathematics, Applied
- Algebra
- Semantics
- Computer Science, Software Engineering
- Algebraic Logic
- Arts & Humanities
- Calculus
- Completely Additive Operators
- Database Theory
- Engineering
- Engineering, Mechanical
Kollektion
- Ingenta
- Elektronische Zeitschriftenbibliothek - Freely accessible e-journals
- Springer Book Series
- Springer journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- JSTOR
- WK Lippincott Williams & Wilkins–Connect here FIRST to enable access
- Access via ScienceDirect (Elsevier)
- ACM Digital Library
- Wiley-Blackwell Journals
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Cambridge Journals Online (DEFF)
- Taylor & Francis Online
- Oxford Journals
- IngentaConnect Journals
- Wiley Online Library Full Collection 2018
- IEEE/IET Electronic Library (IEL)
- Access via Taylor & Francis
Zeitschrift / Serie
- Studia Logica
- Algebra Universalis
- Arxiv
- Electronic Notes In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science
- Electronic Proceedings In Theoretical Computer Science, Eptcs
- Forschung Im Ingenieurwesen
- Indagationes Mathematicae
- Journal Of Applied Logic
- Journal Of Applied Logic/journal Of Applied Logic