Forskningsområder

Find indenfor forskningsområde:

4451 - 4460 ud af 4.685Pr. side: 10
Sortering: 1. forfatter
  1. Udgivet

    Partial order infinitary term rewriting and Böhm trees

    Bahr, P., 2010, Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Lynch, C. (red.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, s. 67-84 19 s. (Leibniz International Proceedings in Informatics (LIPIcs), Bind 6).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  2. Udgivet

    Infinitary term graph rewriting is simple, sound and complete

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  3. Udgivet

    Modes of convergence for term graph rewriting

    Bahr, P., 2012, I: Logical Methods in Computer Science. 8, 2, 60 s., 6.

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  4. Udgivet

    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. (red.). Mälardalen University, s. 38-40 3 s. (Technical Report, Bind 254).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  5. Udgivet

    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. (red.). Springer, s. 263-299 37 s. (Lecture notes in computer science, Bind 7342).

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  6. Udgivet

    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. (red.). s. 2 1 s. (Electronic Proceedings in Theoretical Computer Science, Bind 48).

    Publikation: Bidrag til bog/antologi/rapport › Konferenceabstrakt i proceedings › Forskning

  7. Udgivet

    Modes of convergence for term graph rewriting

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

  8. Udgivet

    Abstract models of transfinite reductions

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

    Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt

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

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

    Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › fagfællebedømt

  10. Udgivet

    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.).

    Publikation: Bog/antologi/afhandling/rapport › Rapport › Forskning

Forrige 1...442 443 444 445 446 447 448 449 ...469 Næste