| Original language | English |
|---|---|
| Publication status | Published - 1996 |
Implementation of a Loop-Free Method for Construction of Counter-Models for Intuitionistic Propositional Logic
Roy Dyckhoff, L Pinto
Research output: Other contribution
Roy Dyckhoff, L Pinto
Research output: Other contribution
| Original language | English |
|---|---|
| Publication status | Published - 1996 |