An implementation of Kripke-Kleene semantics
| dc.contributor.author | Liu, F.F. | |
| dc.contributor.author | Moore, D. | |
| dc.date.issued | 1998 | |
| dc.identifier.citation | Information Sciences, 1998 | |
| dc.identifier.issn | 0020-0255 | |
| dc.identifier.uri | https://hdl.handle.net/1959.8/128115 | |
| dc.language.iso | en | |
| dc.publisher | Elsevier Science Inc | |
| dc.title | An implementation of Kripke-Kleene semantics | |
| dc.type | Journal article | |
| pubs.publication-status | Published | |
| ror.mmsid | 9915912647201831 |