Finite validity via model checking: computing certain answers

Libkin, L. (Speaker)

Activity: Academic talk or presentation typesInvited talk

Period2013
Event title12th International Workshop on Logic and Computational Complexity
Event typeConference
LocationCroatia