Cover Image

Lattice Functions and Equations /

Lattice (Boolean) functions are algebraic functions defined over an arbitrary lattice (Boolean algebra), while lattice (Boolean) equations are equations expressed in terms of lattice (Boolean) functions. This self-contained monograph surveys recent developments of Boolean functions and equations, as...

Full description

Bibliographic Details
Main Author:	Rudeanu, Sergiu
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	London : Springer London, 2001.
Series:	Discrete mathematics and theoretical computer science.
Subjects:	Computer science. Computer software. Algorithms. Electronic books.
Online Access:	Connect to the full text of this electronic book

Similar Items

Diophantine Equations and Power Integral Bases : New Computational Methods /
by: Gaál, István
Published: (2002)

Computer Algebra in Scientific Computing CASC 2001 : Proceedings of the Fourth International Workshop on Computer Algebra in Scientific Computing, Konstanz, Sept. 22-26, 2001 /
by: Ganzha, Victor G.
Published: (2001)

Computer Algebra in Scientific Computing CASC'99 : Proceedings of the Second Workshop on Computer Algebra in Scientific Computing, Munich, May 31 - June 4, 1999 /
by: Ganzha, Victor G.
Published: (1999)

Computer Algebra in Scientific Computing : CASC 2000 /
by: Ganzha, Victor G.
Published: (2000)

Theory of Semi-Feasible Algorithms /
by: Hemaspaandra, Lane A.
Published: (2003)

Introduction to Scientific Programming : Computational Problem Solving Using Maple and C /
by: Zachary, Joseph L.
Published: (1996)

An Introduction to Programming with Mathematica® /
by: Gaylord, Richard J.
Published: (1996)

Progress in Mathematical Programming : Interior-Point and Related Methods /
by: Megiddo, Nimrod
Published: (1989)

Mural: A Formal Development Support System /
by: Jones, C. B.
Published: (1991)

Algorithms on Trees and Graphs /
by: Valiente, Gabriel
Published: (2002)

Polynomial Algorithms in Computer Algebra /
by: Winkler, Franz
Published: (1996)

Exploring RANDOMNESS /
by: Chaitin, Gregory J.
Published: (2001)

Parsing Theory : Volume I Languages and Parsing /
by: Sippu, Seppo
Published: (1988)

Parallel Processing and Parallel Algorithms : Theory and Computation /
by: Roosta, Seyed H.
Published: (2000)

The Design and Analysis of Algorithms /
by: Kozen, Dexter C.
Published: (1992)

Radon and Projection Transform-Based Computer Vision : Algorithms, A Pipeline Architecture, and Industrial Applications /
by: Sanz, Jorge L. C.
Published: (1988)

Models of Sharing Graphs : a Categorical Semantics of let and letrec /
by: Hasegawa, Masahito
Published: (1999)

First Steps in Maple /
by: Burkhardt, Werner
Published: (1994)

Systolic Computations /
by: Frumkin, M. A.
Published: (1992)

Transforms and Fast Algorithms for Signal Analysis and Representations /
by: Bi, Guoan
Published: (2004)

Mathematics of Program Construction : 375th Anniversary of the Groningen University. International Conference, Groningen, the Netherlands, June 26-30, 1989 Proceedings /
by: Snepscheut, Jan L. A. van de
Published: (1989)

Performance Characterization in Computer Vision /
by: Klette, Reinhard
Published: (2000)

Computability and Complexity Theory /
by: Homer, S. (Steven)
Published: (2001)

Selected Writings on Computing: A personal Perspective /
by: Dijkstra, Edsger W.
Published: (1982)

The Book of L /
by: Rozenberg, G.
Published: (1986)

SWAT '88 : 1st Scandinavian Workshop on Algorithm Theory Halmstad, Sweden, July 5-8, 1988. Proceedings /
by: Karlsson, Rolf
Published: (1988)

Advances in the Design of Symbolic Computation Systems /
by: Miola, Alfonso
Published: (1997)

Practical Use of Mathcad® : Solving Mathematical Problems with a Computer Algebra System /
by: Benker, Hans
Published: (1999)

Learning algorithms through programming and puzzle solving /
by: Kuliov, Alexander S., et al.
Published: (2018)

Algorithms and data structures for massive datasets /
by: Medjedovic, Dzejla, et al.
Published: (2022)

Algorithms and data structures for massive datasets /
by: Medjedovic, Dzejla, et al.
Published: (2022)

Algorithms and data structures for massive datasets.
Published: (2022)

Algorithms and data structures for massive datasets /
by: Medjedovic, Dzejla, et al.
Published: (2022)

Exploiting Mental Imagery with Computers in Mathematics Education /
by: Sutherland, Rosamund
Published: (1995)

Search and Planning Under Incomplete Information : a Study Using Bridge Card Play /
by: Frank, Ian
Published: (1998)

Verification of Sequential and Concurrent Programs /
by: Apt, Krzysztof R.
Published: (1991)

An Introduction to Data Structures and Algorithms /
by: Storer, James A.
Published: (2002)

Data Structures and Algorithms: A First Course /
by: Adamson, Iain T.
Published: (1996)

Data Structures and Algorithms 3 : Multi-dimensional Searching and Computational Geometry /
by: Mehlhorn, Kurt
Published: (1984)

A Course in Computational Algebraic Number Theory /
by: Cohen, Henri
Published: (1993)