Add to ORKGThese notes deal with an interconnecting web of mathematical techniques all of which deserve a place in the armoury of the well-educated computer scientist. The objective is to present the ideas as a self-contained body of material, worthy of study in its own right, and at the same time to assist the learning of algebraic and coalgebraic methods, by giving prior familiarization with some of the mathematical background that arises there. Examples drawn from computer science are only hinted at: the presentation seeks to complement and not to preempt other contributions to these ACMMPC Proceedings
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
10.1 This paper considers the mathematical principles of lattice theory oriented toward the theory o...
This indispensable reference source contains a wealth of information on lattice theory. The book pre...
The second edition of this highly praised textbook provides an expanded introduction to the theory o...
The interesting feature of this book is its organization and structure. That consists of systematizi...
Lattice Theory presents an elementary account of a significant branch of contemporary mathematics co...
The purpose of this thesis is twofold: (1) to define a formal lattice-theoretic calculus of partiall...
This two-volume textbook Comprehensive Mathematics for the Working Computer Scientist is a self-cont...
The purpose of the article is to analyze the known methods of ordering in computer science. The res...
These are notes on discrete mathematics for computer scientists. The presentation is somewhat unconv...
By “model”, we mean a mathematical description of a world aspect. Mathematical models, implemented i...
Algebra deals with more than computations such as addition or exponentiation; it also studies relati...
1.1 Computations The applications of topological and order structures in Theory of Computa-tion, a k...
Most of my research is situated at the interface of algebraic combinatorics, algebraic geometry, rep...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
10.1 This paper considers the mathematical principles of lattice theory oriented toward the theory o...
This indispensable reference source contains a wealth of information on lattice theory. The book pre...
The second edition of this highly praised textbook provides an expanded introduction to the theory o...
The interesting feature of this book is its organization and structure. That consists of systematizi...
Lattice Theory presents an elementary account of a significant branch of contemporary mathematics co...
The purpose of this thesis is twofold: (1) to define a formal lattice-theoretic calculus of partiall...
This two-volume textbook Comprehensive Mathematics for the Working Computer Scientist is a self-cont...
The purpose of the article is to analyze the known methods of ordering in computer science. The res...
These are notes on discrete mathematics for computer scientists. The presentation is somewhat unconv...
By “model”, we mean a mathematical description of a world aspect. Mathematical models, implemented i...
Algebra deals with more than computations such as addition or exponentiation; it also studies relati...
1.1 Computations The applications of topological and order structures in Theory of Computa-tion, a k...
Most of my research is situated at the interface of algebraic combinatorics, algebraic geometry, rep...
This text for the first or second year undergraduate in mathematics, logic, computer science, or soc...
This formalization introduces and collects some algebraic structures based on lattices and complete ...
10.1 This paper considers the mathematical principles of lattice theory oriented toward the theory o...