On local modularity and interpolation in entailment systems

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	203-211
Number of pages	9
Journal	Information Processing Letters
Volume	82
Issue number	4
DOIs	https://doi.org/10.1016/S0020-0190(01)00271-X
Publication status	Published - 31 May 2002

Access to Document

@article{b4e6dd582481499db870c67953f29250,

title = "On local modularity and interpolation in entailment systems",

author = "P.A.S. Veloso and J.L. Fiadeiro and S.R.M. Veloso",

year = "2002",

month = may,

day = "31",

doi = "10.1016/S0020-0190(01)00271-X",

language = "English",

volume = "82",

pages = "203--211",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "4",

}

TY - JOUR

T1 - On local modularity and interpolation in entailment systems

AU - Veloso, P.A.S.

AU - Fiadeiro, J.L.

AU - Veloso, S.R.M.

PY - 2002/5/31

Y1 - 2002/5/31

UR - https://www.scopus.com/pages/publications/0037204888

U2 - 10.1016/S0020-0190(01)00271-X

DO - 10.1016/S0020-0190(01)00271-X

M3 - Article

AN - SCOPUS:0037204888

SN - 0020-0190

VL - 82

SP - 203

EP - 211

JO - Information Processing Letters

JF - Information Processing Letters

IS - 4

ER -