TCS / Research / Publications / Nollatiet\"amystodistimen toiminnan kuvaaminen modaalilogiikkaa k\"aytt\"aen
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Nollatietämystodistimen toiminnan kuvaaminen modaalilogiikkaa käyttäen

Reference:

Jan Juopperi. Nollatietämystodistimen toiminnan kuvaaminen modaalilogiikkaa käyttäen. Master's thesis, Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory, 1990.

Suggested BibTeX entry:

@mastersthesis{JuopperiMsc,
    author = {Juopperi, Jan},
    school = {Helsinki University of Technology, Department of Computer Science and Engineering, Digital Systems Laboratory},
    title = {Nollatiet\"amystodistimen toiminnan kuvaaminen modaalilogiikkaa k\"aytt\"aen},
    year = {1990},
}

This work is not available online here.

[TCS main] [Contact Info] [Personnel] [Research] [Publications] [Software] [Studies] [News Archive] [Links]
Latest update: 19 January 2010.