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...ACM transactions on computational logic, 2017-06, Vol.18 (2), p.1-20
2017
Volltextzugriff (PDF)
Theoretical computer science, 2024-12, Vol.1020, p.114915, Article 114915
2024
Volltextzugriff (PDF)
Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2014, p.1-10
2014
Volltextzugriff (PDF)
ACM transactions on graphics, 2023-11, Vol.43 (1), p.1-16, Article 7
2023
Volltextzugriff (PDF)
Theoretical computer science, 2020-12, Vol.848, p.106-132
2020
Volltextzugriff (PDF)
Theoretical computer science, 2020-01, Vol.802, p.19-37
2020
Volltextzugriff (PDF)
Applicable algebra in engineering, communication and computing, 2010-12, Vol.21 (6), p.459-485
2010
Volltextzugriff (PDF)
Journal of computer languages (Online), 2019-02, Vol.50, p.84-101
2019
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-06, Vol.7 (PLDI), p.468-492, Article 125
2023
Volltextzugriff (PDF)
Theoretical computer science, 2018-11, Vol.750, p.24-37
2018
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2023-08, Vol.7 (ICFP), p.417-447, Article 203
2023
Volltextzugriff (PDF)
Theoretical computer science, 2017-04, Vol.672, p.64-100
2017
Volltextzugriff (PDF)
Journal of functional programming, 2016-01, Vol.26, Article e2
2016
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2024-01, Vol.8 (POPL), p.61-89, Article 3
2024
Volltextzugriff (PDF)
Theoretical computer science, 2019-11, Vol.795, p.240-256
2019
Volltextzugriff (PDF)
Journal of logical and algebraic methods in programming, 2019-02, Vol.103, p.213-231
2019
Volltextzugriff (PDF)
Proceedings of the 16th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2017, p.117-130
2017
Volltextzugriff (PDF)
Journal of computer security, 2017-01, Vol.25 (6), p.585-630
2017
Volltextzugriff (PDF)
Journal of computer and system sciences, 2017-09, Vol.88, p.164-194
2017
Volltextzugriff (PDF)
International journal of Web information systems, 2021-12, Vol.17 (6), p.622-644
2021
Volltextzugriff (PDF)
Journal of intelligent information systems, 2019-06, Vol.52 (3), p.501-532
2019
Volltextzugriff (PDF)
Annals of pure and applied logic, 2004-12, Vol.130 (1), p.33-59
2004
Volltextzugriff (PDF)
Rewriting Techniques and Applications, 2005, p.287-298
2005
Volltextzugriff (PDF)
Symbolic Computation in Software Science, 2024, p.96-113
2024
Volltextzugriff (PDF)
Proceedings of the International Conference on Parallel Architectures and Compilation Techniques, 2022, p.426-438
2022
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Theory Of Computation -- Formal Languages And Automata Theory -- Formalisms -- Rewrite Systems
- Theory Of Computation -- Formal Languages And Automata Theory -- Grammars And Context-Free Languages
- Science & Technology
- Technology
- Computer Science
- Computer Science, Theory & Methods
- Theory Of Computation
- Computer Science, Software Engineering
- Rewrite Systems
- Theory Of Computation -- Formal Languages And Automata Theory
- Exact Sciences And Technology
- Applied Sciences
- Computer Science; Control Theory; Systems
- Theory Of Computation -- Formal Languages And Automata Theory -- Formalisms
- Rewrite System
- Theoretical Computing
- Theory Of Computation -- Logic
- Mathematics
- Computer Science, Information Systems
- Software And Its Engineering -- Software Notations And Tools -- Compilers
Kollektion
- ACM Digital Library Complete
- Ingenta
- SpringerLink Series
- Free E-Journal (出版社公開部分のみ）
- Elsevier ScienceDirect Journals Complete
- IEEE Electronic Library (IEL)
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- EBSCOhost Business Source Ultimate
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- SpringerLink_现刊
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- IngentaConnect Journals
- Journals@Ovid
- ScienceDirect eBooks
- Oxford journals
- MEDLINE
- SAGE Premier Complete
- Wiley-Blackwell Journals
- Emerald Management 200
Zeitschrift / Serie
- Theoretical Computer Science
- Electronic Notes In Theoretical Computer Science
- Acm Transactions On Programming Languages And Systems
- Communications Of The Acm
- Information Processing Letters
- Journal Of Automated Reasoning
- The Journal Of Logic And Algebraic Programming
- Acm Transactions On Computational Logic
- Fundamenta Informaticae
- Journal Of The Acm
Neu hinzugefügt