F�ldes, Stephan - Department of Mathematics, Tampere University of Technology

Advanced Search

F�ldes, Stephan - Department of Mathematics, Tampere University of Technology

On the Lattice of Equational Classes of Boolean Functions and Its Closed Intervals
Composition of Post Classes and Normal Forms of Boolean Functions
A half-space approach to order dimension Stephan Foldes and Jeno Szigeti
On Closed Sets of Relational Constraints and Classes of Functions Closed under Variable Substitutions
COLUMN-PARTITIONED MATRICES OVER RINGS WITHOUT INVERTIBLE TRANSVERSAL SUBMATRICES
on ane constraints satis ed by boolean functions Miguel Couceiro and Stephan Foldes
Equational definability and a quasi-ordering on Boolean Miguel Couceiro and Maurice Pouzet
Function Class Composition, Relational Constraints and Stability under Compositions with Clones
Term definable classes of Boolean functions and frame definability in modal logic
On the complexity of representing sets of vertices in the n-cube Miguel Couceiro
Galois Connections for Generalized Functions and Relational Constraints
Invertibility and Dedekind niteness in structural matrix rings
ON THE ARITY GAP OF FINITE FUNCTIONS: RESULTS AND APPLICATIONS
Homomorphicity and non-coreness of labeled posets are NP-complete
SUBFUNCTION RELATIONS DEFINED BY BURLE'S CLONES ERKKO LEHTONEN
On a quasi-ordering on Boolean functions Miguel Couceiro and Maurice Pouzet
Descending chains and antichains of the unary, linear, and monotone subfunction relations
An infinite descending chain of Boolean subfunctions consisting of threshold functions
Order-theoretical analysis of subfunction relations between Boolean functions
A ROW-REDUCED FORM FOR COLUMN-PARTITIONED STEPHAN FOLDES AND ERKKO LEHTONEN
ON MATRIX RINGS CONTAINING ALL DIAGONAL MATRICES Stephan Foldes and Gerasimos Meletiou
On Galois Connections between External Functions and Relational Constraints: Arity Restrictions and Operator
arXiv:math.CO/0701332v111Jan2007 ON THE EFFECT OF VARIABLE IDENTIFICATION ON THE
On Instantaneous Codes Stephan Foldes and Navin M. Singhi
Constraints, Functional Equations, De nability of Function Classes, and Functions of Boolean Variables
Multimodal Logics with Operations on Modalities: Notes on Deduction Systems and a Complete Axiomatization for
Labeled posets are universal Erkko Lehtonen