| |
Rewriting Techniques and Applications (1991), pp. 445-456.
|
| |
Types for Proofs and Programs In Types for Proofs and Programs (2009), pp. 64-82.
|
| |
In In Proc. 6th FroCoS (2007), pp. 148-162.
|
| |
|
| |
|
| |
|
| |
In WGP 2008 (2008), pp. 13-24.
|
| |
|
| |
|
| |
|
| |
Advanced Functional Programming (1996), pp. 68-114.
|
| |
In In CAV’04, Vol. 3114 (2004), pp. 475-478.
|
| |
Comparative and Functional Genomics, Vol. 5, No. 1. (2004), pp. 91-94.
|
| |
Computer applications in the biosciences : CABIOS, Vol. 7, No. 3. (July 1991), pp. 321-326.
|
| |
Journal of theoretical biology, Vol. 148, No. 3. (7 February 1991), pp. 401-429.
|
| |
Journal of theoretical biology, Vol. 136, No. 4. (22 February 1989), pp. 403-425.
|
| |
Programming Languages and Systems (2007), pp. 426-440.
|
| |
|
| |
Theor. Comput. Sci., Vol. 395, No. 1. (April 2008), pp. 77-100.
|
| |
|
| |
Graph Transformations (2004), pp. 399-415.
|
| |
Algebraic Methodology and Software Technology (1995), pp. 368-384.
|
| |
Genetic Programming (1999), pp. 651-651.
|
| |
Advanced Functional Programming (2003), pp. 27-58.
|
| |
J. Log. Program., Vol. 12, No. 3. (February 1992), pp. 281-298.
|
| |
Acta Informatica, Vol. 44, No. 2. (May 2007), pp. 91-121.
|
| |
In Aspen\aes Workshop on Implementation of Functional Languages, G\"oteborg (1988)
|
| |
Practical Aspects of Declarative Languages (2007), pp. 50-64.
|
| |
|
| |
|
| |
Quality Software, 2007. QSIC '07. Seventh International Conference on In Quality Software, 2007. QSIC '07. Seventh International Conference on (2007), pp. 356-362.
|
| |
Multiset Processing: Mathematical, Computer Science, and Molecular Computing Points of View (2001), 123.
|
| |
In Functional programming languages and computer architecture. Proc. of a conference (Nancy, France, Sept. 1985) (1985), pp. ??-??.
|
| |
In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B) (1990), pp. 243-320.
|
| |
Field-Programmable Logic and Applications From FPGAs to Computing Paradigm (1998), pp. 199-208.
|
| |
Electron. Notes Theor. Comput. Sci., Vol. 174, No. 5. (June 2007), pp. 37-52.
|
| |
In GECCO '02: Proceedings of the Genetic and Evolutionary Computation Conference (2002), pp. 748-755.
|
| |
|
| |
In ECOOP 2003 - Object-Oriented Programming, 17th European Conference (July 2003)
|
| |
|
| |
|
| |
Advances in Databases and Information Systems : 6th East European Conference, ADBIS 2002, Bratislava, Slovakia, September 8-11, 2002. Proceedings (2002), pp. 1-5.
|
| |
In OOPSLA '04: Proceedings of the 19th annual ACM SIGPLAN Conference on Object-oriented programming, systems, languages, and applications (2004), pp. 365-383.
|
| |
|
| |
Acta Informatica, Vol. 22, No. 2. (1 June 1985), pp. 149-169.
|
| |
Journal of Automated Reasoning, Vol. 38, No. 4. (May 2007), pp. 303-351.
|
| |
In IJCAI (1) (1997), pp. 528-533.
|
| |
|
| |
In PODS '04: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems (2004), pp. 307-318.
|
| |
|
Search
