Home  - Pure_And_Applied_Math - Universal Algebra

Books Baby Camera Phones Computers Games DVD Electronics Kitchen Magazines Music Garden Software Tools Toys Video Apparel & Accessories Jewelry & Watches Musical Instruments Health & Personal Care Beauty Sports & Outdoors Office Products

e99.com Bookstore

Images

Newsgroups

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

Universal Algebra:     more books (100)

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

lists with details

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
    
    Extractions: 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 Some useful operations on sets and types. Setoids are sets endowed with an equivalence relation. they serve the same purpose as the sets of set theory in classical Universal 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
    
    Extractions: 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. 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. Novosibirsk State Technical Univ. (Russia, Novosibirsk) and Mathematical Institute (Siberian Branch of Russian Academy of Sciences). A. G. Pinus, V. D. Mazurov, K. N. Ponomarev. 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
    
    Extractions: Month: May 2003 Date: May 2830 Name: Lattices, Universal Algebra and Applications Location: Centro de Algebra da Universidade de Lisboa, Lisboa, Portugal. 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). G. Bordalo (CAUL, Univ. Lisboa) I. Ferreirim (CAUL, Univ. Lisboa) M. Saramago (CAUL, Univ. Lisboa) Luis Sequeira (CAUL, Univ. Lisboa). http://www.ptmat.fc.ul.pt/~uaconf03/

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

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

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
    
    Extractions: 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

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
    
    Extractions: 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 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
    
    Extractions: 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

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

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

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

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
    
    Extractions: 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

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
    
    Extractions: POINTERS: Texts Software Web links Selected topics here 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. "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
    
    Extractions: 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

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
    
    Extractions: Other interests 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

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