Results 171 to 173 of about 2,597 (173)
Some of the next articles are maybe not open access.
Skolemization for Substructural Logics
Metcalfe, George, Cintula, Petr, Diaconescu, Denisa, Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei +6 moreopenaire +1 more source