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...Proceedings Twelfth International Workshop on Trends in Functional Programming in Education: Preface
2023
Volltextzugriff (PDF)
Logical methods in computer science, 2015-03, Vol.11, Issue 1
2015
Volltextzugriff (PDF)
Information processing letters, 2011-07, Vol.111 (14), p.711
2011
Volltextzugriff (PDF)
Information processing letters, 2011-07, Vol.111 (14), p.711-716
2011
Volltextzugriff (PDF)
Rewriting Techniques and Applications, p.321-335
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2008-04, Vol.204, p.147-162
2008
Volltextzugriff (PDF)
Programming Languages and Systems, p.260-274
Volltextzugriff (PDF)
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications, 2009, p.757-758
2009
Volltextzugriff (PDF)
Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, 2007, p.829-830
2007
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Sprache
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Lambda Calculus
- Semantics
- Simulation
- Software And Its Engineering -- Software Notations And Tools -- Compilers
- Algorithmics. Computability. Computer Arithmetics
- Applied Sciences
- Bisimulation
- Calculi
- Calculus
- Call-By-Name
- Call-By-Need
- Computational Soundness
- Computer Science - Logic In Computer Science
- Computer Science, Artificial Intelligence
- Computer Science, Information Systems
- Computer Science, Software Engineering
Kollektion