Sortiert nach
Proceedings of ACM on programming languages, 2023-01, Vol.7 (POPL), p.806-832, Article 28
2023
Link zum Volltext
Logical methods in computer science, 2020-01, Vol.16 (4)
2020
Link zum Volltext
Theoretical computer science, 2020-04, Vol.813, p.341-361
2020
Link zum Volltext
Information and computation, 2018-08, Vol.261 (1), p.78-115
2018
Link zum Volltext
Theoretical computer science, 2013-01, Vol.467, p.30-52
2013
Link zum Volltext
Logical methods in computer science, 2022-02, Vol.18, Issue 1 (1)
2022
Link zum Volltext
Theoretical Aspects of Computing – ICTAC 2021, p.357-365
Link zum Volltext
Theoretical computer science, 2015-06, Vol.585, p.41-54
2015
Link zum Volltext
Science of computer programming, 2015-11, Vol.111, p.395-425
2015
Link zum Volltext
2017 IEEE 47th International Symposium on Multiple-Valued Logic (ISMVL), 2017, p.37-42
2017
- Link zum Volltext
Programming Languages and Systems, p.387-404
Link zum Volltext
Algorithms and Computation, p.291-303
Link zum Volltext
Foundations of Software Science and Computation Structures, p.305-320
Link zum Volltext
Functional and Logic Programming, 2006, Vol.3945, p.163-176
2006
Link zum Volltext
Foundational and Practical Aspects of Resource Analysis, p.51-66
Link zum Volltext
Computer Science Logic, p.271-286
Link zum Volltext
ACM transactions on computational logic, 2009-08, Vol.10 (4), p.1-31
2009
Link zum Volltext
Proceedings of the 20th ACM SIGPLAN International Conference on functional programming, 2015, p.114-126
2015
Link zum Volltext
Functional and Logic Programming, p.50-65
Link zum Volltext
Theoretical Aspects of Computing – ICTAC 2007, p.410-424
Link zum Volltext
Lecture notes in computer science, 2006, p.90-104
2006
Link zum Volltext
SIGPLAN notices, 2015-12, Vol.50 (9), p.114-126
2015
Link zum Volltext
Theory and Applications of Models of Computation, p.124-140
Link zum Volltext
Theory and Applications of Models of Computation, p.280-299
Link zum Volltext
1, 2013
Link zum Volltext
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computational Complexity
- Computer Science, Theory & Methods
- Computer Science, Software Engineering
- Science & Technology - Other Topics
- Function Symbol
- Humans
- Implicit Computational Complexity
- Life Sciences
- Life Sciences & Biomedicine
- Logic
- Polynomial Time
- Type System
- Complexity
- Mathematics
- Mathematics, Applied
- Neurosciences
- Neurosciences & Neurology
Kollektion
- Ingenta
- HEAL-Link subscriptions: Springer Book Series
- Free E-Journal (出版社公開部分のみ）
- MEDLINE
- Elsevier ScienceDirect Journals Complete
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- ACM Digital Library
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Springer Nature
- IngentaConnect Journals
- Journals@Ovid Complete
- Ebook Central Perpetual and DDA
- Oxford Journals
- eBooks on EBSCOhost
- Oxford Journals 2020 Medicine
- IEEE/IET Electronic Library
- Nature Journals
- Springer Books
Zeitschrift / Serie