Sortiert nach
Theory and practice of logic programming, 2012-01, Vol.12 (1-2), p.67-96
2012
Volltextzugriff (PDF)
Journal of functional programming, 2020, Vol.30, Article e15
2020
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2019, Vol.306 (Proc. ICLP 2019), p.224-237
2019
Volltextzugriff (PDF)
Theory and practice of logic programming, 2024-01, Vol.24 (1), p.110-131
2024
Volltextzugriff (PDF)
International journal of approximate reasoning, 2021-05, Vol.132, p.86-87
2021
Volltextzugriff (PDF)
Electronic proceedings in theoretical computer science, 2015-09, Vol.191 (Proc. FICS 2015), p.143-157
2015
Volltextzugriff (PDF)
Science of computer programming, 2024-05, Vol.234, p.103086, Article 103086
2024
Volltextzugriff (PDF)
Science of computer programming, 2015-11, Vol.111, p.1-2
2015
Volltextzugriff (PDF)
Journal of functional programming, 2012-11, Vol.22 (6), p.797-852
2012
Volltextzugriff (PDF)
Science of computer programming, 2024-01, Vol.231, p.103010, Article 103010
2024
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2020-01, Vol.4 (POPL), p.1-27
2020
Volltextzugriff (PDF)
Theory and practice of logic programming, 2010-01, Vol.10 (1), p.1-47
2010
Volltextzugriff (PDF)
Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell, 2019, p.98-113
2019
Volltextzugriff (PDF)
Theory and practice of logic programming, 2014-07, Vol.14 (4-5), p.569-585
2014
Volltextzugriff (PDF)
Theory and practice of logic programming, 2023-07, Vol.23 (4), p.900-917
2023
Volltextzugriff (PDF)
Mathematics of Program Construction, 2015, p.302-322
2015
Volltextzugriff (PDF)
Functional and Logic Programming, 2012, p.47-61
2012
Volltextzugriff (PDF)
2008., 2008
Volltextzugriff (PDF)
Theory and practice of logic programming, 2014-07, Vol.14 (4-5), p.587-601
2014
Volltextzugriff (PDF)
Science of computer programming, 2018-01, Vol.152, p.70-98
2018
Volltextzugriff (PDF)
Functional and Logic Programming, 2012, p.275-289
2012
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, 2022, Vol.13290, p.75-91
2022
Volltextzugriff (PDF)
Proceedings of ACM on programming languages, 2022-08, Vol.6 (ICFP), p.496-511
2022
Volltextzugriff (PDF)
Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023, p.593-594
2023
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Logic
- Logic Programming
- Science & Technology - Other Topics
- Regular Papers
- Life Sciences & Biomedicine
- Theory Of Computation
- Haskell
- Semantics
- Prolog
- Applied Sciences
- Exact Sciences And Technology
- Humans
- Monads
- Theory Of Computation -- Logic
- Computer Science; Control Theory; Systems
Kollektion
- Ingenta
- ACM Digital Library
- SpringerLink Series
- EZB Electronic Journals Library
- Cambridge Journals Online (DEFF)
- Ebook Central Perpetual and DDA
- eBooks on EBSCOhost
- Access via ScienceDirect (Elsevier)
- EZB-NALI5-00465 Elsevier Archive NL
- MEDLINE
- RCN full-text journals@Ovid
- IngentaConnect Journals
- SpringerNature Journals
- SpringerLINK Contemporary (Konsortium Baden-Württemberg)
- Applied Social Sciences Index & Abstracts (ASSIA)
- Access via Wiley Online Library
- SAGE Complete
- NUS Single-Journal Subscriptions
- ERIC
- Access via Business Source (EBSCOhost)
Zeitschrift / Serie
- Theory And Practice Of Logic Programming
- Sigplan Notices
- Journal Of Functional Programming
- Acm Sigplan Notices
- Proceedings Of Acm On Programming Languages
- Proceedings Of The Acm On Programming Languages
- Science Of Computer Programming
- Acm Transactions On Programming Languages And Systems
- Acta Neuropsychiatrica
- Biological Psychiatry