TCS / Research / Publications / Testing the equivalence of disjunctive logic programs
Helsinki University of Technology, 
     Laboratory for Theoretical Computer Science

Testing the equivalence of disjunctive logic programs

Reference:

Emilia Oikarinen. Testing the equivalence of disjunctive logic programs. Master's thesis, Helsinki University of Technology, Department of Engineering Physics and Mathematics, 2003.

Suggested BibTeX entry:

@mastersthesis{OikarinenMsc,
    author = {Oikarinen, Emilia},
    school = {Helsinki University of Technology, Department of Engineering Physics and Mathematics},
    title = {Testing the equivalence of disjunctive logic programs},
    year = {2003},
}

See www.tcs.hut.fi ...

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