Programming Languages and Theory of Computing

Read more
221 - 230 out of 271Page size: 10
  1. 2007
  2. Published

    Compositional Contract Specification for REA

    Henglein, Fritz, Larsen, Ken Friis, Simonsen, Jakob Grue & Stefansen, C. O. E., 2007, NWPT '07/FLACOS' 07: workshop proceedings, October 9-12, 2007.Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 130-132 (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  3. Published

    Intrinsically defined sorting functions

    Henglein, Fritz, 2007.

    Research output: Working paper › Research

  4. Published

    Kunsten at vejlede et konstruktionsprojekt

    Larsen, Ken Friis, 2007, In: Dansk Universitetspædagogisk Tidsskrift .

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

  5. Published

    On the relations between monadic semantics

    Filinski, Andrzej, 2007, In: Theoretical Computer Science. 375, 1-3, p. 41-75

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

  6. Published

    Reversible machine code and its abstract processor architecture

    Axelsen, H. B., Glück, Robert & Yokoyama, T., 2007, Computer Science - Theory and Applications: Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings. Diekert, V., Volkov, M. & Voronkov, A. (eds.). Springer, p. 56-69 (Lecture notes in computer science; No. 4649).

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

  7. Published

    Tutorial on Modeling VAT Rules Using OWL-DL

    Nielsen, M. I., Simonsen, Jakob Grue & Larsen, Ken Friis, 2007.

    Research output: Contribution to conference › Paper › Research

  8. Published

    What is a Sort Function?

    Henglein, Fritz, 2007, NWPT '07/FLACOS '07: workshop proceedings, October 9-12, 2007, Oslo, Norway. Johnsen, E. B., Owe, O. & Schneider, G. (eds.). Universitetet i Oslo, p. 26-28 3 p. (Research report. Universitetet i Oslo. Institutt for informatikk; No. 366).

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

  9. 2006
  10. Published

    Compositional specification of commercial contracts

    Andersen, J., Elsborg, E., Henglein, Fritz, Simonsen, Jakob Grue & Stefansen, C. O. E., 2006, In: International Journal on Software Tools for Technology Transfer. p. 485 - 516 31 p.

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

  11. Published

    Generic Discrimination: Partitioning and Sorting of Complex Data in Linear Time

    Henglein, Fritz, 2006, Datalogisk Institut, Københavns Universitet. 1 p.

    Research output: Book/Report › Report › Research

  12. Published

    Report on an Implementation of a Semi-Inverter

    Mogensen, Torben Ægidius, 2006, Perspectives of System Informatics: 6th International Andrei Ershov Memorial Conference, PSI 2006. Virbitskaite, I. & Voronkov, A. (eds.). Springer, p. 322-334 13 p. (Lecture notes in computer science; No. 4378).

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

Previous 1...19 20 21 22 23 24 25 26 ...28 Next