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...IEICE Transactions on Information and Systems, 2019/02/01, Vol.E102.D(2), pp.223-238
2019
Volltextzugriff (PDF)
Automated Deduction - CADE-25, 2015-01, p.111-126
2015
Volltextzugriff (PDF)
Journal of algebra, 2024-07, Vol.649, p.12-34
2024
Volltextzugriff (PDF)
Journal of symbolic computation, 2005-07, Vol.40 (1), p.831-873
2005
Volltextzugriff (PDF)
Science of computer programming, 2023-01, Vol.225, p.102910, Article 102910
2023
Volltextzugriff (PDF)
Mathematical structures in computer science, 2022-08, Vol.32 (7), p.870-897
2022
Volltextzugriff (PDF)
Science of computer programming, 2020-01, Vol.185, p.102338, Article 102338
2020
Volltextzugriff (PDF)
Journal of automated reasoning, 2013-10, Vol.51 (3), p.281-324
2013
Volltextzugriff (PDF)
Journal of automated reasoning, 2017, Vol.58 (1), p.3-31
2017
Volltextzugriff (PDF)
ACM computing surveys, 2020-09, Vol.53 (4), p.1-36
2020
Volltextzugriff (PDF)
Logical methods in computer science, 2022-04, Vol.18, Issue 2
2022
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2021, Vol.341, p.33-41
2021
Volltextzugriff (PDF)
Software testing, verification & reliability, 2007-09, Vol.17 (3), p.183-203
2007
Volltextzugriff (PDF)
Science of computer programming, 2018-04, Vol.155, p.76-102
2018
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2023-09, Vol.45 (3), p.1-37, Article 16
2023
Volltextzugriff (PDF)
Theoretical computer science, 2019-08, Vol.781, p.92-110
2019
Volltextzugriff (PDF)
Theoretical computer science, 2020-12, Vol.848, p.82-105
2020
Volltextzugriff (PDF)
Journal of algebra, 2017-01, Vol.470, p.219-253
2017
Volltextzugriff (PDF)
Journal of computer and system sciences, 2019-09, Vol.104, p.131-148
2019
Volltextzugriff (PDF)
Theoretical computer science, 2019-07, Vol.777, p.260-295
2019
Volltextzugriff (PDF)
Annals of mathematics and artificial intelligence, 2023-12, Vol.91 (6), p.797-820
2023
Volltextzugriff (PDF)
Science of computer programming, 2006-08, Vol.61 (3), p.190-210
2006
Volltextzugriff (PDF)
Logical methods in computer science, 2024-01, Vol.20, Issue 1
2024
Volltextzugriff (PDF)
Practical Aspects of Declarative Languages, 2023, Vol.13880, p.161-179
2023
Volltextzugriff (PDF)
Theoretical computer science, 2018-07, Vol.732, p.60-72
2018
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Term Rewriting
- Computer Science, Theory & Methods
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Mathematics
- Computer Science, Software Engineering
- Term Rewriting Systems
- Termination
- Theoretical Computing
- Physical Sciences
- Logic
- Computer Science, Artificial Intelligence
- Mathematics, Applied
- Computer Science, Information Systems
- Science & Technology - Other Topics
- Confluence
Kollektion
- Ingenta
- EZB Electronic Journals Library
- Elsevier ScienceDirect Journals Complete
- HEAL-Link subscriptions: Springer Book Series
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- SpringerLink
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Journals@Ovid
- IEEE Electronic Library Online
- Business Source Ultimate
- IngentaConnect Journals
- Oxford Journals Online Current
- Cambridge Journals Online (DEFF)
- SAGE Journals Online
- Wiley-Blackwell Journals
- Taylor & Francis Journals Complete
- Taylor & Francis Journals
Zeitschrift / Serie
- Electronic Notes In Theoretical Computer Science
- Information Processing Letters
- Journal Of Automated Reasoning
- Theoretical Computer Science
- Logical Methods In Computer Science
- Information And Computation
- Applicable Algebra In Engineering, Communication And Computing
- Ieice Transactions On Information And Systems
- Science Of Computer Programming
- Journal Of Logical And Algebraic Methods In Programming
Neu hinzugefügt