Home  Pure_And_Applied_Math  Universal Algebra 
Page 1 120 of 75 1  2  3  4  Next 20 
1. Universal Algebra  Wikipedia, The Free Encyclopedia Retrieved from http//en.wikipedia.org/wiki/universal_algebra . Categories Abstract algebra Universal algebra Algebra http://en.wikipedia.org/wiki/Universal_algebra  

2. CiteULike Tag Universal_algebra [5 Articles] Recent papers classified by the tag universal_algebra. posted to universal_algebra category_theory by masteraka on 20071104 201504 as along with 6 http://www.citeulike.org/tag/universal_algebra 
3. Subalgebras Of The Universal Algebra. Lattices Of Subalgebras B = o); theorem UNIALG_28 for U1 be universal_algebra, A be non empty Subset of U1, o be operation of U1 st A is_closed_on o holds arity (o/. http://www.wakasato.org/mizar/s7.8.05m4.84.971/share/abstr/unialg_2.abs 
4. On The Lattice Of Subalgebras Of A Universal Algebra By Miros {} where o is operation of U0 arity o = 0 }; theorem UNIALG_36 for U0 be with_const_op universal_algebra for U1 be SubAlgebra of U0 holds Constants(U0) http://markun.cs.shinshuu.ac.jp/mizar/abstr/unialg_3.abs 
5. Product Of Family Of Universal Algebras By Beata Madras attr IT is Univ_Algyielding means PRALG_1def 10 for x st x in dom IT holds IT.x is universal_algebra; end; definition let IT be Function; http://mmlquery.mizar.org/mizar/abstr/pralg_1.abs 
6. The Mizar Abstract Of MSUALG_1 end; definition let A be universal_algebra; func MSSign A non void strict segmental trivial ManySortedSign means MSUALG_1def 13 the carrier of it http://www.cs.ualberta.ca/~piotr/Mizar/mirror/http/JFM/Vol6/msualg_1.abs.html  

7. BibSonomy::user::marciomr::universal_algebra Webapplikation des Fachgebiets Wissensverarbeitung, Universität Kassel. http://www.bibsonomy.org/user/marciomr/universal_algebra  

8. Homomorphisms Of Algebras. Quotient Universal Algebra By Ma{\l theorem ALG_117 for U2 being strict universal_algebra, f be Function of U1,U2 st f is_homomorphism U1,U2 holds f is_epimorphism U1,U2 iff Image f http://ftp.icm.edu.pl/pub/mizar/version/abstr/alg_1.abs  

9. MSSUBLAT Semantic Presentation Theorem Th1 MSSUBLAT1 For A for U1, U2 being universal_algebra st U1 is SubAlgebra of U2 holds . for A being with_const_op universal_algebra holds UnSubAlLattice UAStr( the carrier http://lipa.ms.mff.cuni.cz/~urban/xmlmml/html_abstr.4.95.999/mssublat.html  

10. Mizar Analysis Of Algorithms Preliminaries By Grzegorz end; theorem AOFA_00043 for A being with_emptyinstruction universal_algebra for o being Element of Operations A st o = Den(In(1, dom the charact of A), http://merak.pb.bialystok.pl/mizar/abstr/aofa_000.abs 
11. %Patch Files Loaded Patch2 Version 1.2.2.36 $$$a2.pvs Equivker[V (Image(f),Image(h)) END universal_algebra block_comp M,C,Mp,CpTYPE+ THEORY BEGIN IMPORTING universal_algebra REQVAR M C SOF,SOF_REQVAR Mp Cp http://www.cas.mcmaster.ca/~lawford/CS734/Notes/a2_soln.dmp  

12. Universal Algebra  English Dictionary english to english dictionary containing references. http://www.onlinedictionary.biz/english/vocabulary/reference/universal_algebra.  

13. Universal Algebra  Wikipedia Universal algebra. Universal algebra is the field of mathematics that studies the ideas common to all algebraic systems?. http://facetroughgemstones.com/wikipedia/un/Universal_algebra.html  

14. MATHS: Algebras }=universal_algebra. For $ SIGNATURE, .algebra={ a$ ASSIGNMENT( ) universal_algebra( = , A= a.A, F= a.F) }. http://www.csci.csusb.edu/dick/maths/math_43_Algebras.html  

15. MSUHOM_1 Semantic Presentation Show TPTP Formulae Showing IDV for U1, U2 being universal_algebra st U1,U2 are_similar holds Lm1 for U1 being universal_algebra holds dom (signature U1) = dom the charact of U1 http://www.cs.miami.edu/~tptp/MizarTPTP/Articles/msuhom_1.html  

16. Math Forum Discussions At http//en.wikipedia.org/wiki/universal_algebra is an algebra is a set A together with a collection of operations on A. After the operations . http://mathforum.org/kb/search!execute.jspa?q=algebra&rankBy=9&threadID=108239 
17. Universal Algebra  Wiktionary (countable) An algebraic structure studied therein. Retrieved from http//en.wiktionary.org/wiki/universal_algebra . Categories Uncountable Countable http://en.wiktionary.org/wiki/universal_algebra  

18. Universal Algebra  MGSA Jump to navigation, search. 13 Questions postscript and tex source. Retrieved from http//math.berkeley.edu/~mgsa/w/index.php/universal_algebra http://math.berkeley.edu/~mgsa/w/index.php/Universal_Algebra  

19. Universal Algebra  Indopedia, The Indological Knowledgebase Retrieved from http//www.indopedia.org/universal_algebra.html . This page has been accessed 1319 times. This page was last modified 1006, http://www.indopedia.org/Universal_algebra.html  

20. Universal Algebra In Coq 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 http://wwwsop.inria.fr/lemme/Venanzio.Capretta/universal_algebra.html  

Page 1 120 of 75 1  2  3  4  Next 20 