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...Logical methods in computer science, 2018-03, Vol.14, Issue 1
2018
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, Vol.3780, p.364-380
2005
Volltextzugriff (PDF)
Journal of rheumatology, 2005-02, Vol.32 (2), p.256
2005
Volltextzugriff (PDF)
ACM transactions on programming languages and systems, 2004-09, Vol.26 (5), p.769-804
2004
Volltextzugriff (PDF)
Computer Science Logic, 2006, p.182-196
2006
Volltextzugriff (PDF)
Science of computer programming, 2018-04, Vol.155, p.27-51
2018
Volltextzugriff (PDF)
Journal of functional programming, 2001-07, Vol.11 (4), p.395-410
2001
Volltextzugriff (PDF)
SIGPLAN notices, 2012-01, Vol.47 (1), p.45-58
2012
Volltextzugriff (PDF)
Journal of automated reasoning, 2012-08, Vol.49 (2), p.141-159
2012
Volltextzugriff (PDF)
2011 IEEE 26th Annual Symposium on Logic in Computer Science, 2011, p.257-266
2011
Volltextzugriff (PDF)
Journal of functional programming, 2005-07, Vol.15 (4), p.503-542
2005
Volltextzugriff (PDF)
Lecture notes in computer science, 2005, p.86-101
2005
Volltextzugriff (PDF)
Journal of functional programming, 2017, Vol.27, p.1-24, Article e1
2017
Volltextzugriff (PDF)
Programming Languages and Systems, p.307-314
Volltextzugriff (PDF)
Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming, 2018, p.1-8
2018
Volltextzugriff (PDF)
Theorem Proving in Higher Order Logics, p.115-130
Volltextzugriff (PDF)
Proceedings of the 9th international conference on Functional and logic programming, 2008, p.224-238
2008
Volltextzugriff (PDF)
Proceedings of the 2007 ACM SIGPLAN international workshop on Types in languages design and implementation, 2007, p.15-26
2007
Volltextzugriff (PDF)
Annual Symposium on Principles of Programming Languages: Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages; 14-16 Jan. 2004, 2004, p.14-25
2004
Volltextzugriff (PDF)
ECOOP 2002 — Object-Oriented Programming, 2002, p.415-440
2002
Volltextzugriff (PDF)
A List of Successes That Can Change the World, 2016, Vol.9600, p.56-72
2016
Volltextzugriff (PDF)
Functional and Logic Programming, p.224-238
Volltextzugriff (PDF)
SIGPLAN notices, 2013-01, Vol.48 (1), p.301-314
2013
Volltextzugriff (PDF)
SIGPLAN notices, 2014-01, Vol.49 (1)
2014
Volltextzugriff (PDF)
Typed Lambda Calculi and Applications, p.48-60
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Science & Technology
- Computer Science
- Technology
- Computer Science, Software Engineering
- Computer Science, Theory & Methods
- Applied Sciences
- Computer Science; Control Theory; Systems
- Exact Sciences And Technology
- Software
- Denotational Semantics
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics
- Life Sciences & Biomedicine
- Humans
- Programming Languages
- Theoretical Computing
- Theory Of Computation -- Semantics And Reasoning -- Program Semantics -- Denotational Semantics
- Aged
- Denotational Semantic
- Linear Logic
Kollektion
- ACM Digital Library Complete
- IngentaConnect
- EZB Electronic Journals Library
- SpringerLink Series
- NUS Single-Journal Subscriptions
- MEDLINE
- Ovid SocietyJournals and Single Titles
- Elsevier ScienceDirect Journals Complete
- Wiley-Blackwell Full Collection
- EBSCOhost Business Source Ultimate
- Wiley Online Library
- Ebook Central Perpetual and DDA
- Cambridge Journals Online (DEFF)
- eBooks on EBSCOhost
- IngentaConnect Journals
- IEEE Electronic Library Online
- Elsevier Journal Backfiles on ScienceDirect (DFG Nationallizenzen)
- Taylor & Francis Current Content Access
- JSTOR All Journals
- Sage Journals
Zeitschrift / Serie
- Sigplan Notices
- Acm Sigplan Notices
- Blood
- Electronic Notes In Theoretical Computer Science
- Journal Of Functional Programming
- Journal Of Accountancy
- Acm Transactions On Programming Languages And Systems
- American Heart Journal
- American Heart Journal/the american Heart Journal
- Annals Of Otology, Rhinology & Laryngology