Skip to content

On Translation of Finitely-Valued Logics to Classical First-Order Logic.

Viorica Sofronie-Stokkermans

VenueAECAI
Year1998
ProceedingsECAI

Browse the full ECAI paper archive.