Research areas

Find within research areas:

4451 - 4460 out of 4,683Page size: 10
Sort by: 1st author
  1. Published

    Infinitary term graph rewriting is simple, sound and complete

    Bahr, P., 2012, 23rd International Conference on Rewriting Techniques and Applications (RTA'12). Tiwari, A. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 69-84 16 p. (Leibniz International Proceedings in Informatics, Vol. 15).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  2. Published

    Modes of convergence for term graph rewriting

    Bahr, P., 2012, In: Logical Methods in Computer Science. 8, 2, 60 p., 6.

    Research output: Contribution to journal › Journal article › Research › peer-review

  3. Published

    Evaluation à la carte: non-strict evaluation via compositional data types

    Bahr, P., 2011, Proceedings of the 23rd Nordic Workshop on Programming Theory. Pettersson, P. & Seceleanu, C. (eds.). Mälardalen University, p. 38-40 3 p. (Technical Report, Vol. 254).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  4. Published

    Modular tree automata

    Bahr, P., 2012, Mathematics of Program Construction: 11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012. Proceedings. Gibbons, J. & Nogueira, P. (eds.). Springer, p. 263-299 37 p. (Lecture notes in computer science, Vol. 7342).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    From infinitary term rewriting to cyclic term graph rewriting and back

    Bahr, P., 11 Feb 2011, Proceedings of the 6th International Workshop on Computing with Terms and Graphs. Echahed, R. (ed.). p. 2 1 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 48).

    Research output: Chapter in Book/Report/Conference proceeding › Conference abstract in proceedings › Research

  6. Published

    Modes of convergence for term graph rewriting

    Bahr, P., 2011, 22nd International Conference on Rewriting Techniques and Applications (RTA'11). Schmidt-Schauß, M. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 139-154 16 p. (Leibniz International Proceedings in Informatics, Vol. 10).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. Published

    Abstract models of transfinite reductions

    Bahr, P., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (ed.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, p. 49-66 18 p. (Leibniz International Proceedings in Informatics, Vol. 6).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  8. Transepithelial activation of human leukocytes by probiotics and commensal bacteria: Role of Enterobacteriaceae-type endotoxin

    Baeuerlein, A., Ackermann, S. & Parlesak, Alexandr, 2009, In: Microbiology and Immunology. 53, 4, p. 241-250 10 p.

    Research output: Contribution to journal › Journal article › Research › peer-review

  9. Published

    Paleoproterozic hydrothermal graphite-sulfide ± gold mineralisation from the Tasiilaq area, South-East Greenland

    Baden, K. & Kolb, J., 2016, København: Geological Survey of Denmark and Greenland. (Rapport GEUS, Rapp. Grønlands geol. Unders.).

    Research output: Book/Report › Report › Research

  10. Published

    Specialized roles for the two UDP-glucosyltransferases UGT85K2 and UGT85K3 in hydroxynitrile glucoside metabolism in Lotus japonicus

    Baden, C. K., Bjarnholt, Nanna, Jensen, K., Robsen, F., Olsen, C. E., Motawia, M. S., Møller, Birger Lindberg, Takos, A. M. & Rook, F., 2013. 1 p.

    Research output: Contribution to conference › Poster › Research

Previous 1...442 443 444 445 446 447 448 449 ...469 Next