alpha-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

Research output: Other contribution › peer-review

Name	World Scientific Proceedings Series on Computer Engineering and Information Science

Keywords

@misc{300f130981bc4ba49f9c3fde468c0741,

title = "alpha-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY",

keywords = "Lattice-valued logic, Equality, alpha-Paramodulation, Automated reasoning",

author = "Xingxing He and Yang Xu and Jun Liu and Xiaomei Zhong",

year = "2014",

language = "English",

volume = "9",

series = "World Scientific Proceedings Series on Computer Engineering and Information Science",

type = "Other",

}

TY - GEN

T1 - alpha-PARAMODULATION FOR LATTICE-VALUED LOGIC WITH EQUALITY

AU - He, Xingxing

AU - Xu, Yang

AU - Liu, Jun

AU - Zhong, Xiaomei

PY - 2014

Y1 - 2014

KW - Lattice-valued logic

KW - Equality

KW - alpha-Paramodulation

KW - Automated reasoning

M3 - Other contribution

VL - 9

T3 - World Scientific Proceedings Series on Computer Engineering and Information Science

ER -