Laboratory for Foundations of Computer Science

Filter
Entry for encyclopedia/dictionary

Search results

  • 2011

    Bisimulation

    van Glabbeek, R. J., 8 Sept 2011, Encyclopedia of Parallel Computing. Padua, D. (ed.). Springer, p. 136-139 4 p.

    Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary

  • 2009

    Expressive Power of Query Languages

    Libkin, L., 2009, Encyclopedia of Database Systems. LIU, L. & ÖZSU, M. T. (eds.). Boston, MA: Springer, p. 1081-1083 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Entry for encyclopedia/dictionary