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. Non dependent equality Type Constructions Finite Sets Type Products ... Lists Projections Setoids Setoids are sets endowed with an equivalence relation. they serve the same purpose as the sets of set theory in classical Universal Algebra Setoids Parametric Arity Functions General Trees Algebra Definitions of the basic notions of Universal Algebra, constructions on algebras, term algebras and basic results about them. Signatures Algebras Term Algebras Expressions Algebras ... First Homomorphism Theorem 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