<--- Back to Details
First PageDocument Content
Algebraic structures / Alumni of the University of Bristol / John V. Tucker / Universal algebra / Boolean algebra / Interior algebra / Banach algebra / Abstract algebra / Algebra / Mathematics
Date: 2005-07-14 09:38:18
Algebraic structures
Alumni of the University of Bristol
John V. Tucker
Universal algebra
Boolean algebra
Interior algebra
Banach algebra
Abstract algebra
Algebra
Mathematics

THE JOURNAL OF LOGIC AND ALGEBRAIC PROGRAMMING

Add to Reading List

Source URL: www-compsci.swan.ac.uk

Download Document from Source Website

File Size: 422,69 KB

Share Document on Facebook

Similar Documents

Algebra / Index of standards articles / Standards / Index of Abkhazia-related articles

Republic of the Philippines DEPARTMENT OF THE INTERIOR AND LOCAL GOVERNMENT BUREAU OF JAIL MANAGEMENT AND PENOLOGY NATIONAL HEADQUARTERS 144 Juco Building Mindanao Avenue, Project 8, Quezon City

DocID: 1pRn3 - View Document

Mathematics / Geometry / Algebra / Lattice points / Analytic geometry / Lattice / Finite element method / Partial differential equation / Sinc function / Interpolation / Leech lattice / Lattice QCD

Smooth Pycnophylactic Interpolation for Geographical Regions1 Waldo R. Tobler2 ABSTRACT: Census enumerations are usually packaged in irregularly shaped geographical regions. Interior values can be interpolated for such r

DocID: 1pMbu - View Document

Mathematical optimization / Operations research / Linear algebra / Linear complementarity problem / Complementarity theory / Interior point method / Linear programming

SEMINÁRIO 23 de Junho deDepartamento de Matemática, sala Sousa Pinto, 12:00-13:00) Título: Interior Point Methods for Complementarity Problems.

DocID: 1pfT8 - View Document

Convex optimization / Operations research / Mathematical optimization / Numerical linear algebra / Subgradient method / Linear programming / Interior point method

DISTRIBUTED ALGORITHMS FOR SPARSE RECONSTRUCTION João Mota Instituto Superior Técnico Lisbon, Portugal ABSTRACT Many applications require the knowledge of a sparse linear

DocID: 1p3Jw - View Document

Modal logic / Non-classical logic / Model theory / Boolean algebra / Philosophical logic / Kripke semantics / Interior algebra / Heyting algebra / Embedding / Intermediate logic / Normal modal logic / Substitution

STABLE CANONICAL RULES GURAM BEZHANISHVILI, NICK BEZHANISHVILI, ROSALIE IEMHOFF Abstract. We introduce stable canonical rules and prove that each normal modal rule system is axiomatizable by stable canonical rules. This

DocID: 1oDdl - View Document