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...Lecture notes in computer science, 1999, p.295-309
1999
Volltextzugriff (PDF)
Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell, 2015, p.177-188
2015
Volltextzugriff (PDF)
Journal of logic and computation, 2006-02, Vol.16 (1), p.135-155
2006
Volltextzugriff (PDF)
Proceedings of the Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2017, p.15-23
2017
Volltextzugriff (PDF)
SIGPLAN notices, 2016-01, Vol.50 (12), p.177-188
2016
Volltextzugriff (PDF)
Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell, 2017, p.63-74
2017
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.528-543
2005
Volltextzugriff (PDF)
SIGPLAN notices, 2017, Vol.52 (10), p.63-74
2017
Volltextzugriff (PDF)
Functional and Logic Programming, 2001, p.61-77
2001
Volltextzugriff (PDF)
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming, 2008
2008
Volltextzugriff (PDF)
Lecture notes in computer science, 2004, p.294-309
2004
Volltextzugriff (PDF)
American journal of human genetics, 1995-07, Vol.57 (1), p.112-119
- LANGE, E
- BORRESEN, A.-L
- MCCONVILLE, C
- POLAKOW, J
- PORRAS, O
- ROTMAN, G
- SANAL, O
- SHEIKHAVANDI, S
- SHILOH, Y
- SOBEL, E
- TAYLOR, M
- TELATAR, M
- XIAOGUANG CHEN
- TERAOKA, S
- TOLUN, A
- UDAR, N
- UHRHAMMER, N
- VANAGAITE, L
- ZHIJUN WANG
- WAPELHORST, B
- WRIGHT, J
- HUAN-MING YANG
- LAN YANG
- CHESSA, L
- ZIV, Y
- GATTI, R. A
- SUJATA CHIPLUNKAR
- CONCANNON, P
- SUGANDHA DANDEKAR
- GERKEN, S
- LANGE, K
- LIANG, T
1995
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming; 20-23 Sept. 2000, 2000, p.68-79
2000
Volltextzugriff (PDF)
Conference on Programming Language Design and Implementation: Proceedings of the 2006 workshop on Programming languages and analysis for security; 10-10 June 2006, 2006, p.37-46
2006
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 1999, Vol.20, p.449-466
1999
Volltextzugriff (PDF)
A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines
2003
Volltextzugriff (PDF)
International Conference on Principles and Practice of Declarative Programming: Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming; 11-13 July 2005, 2005, p.35-46
2005
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Linear Logic
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Logic Programming
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Theoretical Computing
- Artificial Intelligence
- Canonical Form
- Computing Methodologies -- Artificial Intelligence -- Knowledge Representation And Reasoning
- Logic
- Programming Languages
- Science & Technology - Other Topics
- Software
- Theory Of Computation -- Models Of Computation -- Computability
- Abstract Machine
Kollektion