Geometry.Net - the online learning center
Home  - Pure_And_Applied_Math - Universal Algebra

e99.com Bookstore
  
Images 
Newsgroups
Page 3     41-60 of 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20

         Universal Algebra:     more books (100)
  1. Function Algebras on Finite Sets: Basic Course on Many-Valued Logic and Clone Theory (Springer Monographs in Mathematics) by Dietlinde Lau, 2010-11-02
  2. Structure of Finite Algebras (Contemporary Mathematics) by David Charles Hobby, Ralph McKenzie, 1988-08
  3. Nearly Projective Boolean Algebras (Lecture Notes in Mathematics) by Lutz Heindorf, Leonid B. Shapiro, 1994-12-27
  4. Finite Algebra and Multiple-Valued Logic (Colloquia Mathematica Societatis Janos Bolyai) by B. Csakany, 1981-12
  5. Equational Classes Generated by Single Functionally Precomplete Algebras (Memoirs of the American Mathematical Society) by Arthur Knoebel, 1985-12
  6. Hyperidentities and Clones (Algebra, Logic and Applications Series Volume 14) by Klaus Denecke, S L Wismath, 2000-08-08
  7. Universal Algebra: Fundamentals and Selected Topics by Clifford Bergman, 2011-08-15
  8. Unknown Quantity: A Real and Imaginary History of Algebra by John Derbyshire, 2006-05-15
  9. Geometrical Methods in Congruence Modular Algebras (Memoirs of the American Mathematical Society) by H. Peter Gumm, 1983-10
  10. The Construction and Study of Certain Important Algebras by Claude Chevalley, 1955
  11. Selected Papers on Algebra and Topology by Garrett Birkhoff (Contemporary Mathematicians)
  12. Structure (mathematical logic): Universal Algebra, Model Theory, Finitary, Algebraic Structure, Vector Space, Foundations of Mathematics, Set Theory, Database Theory, First-Order Logic
  13. Universal Algebra 1ST Edition by P M Cohn, 1965
  14. Universal Algebra 2nd EDITION by Grorgr Gratzr, 2008

41. Universal Algebra
universal algebra. Gould, Matthew Professor of Mathematics Specialistin universal algebra and the algebraic theory of semigroups
http://sources.vanderbilt.edu/head_expert.cfm?HeadingID=1598

42. Universal Algebra In Coq
universal algebra in Coq. by Venanzio Capretta. A description of the workcan be found in my paper universal algebra in Type Theory . Tools.
http://www-sop.inria.fr/lemme/Venanzio.Capretta/universal_algebra.html
Universal Algebra in Coq
by Venanzio Capretta The following files are an implementation in the proof system Coq (version 6.2.3) of the basic notions and results of Universal Algebra. The development is inspired by the presentation of Universal Algebra in the article by K. Meinke and J. V. Tucker in the Handbook of Logic in Computer Science Download the following archive file to get all the sources of the development: universal_algebra.tar.gz A description of the work can be found in my paper Universal Algebra in Type Theory
Tools
Some useful operations on sets and types.
Setoids
Setoids are sets endowed with an equivalence relation. they serve the same purpose as the sets of set theory in classical Universal Algebra
Algebra
Definitions of the basic notions of Universal Algebra, constructions on algebras, term algebras and basic results about them. Any comment or suggestion is welcome. You can e-mail me at the address venanzio@cs.kun.nl

43. Some Intermediate Questions Of Model Theory And Universal Algebra: ERLOGOL-2003
Some Intermediate Questions of Model Theory and universal algebra ERLOGOL2003. Itis devoted to any problems of model theory and universal algebra. Organizers.
http://www.ams.org/mathcal/info/2003_jun18-24_novosibirsk.html
Some Intermediate Questions of Model Theory and Universal Algebra: ERLOGOL-2003
Month: June 2003 Date: June 1824 (NEW DATE) Name: Some Intermediate Questions of Model Theory and Universal Algebra: ERLOGOL-2003 Location: Novosibirsk State Technical University, Novosibirsk, Siberia/Russia.
Description
This is a preliminary announcement only. The meeting is organized at the camping center of Novosibirsk State Technical University in the mountains of Altai. It is devoted to any problems of model theory and universal algebra.
Organizers
Novosibirsk State Technical Univ. (Russia, Novosibirsk) and Mathematical Institute (Siberian Branch of Russian Academy of Sciences).
Cochairmen of Conference
A. G. Pinus, V. D. Mazurov, K. N. Ponomarev.
Information
http://www2.nstu.ru/deps/algebra/erlogol/

44. Lattices, Universal Algebra And Applications
Lattices, universal algebra and Applications. Month May 2003 DateMay 2830. Name Lattices, universal algebra and Applications.
http://www.ams.org/mathcal/info/2003_may28-30_lisboa.html
Lattices, Universal Algebra and Applications
Month: May 2003 Date: May 2830 Name: Lattices, Universal Algebra and Applications Location: Centro de Algebra da Universidade de Lisboa, Lisboa, Portugal.
Invited Speakers
W. Blok (Univ. of Illinois at Chicago), M. Gehrke (New Mexico State Univ.), K. Kearnes (Univ. of Colorado), B. Monjardet (Univ. of Paris I), D. Mundici (Univ. of Milan).
Organizers
G. Bordalo (CAUL, Univ. Lisboa) I. Ferreirim (CAUL, Univ. Lisboa) M. Saramago (CAUL, Univ. Lisboa) Luis Sequeira (CAUL, Univ. Lisboa).
Information
http://www.ptmat.fc.ul.pt/~uaconf03/
e-mail: uaconf03@ptmat.fc.ul.pt

45. Finite Semigroups And Universal Algebra
Author Jorge Almeida; Title Finite Semigroups and universal algebra;Publisher World Scientific, Singapore; Date 1995; ISBN 981
http://www.fc.up.pt/cmup/home/jalmeida/FSUA/FSUA.html
  • Author: Jorge Almeida
  • Title: Finite Semigroups and Universal Algebra
  • Publisher: World Scientific, Singapore
  • Date: 1995
  • ISBN: 981-02-1895-8
The following data concerning this publication should soon be available:
  • errata
  • open problems and developments
  • bibliography Please send any comments to: jalmeida@fc.up.pt
  • 46. Finite Semigroups And Universal Algebra
    Errata. Under preparation Please send any comments to jalmeida@fc.up.pt.
    http://www.fc.up.pt/cmup/home/jalmeida/FSUA/errata.html
    Errata
    Under preparation Please send any comments to: jalmeida@fc.up.pt

    47. About "Hermann Grassmann And The Prehistory Of Universal Algebra"
    A definition of universal algebra, with a sketch of its prehistory.......Hermann Grassmann and the Prehistory of universal algebra.
    http://mathforum.org/library/view/3253.html
    Hermann Grassmann and the Prehistory of Universal Algebra
    Library Home
    Full Table of Contents Suggest a Link Library Help
    Visit this site: http://www.maths.utas.edu.au/People/dfs/Papers/GrassmannUAlgpaper/GrassmannUAlgpaper.html Author: Desmond Fearnley-Sander Description: A definition of universal algebra, with a sketch of its prehistory. "...abstract algebras are divided by a very simple scheme into self-contained `species'. Within each species a perfect duality is found between families of formal laws and the families of algebras satisfying them. Here the term 'family of algebras of a given species' is used in a technical sense meaning a class closed under taking subalgebras, homomorphic images and direct products - or what is nowadays called a variety. This said, one must point out that undoubtedly the most influential figure in the movement towards abstraction and generality in algebra which culminated in Universal Algebra was Emmy Noether, who died in 1935." Grassmann and Boole; Grassmann's Products; References. Levels: College Languages: English Resource Types: Articles Math Topics: Modern Algebra History and Biography
    Suggestion Box
    Home ... Search
    http://mathforum.org/

    48. Ordered Sets And Universal Algebra
    First Thomasina Coverly Memorial Workshop On ORDERED SETS UNIVERSALALGEBRA Vanderbilt University, May 2427, 2000. There will
    http://www.math.vanderbilt.edu/~markovic/Order2000.html
    First Thomasina Coverly Memorial Workshop On
    Vanderbilt University, May 24-27, 2000
    There will be an ordered sets and universal algebra workshop at Vanderbilt University during May 24-27, 2000. You are invited to attend. There is a limited amount of money available for this from which we intend cover the cost of your accommodations. There may be enough money to help with some travel expenses. In order to make the most effective use of the money available we plan
    • to house some people in private homes or apartments, and
    • to ask people who have research funds available to cover their own travel expenses.
    We hope to have 15-20 people. You may want to consult our web page of Nashville maps and Vanderbilt maps and other local information The weird rule of the meeting is this: anyone with a birthday in the month that the meeting takes place (May) will be expected to give
  • a lecture,
  • a yodelling demonstration, or
  • an interpretive dance depicting the milestones of his/her life. Please answer the following questions:
  • What is the probability that you can/will come to this meeting?
  • 49. Universal Algebra Seminar
    The LouisvilleVanderbilt universal algebra Seminar. will be held a fewtimes during the next few months probably twice at Vanderbilt
    http://www.math.vanderbilt.edu/~calendar/archive/1998/98_10_16.html
    The Louisville-Vanderbilt
    Universal Algebra Seminar
    will be held a few times during the next few months probably twice at Vanderbilt and twice at the University of Louisville. Dates are not definite yet but roughly we would like to meet on Saturdays once in every three weeks. Everybody is welcome to give talks either here or in Louisville. More information will be posted here when it becomes available. The first meeting of the seminar will be this Saturday, October 17 , at Vanderbilt University, in the Mathematics Building. We will meet at 9am in the Lounge (SC1425). Some snack, tee and coffee will be served. We will have a lunch break from 11:30 till 13:30. After the last talk we go out to dinner. If you have any comment of question, please contact me at mmaroti@math.vanderbilt.edu Miklos Maroti. Schedule for October 17: Snack and Coffee (SC1425) Steven Tschantz: Ends of Coxeter Groups (SC1432) Ralph McKenzie: Algebraic Characterization of Categorical Equivalence between Varieties Lunch Break Keith Kearnes: Residual smallness and small free spectra Jonathan Farley: The Uniqueness of the Core, Psrt the Second

    50. Atlas: Lattices, Universal Algebra And Applications - Abstract Submission Form
    Atlas Lattices, universal algebra and Applications May 2830, 2003Centro de Algebra da Universidade de Lisboa Lisboa, Portugal.
    http://atlas-conferences.com/cgi-bin/abstract/submit/cajs-01
    Atlas home Conferences Abstracts about Atlas Lattices, Universal Algebra and Applications
    May 28-30, 2003
    Centro de Algebra da Universidade de Lisboa
    Lisboa, Portugal Organizers
    Gabriela Bordalo, Isabel Ferreirim, Maria Joao Saramago, Luis Sequeira
    View Abstracts
    Conference Homepage
    Submit an Abstract
    Here is a help page for abstract submissions
    Speaker (or presenter or first author)
    Affiliation (or address, of speaker)
    Email
    Title (of the presentation)
    Coauthors
    Abstract
    Atlas Conferences Inc.

    51. A Course In Universal Algebra
    Název dokumentu A Course in universal algebra. Predmet MAI031 Univerzálníalgebra (anotace, další literatua). Autori Stanley
    http://kiwi.ms.mff.cuni.cz/~elib/cgi-bin/knihovna_hledej.cgi?autor=Burris, S.

    52. AMCA: Lattices, Universal Algebra And Applications - List Of Speakers
    AMCA Lattices, universal algebra and Applications May 2830, 2003 Centrode Algebra da Universidade de Lisboa Lisboa, Portugal. Organizers
    http://at.yorku.ca/cgi-bin/amca/cajs-01
    Atlas Mathematical Conference Abstracts Conferences Abstracts Organizers ... About AMCA Lattices, Universal Algebra and Applications
    May 28-30, 2003
    Centro de Algebra da Universidade de Lisboa
    Lisboa, Portugal Organizers
    Gabriela Bordalo, Isabel Ferreirim, Maria Joao Saramago, Luis Sequeira
    Submit an Abstract
    Conference Homepage
    View Abstracts
    Maria Isabel Tocon Barroso Strongly prime pseudomultiplicative lattices.
    Valeriu Bordan
    SOME CLASSES OF LOCALLY LINEARLY COMPACT GENERALIZED BOUNDED ALGEBRAS
    Felix Bou
    A deductive system which has associated three different classes of algebras
    Andrei A. Bulatov
    Counting combinatorial problems and Mal'tsev algebras
    Nathalie CASPARD
    Cayley lattices of finite Coxeter groups are bounded
    Jorge Ernesto Castro and Sergio Arturo Celani
    Quasi-Subalgebras and quasi-congruences for Quasi-Modal lattices Ivan Chajda Triangular scheme for congruence distributivity Dejan Delic Embeddings Into the Monoid of the Random Graph Margarida Raposo Dias Another approach to Priestley Duality Busneag Dumitru Localization of MV-algebras Mai Gehrke Canonicity, duality, and correspondence

    53. AMCA: Lattices, Universal Algebra And Applications - List Of Speakers
    AMCA Lattices, universal algebra and Applications May 2830, 2003 Centrode Algebra da Universidade de Lisboa Lisboa, Portugal. Conference
    http://at.yorku.ca/c/a/j/s/01.htm
    Atlas Mathematical Conference Abstracts Conferences Abstracts Organizers ... About AMCA Lattices, Universal Algebra and Applications
    May 28-30, 2003
    Centro de Algebra da Universidade de Lisboa
    Lisboa, Portugal Conference Organizers
    Gabriela Bordalo, Isabel Ferreirim, Maria Joao Saramago and Luis Sequeira
    Conference Homepage
    View Abstracts
    This is an archive of abstracts accepted to this conference. For more listing and sorting options, see the dynamic list. There are no abstracts to view. Atlas Mathematical Conference Abstracts

    54. Universal Algebra -- From MathWorld
    universal algebra, A system of algebra having an empty set of relations.A universal algebra is often simply called an algebra .
    http://mathworld.wolfram.com/UniversalAlgebra.html

    Algebra
    Named Algebras Miscellaneous Algebras
    Universal Algebra

    A system of algebra having an empty set of relations. A universal algebra is often simply called an "algebra".
    Author: Eric W. Weisstein
    Wolfram Research, Inc.

    55. Elementary Universal Algebra And Computer Science
    Elementary universal algebra and Computer Science. Eric G. Wagner,Wagner Mathematics universal algebra is a branch of mathematics
    http://www.ii.uib.no/~fredrikm/seminar/wagner.html
    Elementary Universal Algebra and Computer Science
    Eric G. Wagner, Wagner Mathematics
    Universal algebra is a branch of mathematics which was originally concerned with abstract generalizations of algebraic concepts. It is perhaps surprising then that the ideas of universal algebra have played a significant role in such areas of computer science as the specification of data types, the semantics of programming languages, and the theory of compilers. Equally surprising is that the seemingly abstract fundamental constructs of universal algebra can be easily implemented on a computer using a symbolic computation system such as Mathematica in a manner that makes it possible to construct and explore interesting computer science examples. In this talk we will give an introduction to universal algebra for non-mathematicians, illustrate its application to the syntax and semantics of programming languages, and describe how the basic constructs of universal algebra can be implemented within Mathematica. Demonstrations of the Mathematica programs (notebooks) implementing the material in the talk will be given on a later date and, if there is sufficient interest, more detailed talks may also be given.

    56. Universal Algebra For Computer Scientists
    UNIVERAL ALGEBRA for Computer Scientists (click on the top line of the titleto get started) A course in universal algebra (and related mathematics
    http://www.ii.uib.no/~wagner/UASCR/cover01.htm

    UNIVERAL ALGEBRA

    for
    Computer Scientists

    (click on the top line of the title to get started)
    A course in Universal Algebra
    (and related mathematics)
    emphasizing computer science
    examples and applications
    Eric G. Wagner
    Wagner Mathematics

    57. 08: General Algebraic Systems
    However, the current meaning of the expression universal algebra dates from the work of Birkhoff and Ore in the 1930s. The appeal
    http://www.math.niu.edu/~rusin/known-math/index/08-XX.html
    Search Subject Index MathMap Tour ... Help! ABOUT: Introduction History Related areas Subfields
    POINTERS: Texts Software Web links Selected topics here
    08: General algebraic systems
    Introduction
    Here is an excerpt from the Math Reviews review of the book by Burris and Sankappanavar: For more information about this field, see that review (83k:08001) or 94d:08001.
    History
    Applications and related fields
    "Algebra" is a very broad section of mathematics; there are separate index pages here for specific algebraic categories (groups, fields, etc.) This heading focuses both on the broad principles covering all of algebra and on specific algebraic constructs not included in those other areas. By extension (and somewhat inappropriately) we use it to house a few resources discussing many areas of algebra. Universal algebra is arguably more a topic in Logic (03C05) (Model Theory), hence there is significant overlap. For Boolean algebras and generalizations see Ordered algebraic structures (06E) For groupoids, semigroups, and other multiplicative sets see Group Theory (sections 20L, 20M, 20N).

    58. Citations: Simple Word Problems In Universal Algebra - Knuth, Bendix (ResearchIn
    Similar pages Citations universal algebra in higher types Meinke ( Karl Meinke, universal algebra in higher types (Theoretical CS 100, 1992) 385-417.26 citations found. K. Meinke. universal algebra in higher types.
    http://citeseer.nj.nec.com/context/24693/0
    317 citations found. Retrieving documents...
    D. E. Knuth and P. B. Bendix. Simple word problems in universal algebras . In J. Leech, editor, Computational Problems in Abstract Algebra, pages 263298, Oxford, 1967. Pergamon Press. Appeared 1970.
    Home/Search
    Document Not in Database Summary Related Articles Check
    This paper is cited in the following contexts:
    First 50 documents Next 50
    Unification with Sequence Variables And Flexible Arity Symbols.. - Kutsia (2002)
    (Correct) ....with sequence variables and variable arity symbols. The most used solving technique is matching. However , for some applications, like theorem proving or completion, more powerful solving techniques (unification, for instance) are needed. The problem whether Knuth Bendix completion procedure ( ) can be extended to handle term rewriting systems with function symbols of variable arity, sequences and sequence variables (patterns) is stated as an open problem in [29] The primary reason why it is an open problem is the absence of appropriate unification algorithm. In this paper, we make ....

    59. ASL 2003 Meeting--Universal Algebra Special Session
    Association of Symbolic Logic. 2003 Annual Meeting. University of Illinoisat Chicago. June 14. Special Session in Universal Algbera. Invited Speakers.
    http://www.math.uic.edu/~marker/asl-03/ua.html
    Association of Symbolic Logic
    2003 Annual Meeting
    University of Illinois at Chicago
    June 14
    Special Session in Universal Algbera
    Invited Speakers
    • K. Adaricheva
    • C. Bergman
    • S. Burris
    • N. Galatos
    • P. Jipsen
    • B. Jonsson
    • K. Kearnes
    • R. Maddux
    • S. Seif
    • A. Szendrei
    • C. Tsinakis
    • M. Valeriote
    • G. Voutsadakis
    • R. Willard

    60. Combining Algebra And Universal Algebra In First-Order Theorem Proving
    Combining Algebra and universal algebra in FirstOrder Theorem Proving The Caseof Commutative Rings. Leo Bachmair, Harald Ganzinger and Jürgen Stuber (1995).
    http://www.loria.fr/~stuber/publications/COMPASS94.html

    Coordinates

    Publications

    Software

    Research interests
    ...
    Other interests
    Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings
    Egidio Astesiano, Gianna Reggio and Andrzej Tarlecki (eds), Recent Trends in Data Types Specification, 10th Workshop on Specification of Abstract Data Types joint with the 5th COMPASS Workshop, Santa Margherita Ligure, Italy, 1994. Selected papers. LNCS 906, Springer Verlag. Abstract We present a general approach for integrating certain mathematical structures in first-order equational theorem provers. More specifically, we consider theorem proving problems specified by sets of first-order clauses that contain the axioms of a commutative ring with a unit element. Associative-commutative superposition forms the deductive core of our method, while a convergent rewrite system for commutative rings provides a starting point for more specialized inferences tailored to the given class of formulas. We adopt ideas from the Gröbner basis method to show that many inferences of the superposition calculus are redundant. This result is obtained by the judicious application of the simplification techniques afforded by convergent rewriting and by a process called symmetrization that embeds inferences between single clauses and ring axioms. Bibtex DVI Postscript Jürgen Stuber ... stuber@loria.fr

    Page 3     41-60 of 96    Back | 1  | 2  | 3  | 4  | 5  | Next 20

    free hit counter