Sortiert nach
Theoretical computer science, 2008-08, Vol.403 (2), p.285-306
2008
Volltextzugriff (PDF)
ACM transactions on computer systems, 2014-06, Vol.32 (2), p.1-40
2014
Volltextzugriff (PDF)
Journal of computer and system sciences, 2010-08, Vol.76 (5), p.283-301
2010
Volltextzugriff (PDF)
Logic-Based Program Synthesis and Transformation, p.234-248
Volltextzugriff (PDF)
SIGPLAN notices, 2011-03, Vol.46 (3), p.305-318
2011
Volltextzugriff (PDF)
Electronic notes in theoretical computer science, 2007-05, Vol.176 (1), p.25-37
2007
Volltextzugriff (PDF)
Proceedings of the sixteenth international conference on Architectural support for programming languages and operating systems, 2011, p.305-318
2011
Volltextzugriff (PDF)
SIGPLAN notices, 2012-06, Vol.47 (4), p.305
2012
Volltextzugriff (PDF)
Computer architecture news, 2011-03, Vol.39 (1), p.305-318
2011
Volltextzugriff (PDF)
Logic, Language, Information and Computation, p.111-122
Volltextzugriff (PDF)
Biology of the cell, 2010-08, Vol.102 (8), p.447-456
2010
Volltextzugriff (PDF)
Suchergebnisse filtern
Filter anzeigenNur zeigen
Publikationsform
Erscheinungsjahr
n.n
n.n
Thema
- Computer Science
- Science & Technology
- Technology
- Computer Science, Theory & Methods
- Binders
- Linux
- Applied Sciences
- Exact Sciences And Technology
- Fault-Finding Tools
- Matching
- Nominal Syntax
- Nominal Terms
- Operating Systems
- Software Engineering
- Unification
- [formula Omitted]-Equivalence
- Adenosine Triphosphate
- Adenosine Triphosphate - Metabolism
- Algorithmics. Computability. Computer Arithmetics
- Alpha-Equivalence
Kollektion