Theory and Applications of Categories, Vol. 29, No. 7, 2014, pp. 198214. A GALOIS THEORY FOR MONOIDS

First Page		Document Content
Date: 2014-05-01 12:40:00 Semigroup theory Morphisms Category theory Epimorphism Formal languages Monoid Free monoid Field extension Five lemma Abstract algebra Algebra Mathematics		Theory and Applications of Categories, Vol. 29, No. 7, 2014, pp. 198214. A GALOIS THEORY FOR MONOIDS Add to Reading List Source URL: www.emis.de Download Document from Source Website File Size: 388,92 KB Share Document on Facebook

	PDF Document DocID: 1quyp - View Document
	HipSpec: Automating Inductive Proofs of Program Properties Koen Claessen Moa Johansson Nicholas Smallbone DocID: 1q9N6 - View Document
	Journal of Pure and Applied DocID: 1pK0N - View Document
	ADDENDUM FOR CET 1.9.3b 1. ArabTEX CET is ready for ArabTEX (author: Klaus Lagally, University Stuttgart). You can get ArabTEX via ftp (Internet) and you must install it manually. After the installation of ArabTEX and af DocID: 1pvKe - View Document
	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr DocID: 1pgaI - View Document