TítolSome remarks about standard first order tautologies
Publication TypeConference Paper
Year of Publication2012
AuthorsEsteva F, Godo L
Conference NameManyVal'12
Conference LocationSalerno, Italia
Date Published04/07/2012