Repositório Digital Institucional - UFPR

Browsing Teses & Dissertações by Subject "tableau systems"

Browsing Teses & Dissertações by Subject "tableau systems"

Sort by: Order: Results:

  • Varzinczak, Ivan J. (2002)
    In this work we propose a solution to the frame and ramification problems in terms of a dependence relation that points out the circumstances in which a certain action may change the truth value of a given literal. Such ...

Search DSpace


Advanced Search

Browse

My Account