TY  - JOUR
A1  - Arworn, Srichan
A1  - Denecke, Klaus-Dieter
T1  - Intervals and complete congruences defined by M-solid varieties
Y1  - 2002
UR  - http://www.math.sc.chula.ac.th/icaa2002/pages/Srichan_Arworn.pdf
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Koppitz, Jörg
A1  - Niwczyk, St.
T1  - Equational theories generated by generalized hypersubstitutions of type (n)
Y1  - 2002
ER  - 
TY  - BOOK
A1  - Denecke, Klaus-Dieter
A1  - Wismath, Shelly
T1  - Universal algebra and applications in theoretical computer science
Y1  - 2002
SN  - 1-584-88254-9
PB  - Chapman & Hall/CRC
CY  - Boca Raton
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Koppitz, Jörg
A1  - Wismath, Shelly
T1  - Solid Varietie of Arbitrary Type
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Denecke, Klaus-Dieter
A1  - Wismath, Shelly
T1  - M-solidity testing systems
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Pearce, David
A1  - Sarsakov, Vladimir
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - A polynomial translation of logic programs with nested expressions into disjunctive logic programs
Y1  - 2002
SN  - 3-540-43930-7
ER  - 
TY  - JOUR
A1  - Besnard, Philippe
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - Paraconsistent reasoning via quantified boolean formulas
Y1  - 2002
SN  - 3-540-44190-5
ER  - 
TY  - JOUR
A1  - Pearce, David
A1  - Sarsakov, Vladimir
A1  - Schaub, Torsten H.
A1  - Tompits, Hans
A1  - Woltran, Stefan
T1  - A polynomial translation of logic programs with nested expressions into disjunctive logic programs : preliminary report
Y1  - 2002
ER  - 
TY  - JOUR
A1  - Altmann, Thomas
A1  - Brandt, Stephan Peter
A1  - Kloska, Sebastian
A1  - Kehr, Julia
T1  - Using array hybridization to monitore gene expression at the single cell level
Y1  - 2002
ER  - 
TY  - BOOK
A1  - Lück, Erika
A1  - Eisenreich, Manfred
A1  - Domsch, Horst
ED  - Blumenstein, Oswald
T1  - Innovative Kartiermethoden für die teilflächenspezifische Landwirtschaft : innovative Methods for Precision Agriculture
T3  - Stoffdynamik in Geosystemen
Y1  - 2002
SN  - 0949-4731
VL  - 7
PB  - Selbstverl. der Arbeitsgruppe Stoffdynamik in Geosystemen
CY  - Potsdam
ER  -