Optimised ExpTime Tableaux for𝒮ℋℐ𝒩over Finite Residuated Lattices
Journal of Applied Mathematics - United States
doi 10.1155/2014/702326
Full Text
Open PDFAbstract
Available in full text
Categories
Date
January 1, 2014
Authors
Publisher
Hindawi Limited