Completeness results for basic narrowing
- 期刊名称Applicable Algebra in Engineering, Communication and Computing
- 作者Aart Middeldorp; Erik Hamoen
- 卷第5卷
- 印刷ISSN0938-1279
- 电子ISSN1432-0622
- 文件大小2247.16KB
- 发表时间1994
- DOI10.1007/bf01190830
- 页码213-253
CommentSILENCE, ABRAHAM; TOMLINSON, NORMAN; DOUGHTY, KA; McCARTHY, CAVAN; ALAM, FAZLUL; LE MESURIER, I; DAY, ALAN; GRIFFIN, BRIAN; DAY, ALAN · New Library World · 1975
Another Look at the Boston 'Caucus'Alan Day and Katherine Day · Journal of American Studies · 1971
ULTRAVIOLET LIGHT SENSITIVE MUTANTS OF <i>USTILAGO VIOLACEA</i>Day, Alan W.; Day, Lynne L. · Canadian Journal of Genetics and Cytology · 1970
Book ReviewsDay, Linda; Allison, Dale C.; Powell, Mark Alan; Gowan, Donald E.; Talbert, Charles H.; Powell, Mark Alan · Horizons in Biblical Theology · 2000
CommentREVILL, DON; THOMPSON, GODFREY; DAY, ALAN; DUCKWORTH, ALAN; GRIFFIN, BRIAN; JORDAN, PETER; TEAGUE, JOHN · New Library World · 1975
CommentGriffin, Brian; Harkin, Mike; Day, Alan; Duckworth, Alan; Reid, David; Wills, Michael · New Library World · 1982
CommentPEARCE, MIKE; DAY, ALAN; DUCKWORTH, ALAN; SUBRAMANYAM, K; STEELE, COLIN · New Library World · 1975
CommentMessenger, Michael; Jones, Roger; Usherwood, Bob; Windrush, Frank; Whittaker, Kenneth; Sykes, Paul; Duckworth, Alan; Day, Alan · New Library World · 1976
Cosheaves and distributions on toposesM. Bunge · Algebra Universalis · 1995
Boolean quotients of orthomodular latticesA. B. D'Andrea; S. Pulmannová · Algebra Universalis · 1995
A generalized permutahedronM. Pouzet; K. Reuter; I. Rival; N. Zaguia · Algebra Universalis · 1995
Orderpotentf-ringsA. M. Duval; P. J. Wojciechowski · Algebra Universalis · 1995
Some lattice models of bilinear logicJ. Lambek · Algebra Universalis · 1995
Category equivalences of clonesK. Denecke; O. Lüders · Algebra Universalis · 1995
Normally presented varietiesI. Chajda · Algebra Universalis · 1995
Cardinalities of σ-complete OML'sŽ. Perović · Algebra Universalis · 1995