A Decision Procedure for the WSkS Logic

A Decision Procedure for the WSkS Logic

Author

Tomáš Fiedor

Supervisor

Ing. Ondřej Lengál

About the project

Thesis

Year

2014

Share