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...Algebra universalis, 2023-05, Vol.84 (2), Article 10
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2022-11, Vol.18, Issue 4 (4)
2022
Volltextzugriff (PDF)
Logical methods in computer science, 2021-01, Vol.17, Issue 1
2021
Volltextzugriff (PDF)
ACM transactions on computational logic, 2015-11, Vol.16 (4), p.1-38
2015
Volltextzugriff (PDF)
ACM transactions on computational logic, 2016-11, Vol.17 (4), p.1-34
2016
Volltextzugriff (PDF)
Relational and Algebraic Methods in Computer Science, p.84-100
Volltextzugriff (PDF)
1, 2004
Volltextzugriff (PDF)
Algebraic Methodology and Software Technology, p.330-345
Volltextzugriff (PDF)
Information processing letters, 2016-04, Vol.116 (4), p.284-288
2016
Volltextzugriff (PDF)
Mathematical structures in computer science, 2018-06, Vol.28 (6), p.775-799
2018
Volltextzugriff (PDF)
Logical methods in computer science, 2011-02, Vol.7, Issue 1
2011
Volltextzugriff (PDF)
Journal of automated reasoning, 2024-12, Vol.68 (4), p.20, Article 20
2024
Volltextzugriff (PDF)
Journal of logic and computation, 2024-05
2024
Volltextzugriff (PDF)
2013, 2013
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2013-06, Vol.117 (Proc. QAPL 2013), p.97-115
2013
Volltextzugriff (PDF)
Science of computer programming, 2011-03, Vol.76 (3), p.181-203
2011
Volltextzugriff (PDF)
Journal of automated reasoning, 2022-02, Vol.66 (1), p.93-139
2022
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2024-06, Vol.139, p.100976, Article 100976
2024
Volltextzugriff (PDF)
Information and computation, 2022-05, Vol.285, p.104914, Article 104914
2022
Volltextzugriff (PDF)
Mathematical structures in computer science, 2022-03, Vol.31 (8), p.918-949
2022
Volltextzugriff (PDF)
The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, p.329-343
Volltextzugriff (PDF)
Journal of automated reasoning, 2015-02, Vol.54 (2), p.165-197
2015
Volltextzugriff (PDF)
Mathematical structures in computer science, 2021-05, Vol.31 (5), p.575-613
2021
Volltextzugriff (PDF)
Theoretical computer science, 2016-12, Vol.655, p.120-134
2016
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Mathematics
- Physical Sciences
- Mathematics, Applied
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Logic
- Science & Technology - Other Topics
- Theoretical Computing
- Algorithmics. Computability. Computer Arithmetics
- Computer Science, Software Engineering
- Relation Algebra
- Algebra
- Boolean Algebra
- Kleene Algebra
- Software
Kollektion
- IngentaConnect
- Springer Book Series
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- EZB Electronic Journals Library
- Access via ScienceDirect (Elsevier)
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- SpringerLink
- ACM Digital Library
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Journals@Ovid Ovid Full Text
- Cambridge Journals Online (DEFF)
- Access via Oxford University Press
- ProQuest Dissertations & Theses A&I
- IngentaConnect Journals
- IEEE Xplore
Zeitschrift / Serie
- Journal Of Logical And Algebraic Methods In Programming
- The Journal Of Logic And Algebraic Programming
- Acm Transactions On Computational Logic
- Electronic Notes In Theoretical Computer Science
- Journal Of Automated Reasoning
- The journal Of Logical And Algebraic Methods In Programming/journal Of Logical And Algebraic Methods In Programming
- Logical Methods In Computer Science
- Mathematical Structures In Computer Science
- The journal Of Logic And Algebraic Programming
- Theoretical Computer Science
Neu hinzugefügt