HYPERSATISFACTION OF FORMULAS IN ALGEBRAIC SYSTEMS.

Autor: DENECKE, KLAUS1 kdenecke@rz.uni-potsdam.de, PHUSANGA, DARA1 p.phu2514@hotmail.com
Zdroj: Discussiones Mathematicae: General Algebra & Applications. 2009, Vol. 29 Issue 2, p123-151. 29p.
Databáze: Academic Search Ultimate