Publication:4471940
From MaRDI portal
zbMath1042.03025MaRDI QIDQ4471940
Peter Kullmann, Jacques Calmet, Morio Taneda
Publication date: 30 July 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/1930/19300065.htm
Distributive Lattices; Annotated Logic; Dual Transform; Free Distributive Lattice Product; Mediator; SLG Resolution
68T27: Logic in artificial intelligence
03B70: Logic in computer science
06D05: Structure and representation theory of distributive lattices