Search results for "epimorphism"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
39	Tommaso Moraschini, Jamie J. Wannenburg	Epimorphism surjectivity in varieties of Heyting algebras.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
39	Riccardo Camerlo, Raphaël Carroy, Alberto Marcone	Linear orders: When embeddability and epimorphism agree.	J. Math. Log.	2019	DBLP DOI BibTeX RDF
39	Steven Gay, François Fages, Thierry Martinez, Sylvain Soliman, Christine Solnon	On the subgraph epimorphism problem.	Discret. Appl. Math.	2014	DBLP DOI BibTeX RDF
39	Mahdi Hamzeh, Aviral Shrivastava, Sarma B. K. Vrudhula	EPIMap: using epimorphism to map applications on CGRAs.	DAC	2012	DBLP DOI BibTeX RDF
31	Manuela Sobral	Another Approach to Topological Descent Theory.	Appl. Categorical Struct.	2001	DBLP DOI BibTeX RDF	descent data, (effective) descent map, monadic functor, universal regular epimorphism, (effective) étale-descent, monad
31	Gunter Bruns, John Harding	Epimorphisms in Certain Varieties of Algebras.	Order	2000	DBLP DOI BibTeX RDF	epimorphism, ortholattice, orthomodular lattice
31	Dikran Dikranjan, Hans-Peter A. Künzi	Separation and Epimorphisms in Quasi-Uniform Spaces.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	quasi-uniform space, uniform space, (regular, semiregular) closure operator, sequential closure, S()-space, separated space, epimorphism, closure
24	Jirí Adámek, Michel Hébert, Lurdes Sousa	The Orthogonal Subcategory Problem and the Small Object Argument.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Orthogonal subcategory problem, Small object argument, Injectivity logic, Presentable morphism, Orthogonality logic
24	Lars Kadison	Anchor Maps and Stable Modules in Depth Two.	Appl. Categorical Struct.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 11S20, 13B24, 17B37, 20L05, 16W30
24	Ander Murua	The Hopf Algebra of Rooted Trees, Free Lie Algebras, and Lie Series.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Free Lie algebra, Continous BCH function, Hopf algbra of rooted trees, Hall rooted trees, Lie series, Dual PBW basis, Rewritting algorithm, Logarithm of Chenn-Fliess series, Series of vector fields, Rooted tree
24	Valentina Rossi	Admissible Galois Structures and Coverings in Regular Mal'cev Categories.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 08B10, 18E10, 18D35, 18A40
24	Dima Grigoriev, Ilia N. Ponomarenko	Homomorphic Public-Key Cryptosystems and Encrypting Boolean Circuits.	Appl. Algebra Eng. Commun. Comput.	2006	DBLP DOI BibTeX RDF	Homomorphic cryptosystem, Free product of groups, Encrypting boolean circuits
24	Marc André Armand, K. S. Ng	Decoding LDPC Codes Over Integer Residue Rings.	IEEE Trans. Inf. Theory	2006	DBLP DOI BibTeX RDF
24	Alfred A. Schmitt	Zur Theorie der nichtdeterministischen und unvollständigen Automaten.	Computing	1969	DBLP DOI BibTeX RDF