|
[63]
|
Frühwirth, T.: Constraint Handling Rules.
Cambridge University Press, 2009.
[ http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521877763 ]
|
|
[62]
|
Raiser, F.: Analysing Graph Transformation Systems Using Extended
Methods from Constraint Handling Rules.
In: Hill, P. M. und D. S. Warren (Herausgeber): Logic Programming: 25th International Conference
(ICLP 2009), Band 5649 der Reihe Lecture Notes
in Computer Science, Seiten 540-541. Springer-Verlag,
Juli 2009.
[ http://dx.doi.org/10.1007/978-3-642-02846-5_54 ]
|
|
[61]
|
Raiser, F., H. Betz und T. Frühwirth:
Equivalence of CHR States Revisited.
In: Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International
Workshop on Constraint Handling Rules, Nummer CW 555
in Technical Report, Seiten 34-48.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juli 2009.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
|
|
[60]
|
Raiser, F. und T. Frühwirth: Strong joinability
analysis for graph transformation systems in CHR.
In: Corradini, A. (Herausgeber):
Preliminary Proceedings of the 5th International Workshop on Computing with
Terms and Graphs (TERMGRAPH), Seiten 97-112, 2009.
|
|
[59]
|
Raiser, F. und T. Frühwirth: Operational
Equivalence of Graph Transformation Systems.
In: Raiser, F. und J. Sneyers (Herausgeber): CHR 2009: Proceedings of the Sixth International
Workshop on Constraint Handling Rules, Nummer CW 555
in Technical Report, Seiten 49-61.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juli 2009.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
|
|
[58]
|
Raiser, F. und T. Frühwirth: Strong Joinability
Analysis for Graph Transformation Systems in CHR.
In: Corradini, A. (Herausgeber):
Proceedings of the Fifth International Workshop on Computing with Terms and
Graphs (TERMGRAPH 2009), Band 253 der Reihe
Electronic Notes in Theoretical Computer Science, Seiten 91-111, November 2009.
|
|
[57]
|
Raiser, F. und J. Sneyers (Herausgeber): CHR
2009: Proceedings of the Sixth International Workshop on Constraint Handling
Rules, Nummer CW 555 in Technical Report.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juli 2009.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW555.pdf ]
|
|
[56]
|
Djelloul, K., T.-B.-H. Dao und T. Frühwirth:
Theory of finite or infinite trees revisited.
Theory and Practice of Logic Programming, 8(4):431-489,
Juli 2008.
[ http://dx.doi.org/10.1017/S1471068407003171 ]
|
|
[55]
|
Frühwirth, T.: Quasi-Linear-Time Algorithms by Generalisation of
Union-Find in CHR.
In: Fages, F., F. Rossi und
S. Soliman (Herausgeber): Recent Advances in Constraints: 12th
Annual ERCIM Workshop on Constraint Solving and Constraint Logic Programming,
CSCLP 2007, Band 5129 der Reihe Lecture Notes
in Computer Science, Seiten 91-108. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-89812-2_7 ]
|
|
[54]
|
Frühwirth, T.: Welcome to Constraint Handling Rules.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research
Topics, Band 5388 der Reihe Lecture Notes in
Computer Science, Seiten 1-15. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-92243-8_1 ]
|
|
[53]
|
Haemmerlé, R. und H. Betz: Verification of
Constraint Handling Rules using Linear Logic Phase Semantics.
In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on
Constraint Handling Rules, Seiten 67-78, Juli 2008.
|
|
[52]
|
Meister, M.: Advances in Constraint Handling Rules.
Doktorarbeit, Universität Ulm, Juni 2008.
|
|
[51]
|
Raiser, F.: Semi-Automatic Generation of CHR Solvers from Global
Constraint Automata.
Ulmer Informatik-Berichte 2008-03, Universität Ulm,
Februar 2008.
[ http://vts.uni-ulm.de/doc.asp?id=6322 ]
|
|
[50]
|
Raiser, F.: Semi-automatic generation of CHR solvers for global
constraints.
In: Stuckey, P. J. (Herausgeber):
Principles and Practice of Constraint Programming, 14th International
Conference, CP 2008, Band 5202 der Reihe
Lecture Notes in Computer Science, Seiten 588-592.
Springer-Verlag, September 2008.
[ http://dx.doi.org/10.1007/978-3-540-85958-1_47 ]
|
|
[49]
|
Raiser, F. und T. Frühwirth: Towards Term Rewriting
Systems in Constraint Handling Rules.
In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on
Constraint Handling Rules, Seiten 19-33, Juli 2008.
|
|
[48]
|
Schrijvers, T. und T. Frühwirth (Herausgeber):
Constraint Handling Rules: Current Research Topics, Band 5388 der Reihe Lecture Notes in Computer Science.
Springer-Verlag, 2008.
[ http://www.springer.com/978-3-540-92242-1 ]
|
|
[47]
|
Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on Constraint Handling
Rules, Nummer 08-10 in RISC-Linz Report
Series. Research Institute for Symbolic Computation, Johannes Kepler
University, Linz, Juli 2008.
[ http://www.risc.uni-linz.ac.at/publications/download/risc_3449/proceedings.pdf ]
|
|
[46]
|
Sneyers, J. und T. Frühwirth: Generalized CHR
Machines.
In: Schrijvers, T., F. Raiser und T. Frühwirth (Herausgeber): CHR 2008, The 5th Workshop on
Constraint Handling Rules, Seiten 143-157, Juli 2008.
|
|
[45]
|
Sobhi, I., S. Abdennadher und H. Betz:
Constructing Rule-Based Solvers for Intentionally-Defined Constraints.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Constraint Handling Rules: Current Research
Topics, Band 5388 der Reihe Lecture Notes in
Computer Science, Seiten 70-84. Springer-Verlag, 2008.
[ http://dx.doi.org/10.1007/978-3-540-92243-8_4 ]
|
|
[44]
|
Betz, H.: A Linear-Logic Semantics for Constraint Handling Rules
with Disjunction.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 17-31,
September 2007.
|
|
[43]
|
Betz, H.: Relating Coloured Petri Nets to Constraint Handling
Rules.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 33-47,
September 2007.
|
|
[42]
|
Djelloul, K., T.-B.-H. Dao und T. Frühwirth:
Toward a first-order extension of Prolog's unification using CHR: a CHR
first-order constraint solver over finite or infinite trees.
In: Hung, C. C. und A. Rosa (Herausgeber): Proceedings of the 2007 ACM symposium on Applied
computing, SAC 2007, Seiten 58-64. ACM Press, 2007.
[ http://doi.acm.org/10.1145/1244002.1244016 ]
|
|
[41]
|
Frühwirth, T.: Description Logic and Rules the CHR Way.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 49-61,
September 2007.
|
|
[40]
|
Meister, M.: Concurrency of the Preflow-Push Algorithm in
Constraint Handling Rules.
In: Fages, F., F. Rossi und
S. Soliman (Herausgeber): Constraint Solving and Constraint
Logic Programming, 12th Annual ERCIM Workshop, Seiten 160-169,
Juni 2007.
|
|
[39]
|
Meister, M., K. Djelloul und T. Frühwirth:
Complexity of a CHR Solver for Existentially Quantified Conjunctions of
Equations over Trees.
In: Azevedo, F., P. Barahona, F. Fages
und F. Rossi (Herausgeber): Recent Advances in
Constraints: 11th Annual ERCIM Workshop on Constraint Solving and Constraint
Logic Programming, CSCLP 2006, Band 4651 der Reihe Lecture Notes in Computer Science, Seiten 139-153.
Springer-Verlag, 2007.
|
|
[38]
|
Meister, M., K. Djelloul und J. Robin: A
Unified Semantics for Constraint Handling Rules in Transaction Logic.
In: Baral, C., G. Brewka und
J. Schlipf (Herausgeber): Logic Programming and Nonmonotonic
Reasoning, 9th International Conference, LPNMR 2007, Band 4483
der Reihe Lecture Notes in Computer Science,
Seiten 201-213. Springer-Verlag, 2007.
[ http://dx.doi.org/10.1007/978-3-540-72200-7_18 ]
|
|
[37]
|
Meister, M., K. Djelloul und J. Robin: Une
sémantique complète pour CHR en logique des transactions.
In: Deransart, P. (Herausgeber):
Programmation par Contraintes, Troisièmes Journées Francophones,
Seiten 130-138, Juni 2007.
[ http://hal.inria.fr/inria-00151149/en/ ]
|
|
[36]
|
Meister, M. und T. Frühwirth: Reconstructing
almost-linear Tree Equation Solving Algorithms in CHR.
In: Fages, F., F. Rossi und
S. Soliman (Herausgeber): Constraint Solving and Constraint
Logic Programming, 12th Annual ERCIM Workshop, Seiten 123-137,
Juni 2007.
|
|
[35]
|
Raiser, F.: Graph Transformation Systems in CHR.
In: Dahl, V. und I. Niemelä (Herausgeber): Logic Programming, 23rd International Conference,
ICLP 2007, Band 4670 der Reihe Lecture Notes in
Computer Science, Seiten 240-254. Springer-Verlag, 2007.
[ http://dx.doi.org/10.1007/978-3-540-74610-2_17 ]
|
|
[34]
|
Raiser, F. und P. Tacchella: On Confluence of
Non-terminating CHR Programs.
In: Djelloul, K., G. J. Duck und M. Sulzmann (Herausgeber): Proceedings of the 4th Workshop
on Constraint Handling Rules, CHR 2007, Seiten 63-76,
September 2007.
|
|
[33]
|
Djelloul, K. und T.-B.-H. Dao: Extension of
First-Order Theories into Trees.
In: Calmet, J., T. Ida und
D. Wang (Herausgeber): Artificial Intelligence and Symbolic
Computation: 8th International Conference, AISC 2006, Band 4120
der Reihe Lecture Notes in Computer Science,
Seiten 53-67. Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/11856290_7 ]
|
|
[32]
|
Frühwirth, T.: Constraint Handling Rules: The Story So Far.
In: Maher, M. (Herausgeber): Proceedings
of the Eigth ACM SIGPLAN Symposium on Principles and Practice of Declarative
Programming, Seiten 13-14. ACM Press, 2006.
[ http://doi.acm.org/10.1145/1140335.1140337 ]
|
|
[31]
|
Frühwirth, T.: Complete Propagation Rules for Lexicographic Order
Constraints over Arbitrary Domains.
In: Hnich, B., M. Carlsson, F. Fages
und F. Rossi (Herausgeber): Recent Advances in
Constraints, CSCLP 2005, Band 3978 der Reihe
Lecture Notes in Computer Science, Seiten 14-28.
Springer-Verlag, 2006.
[ http://dx.doi.org/10.1007/11754602_2 ]
|
|
[30]
|
Frühwirth, T.: Deriving Linear-Time Algorithms from Union-Find in
CHR.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on
Constraint Handling Rules, Nummer CW 452 in
Technical Report, Seiten 49-60. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[29]
|
Frühwirth, T. und S. Abdennadher: Principles of
constraint systems and constraint solvers.
Archives of Control Sciences: Special Issue on Constraint
Programming, 16(2), 2006.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/acs-systems3.pdf ]
|
|
[28]
|
Frühwirth, T., L. Michel und C. Schulte:
Constraints in Procedural and Concurrent Languages.
In: Rossi, F., P. van Beek und
T. Walsh (Herausgeber): Handbook of Constraint Programming,
Kapitel 13. Elsevier, 2006.
|
|
[27]
|
Käser, M. und M. Meister: Implementation of an
F-Logic Kernel in CHR.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on
Constraint Handling Rules, Nummer CW 452 in
Technical Report, Seiten 33-48. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[26]
|
Meister, M.: Fine-grained Parallel Implementation of the
Preflow-Push Algorithm in CHR.
In: Fink, M., H. Tompits und
S. Woltran (Herausgeber): Proceedings of WLP 2006, 20th Workshop
on Logic Programming, Nummer 1843-06-02 in
INFSYS Research Report, Seiten 172-181. Technische Universität
Wien, Februar 2006.
[ http://www.kr.tuwien.ac.at/wlp06/proceedings.html |
http://www.kr.tuwien.ac.at/wlp06/16-final.ps.gz ]
|
|
[25]
|
Meister, M. und T. Frühwirth: Complexity of the
CHR Rational Tree Equation Solver.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2006, Third Workshop on
Constraint Handling Rules, Nummer CW 452 in
Technical Report, Seiten 77-92. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[24]
|
Schrijvers, T., B. Demoen, G. Duck, P. Stuckey
und T. Frühwirth: Automatic implication checking for
CHR constraints.
In: Cirstea, H. und N. Martí-Oliet (Herausgeber): Proceedings of the 6th International Workshop on
Rule-Based Programming, RULE 2005, Band 147 der Reihe Electronic Notes in Theoretical Computer Science, Seiten 93-111, Januar 2006.
|
|
[23]
|
Schrijvers, T. und T. Frühwirth: Programming Pearl:
Optimal Union-Find in Constraint Handling Rules.
Theory and Practice of Logic Programming, 6(1-2):213-224,
Januar 2006.
[ http://arxiv.org/abs/cs.PL/0501073 ]
|
|
[22]
|
Schrijvers, T. und T. Frühwirth (Herausgeber):
Proceedings of CHR 2006, Third Workshop on Constraint Handling Rules,
Nummer CW 452 in Technical Report.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
Juni 2006.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW452.pdf ]
|
|
[21]
|
Abdennadher, S., T. Frühwirth und C. Holzbaur:
Editors, Special Issue on Constraint Handling Rules.
Theory and Practice of Logic Programming (TPLP), 5(4-5), 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/tplp-chr/index.html ]
|
|
[20]
|
Betz, H. und T. Frühwirth: A Linear-Logic Semantics
for Constraint Handling Rules.
In: Beek, P. van (Herausgeber): 11th
Conference on Principles and Practice of Constraint Programming CP 2005,
Band 3709 der Reihe Lecture Notes in Computer
Science, Seiten 137-151. Springer-Verlag, Oktober
2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/llchr-final0.pdf ]
|
|
[19]
|
Frühwirth, T.: Specialization of Concurrent Guarded Multi-Set
Transformation Rules.
In: Etalle, S. (Herausgeber): Logic-based
Program Synthesis and Transformation (LOPSTR'04), Band 3573
der Reihe Lecture Notes in Computer Science,
Seiten 133-148. Springer-Verlag, 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/trans1.pdf ]
|
|
[18]
|
Frühwirth, T.: Parallelizing Union-Find in Constraint Handling Rules
Using Confluence.
In: Gabbrielli, M. und Gupta G. (Herausgeber): Logic Programming: 21st International Conference,
ICLP 2005, Band 3668 der Reihe Lecture Notes in
Computer Science, Seiten 113-127. Springer-Verlag,
Oktober 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/puf0.pdf ]
|
|
[17]
|
Frühwirth, T.: Logical Rules for a Lexicographic Order Constraint
Solver.
In: Schrijvers, T. und T. Frühwirth (Herausgeber): Proceedings of CHR 2005, Second Workshop on
Constraint Handling Rules, Nummer CW 421 in
Technical Report, Seiten 79-91. Departement
Computerwetenschappen, Katholieke Universiteit Leuven, September 2005.
[ http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/chr05-lex0.ps ]
|
|
[16]
|
Schrijvers, T., B. Demoen, G. Duck, P. Stuckey
und T. Frühwirth: Automatic implication checking for
CHR constraints.
In: 6th International Workshop on Rule-Based
Programming, April 2005.
[ http://www.cs.kuleuven.ac.be/~dtai/publications/files/41606.pdf ]
|
|
[15]
|
Schrijvers, T., B. Demoen, G. J. Duck, P. J. Stuckey
und T. Frühwirth: Automatic implication checking for
CHR constraint solvers.
Technischer Bericht CW 402, Departement Computerwetenschappen,
Katholieke Universiteit Leuven, Januar 2005.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW402.abs.html ]
|
|
[14]
|
Schrijvers, T. und T. Frühwirth: Analysing the CHR
Implementation of Union-Find.
In: Wolf, A., T. Frühwirth und
M. Meister (Herausgeber): 19th Workshop on (Constraint) Logic
Programming W(C)LP 2005, Nummer 2005-01 in
Ulmer Informatik-Berichte, Seiten 135-146. Universität Ulm,
Februar 2005.
[ http://www.cs.kuleuven.ac.be/~toms/Research/CHR/docs/wclp-union-find.ps ]
|
|
[13]
|
Schrijvers, T. und T. Frühwirth (Herausgeber):
Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules,
Nummer CW 421 in Technical Report.
Departement Computerwetenschappen, Katholieke Universiteit Leuven,
September 2005.
[ http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html ]
|
|
[12]
|
Wolf, A., T. Frühwirth und M. Meister (Herausgeber): 19th Workshop on (Constraint) Logic Programming
W(C)LP 2005, Nummer 2005-01 in Ulmer
Informatik-Berichte. Universität Ulm, Februar 2005.
[ http://www.informatik.uni-ulm.de/epin/pw/11541 ]
|
|
[11]
|
Abdennadher, S. und T. Frühwirth: Integration and
Optimization of Rule-based Constraint Solvers.
In: Bruynooghe, M. (Herausgeber):
Logic-based Program Synthesis and Transformation (LOPSTR'03),
Band 3018 der Reihe Lecture Notes in Computer
Science, Seiten 198-213. Springer-Verlag, 2004.
[ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/paper3.pdf ]
|
|
[10]
|
Bistarelli, S., T. Frühwirth, M. Marte und
F. Rossi: Soft Constraint Propagation and Solving in Constraint
Handling Rules.
Computational Intelligence: Special Issue on Preferences in AI and
CP, 20(2):287-307, Mai 2004.
|
|
[9]
|
Biundo, S., T. Frühwirth und G. Palm (Herausgeber): KI 2004: Advances in Artificial Intelligence,
Proccedings of the 27th Annual German Conference on Artificial Intelligence,
Band 3238 der Reihe Lecture Notes in Artificial
Intelligence. Springer-Verlag, 2004.
[ http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-156-22-34544453-0,00.html ]
|
|
[8]
|
Biundo, S., T. Frühwirth und G. Palm (Herausgeber): Poster Proceedings of the 27th Annual German
Conference on Artificial Intelligence, Nummer 2004-03
in Ulmer Informatik-Berichte. Universität Ulm,
September 2004.
[ http://www.informatik.uni-ulm.de/epin/pw/11123 ]
|
|
[7]
|
Frühwirth, T. und M. Meister (Herausgeber):
First Workshop on Constraint Handling Rules: Selected Contributions,
Nummer 2004-01 in Ulmer
Informatik-Berichte. Universität Ulm, Mai 2004.
[ http://www.informatik.uni-ulm.de/epin-data/user/10481.218,UIB_2004-01.pdf ]
|
|
[6]
|
Schrijvers, T. und T. Frühwirth: Implementing and
Analysing Union-Find in CHR.
Technischer Bericht CW 389, Departement Computerwetenschappen,
Katholieke Universiteit Leuven, Juli 2004.
[ http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW389.abs.html ]
|
|
[5]
|
Abdennadher, S. und T. Frühwirth: Integration and
Optimization of Rule-based Constraint Solvers.
In: International Symposium on Logic-based Program
Synthesis and Transformation (LOPSTR'03), 2003.
[ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/LOPSTR03-final.ps ]
|
|
[4]
|
Frühwirth, T. und S. Abdennadher: Essentials of
Constraint Programming.
Springer-Verlag, Februar 2003.
[ http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-67623-6 ]
|
|
[3]
|
Frühwirth, T. und C. Holzbaur: Source-to-Source
Transformation for a Class of Expressive Rules.
In: Buccafurri, F. (Herausgeber): Joint
Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003),
Seiten 386-397, 2003.
[ http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/gulp03-final.ps ]
|
|
[2]
|
Frühwirth, T.: As Time Goes By II: More Automatic Complexity
Analysis of Concurrent Rule Programs.
In: Di Pierro, A. und H. Wiklicky (Herausgeber): Quantitative Aspects of Programming Laguages,
QAPL'01, Band 59 der Reihe Electronic Notes in
Theoretical Computer Science, Seiten 185-206, November
2002.
[ http://www.elsevier.com/gej-ng/31/29/23/89/54/25/59.3.003.ps ]
|
|
[1]
|
Frühwirth, T., A. Di Pierro und H. Wiklicky:
Probabilistic Constraint Handling Rules.
In: Comini, M. und M. Falaschi (Herausgeber): 11th International Workshop on Functional and
(Constraint) Logic Programming, WFLP 2002, Band 76
der Reihe Electronic Notes in Theoretical Computer Science,
Seiten 115-130, November 2002.
[ http://www.elsevier.com/gej-ng/31/29/23/126/23/38/76009.ps ]
|
Lehre.
Themen.
Bio-Baukasten.
Ereignisse.