Login / Signup

Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz.

Daniele MundiciNicola Olivetti
Published in: Theor. Comput. Sci. (1998)
Keyphrases