Search results for "homomorphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
16	Jean-Camille Birget	Two-Way Automata and Length-Preserving Homomorphisms.	Math. Syst. Theory	1996	DBLP DOI BibTeX RDF
16	Pavol Hell, Jaroslav Nesetril, Xuding Zhu	Complexity of Tree Homomorphisms.	Discret. Appl. Math.	1996	DBLP DOI BibTeX RDF
16	Souriar Sebastian, S. Babu Sunder	Fuzzy groups and group homomorphisms.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
16	Su-Yun Li, De-Gang Chen 0002, Wen-Xiang Gu, Hui Wang 0001	Fuzzy homomorphisms.	Fuzzy Sets Syst.	1996	DBLP DOI BibTeX RDF
16	Steve Fisk	Distinguishing graphs by the number of homomorphisms.	Discuss. Math. Graph Theory	1995	DBLP DOI BibTeX RDF
16	Murray Cole	Parallel Programming with List Homomorphisms.	Parallel Process. Lett.	1995	DBLP DOI BibTeX RDF
16	Pavol Hell, Xuding Zhu	The Existence of Homomorphisms to Oriented Cycles.	SIAM J. Discret. Math.	1995	DBLP DOI BibTeX RDF
16	Fausto Di Biase, Rüdiger L. Urbanke	An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms.	Exp. Math.	1995	DBLP DOI BibTeX RDF
16	Xuding Zhu	A Polynomial Algorithm for Homomorphisms to Oriented Cycles.	J. Algorithms	1995	DBLP DOI BibTeX RDF
16	Pavol Hell, Huishan Zhou, Xuding Zhu	On homomorphisms to acyclic local tournaments.	J. Graph Theory	1995	DBLP DOI BibTeX RDF
16	Andrei V. Kelarev	Combinatorial Properties and Homomorphisms of Semigroups.	Int. J. Algebra Comput.	1994	DBLP DOI BibTeX RDF
16	Gary MacGillivray	Graph Homomorphisms with Infinite Targets.	Discret. Appl. Math.	1994	DBLP DOI BibTeX RDF
16	Pavol Hell, Xuding Zhu	Homomorphisms to oriented paths.	Discret. Math.	1994	DBLP DOI BibTeX RDF
16	Dan Archdeacon, R. Bruce Richter, Jozef Sirán, Martin Skoviera	Branched coverings of maps and lifts of map homomorphisms.	Australas. J Comb.	1994	DBLP BibTeX RDF
16	Boleslaw Mikolajczak	A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata.	Parallel Processing of Discrete Optimization Problems	1994	DBLP DOI BibTeX RDF
16	Ulrich Nitsche	Propositional Linear Temporal Logic and Language Homomorphisms.	LFCS	1994	DBLP DOI BibTeX RDF
16	Kazue Sako, Joe Kilian	Secure Voting Using Partially Compatible Homomorphisms.	CRYPTO	1994	DBLP DOI BibTeX RDF
16	Alexander Yu. Olshanskii	On Residualing Homomorphisms and G-Subgroups of hyperbolic Groups.	Int. J. Algebra Comput.	1993	DBLP DOI BibTeX RDF
16	Pavol Hell, Huishan Zhou, Xuding Zhu	Homomorphisms to oriented cycles.	Comb.	1993	DBLP DOI BibTeX RDF
16	Huishan Zhou	Chromatic difference sequences and homomorphisms.	Discret. Math.	1993	DBLP DOI BibTeX RDF
16	Egidio Astesiano, Gianna Reggio, Elena Zucca	Stores as Homomorphisms and their Transformations.	MFCS	1993	DBLP DOI BibTeX RDF
16	Murray Cole	Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem.	PARCO	1993	DBLP BibTeX RDF
16	Tapani Hyttinen	Preservation by Homomorphisms and Infinitary Languages.	Notre Dame J. Formal Log.	1991	DBLP DOI BibTeX RDF
16	Charles R. Leedham-Green, Cheryl E. Praeger, Leonard H. Soicher	Computing with Group Homomorphisms.	J. Symb. Comput.	1991	DBLP DOI BibTeX RDF
16	Franz Baader, Werner Nutt	Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification.	RTA	1991	DBLP DOI BibTeX RDF
16	Dietmar Schweigert	Clone Homomorphisms and Reductions.	J. Inf. Process. Cybern.	1990	DBLP BibTeX RDF
16	Mulan Liu	Homomorphisms and automorphisms of 2-D de Bruijn-Good graphs.	Discret. Math.	1990	DBLP DOI BibTeX RDF
16	Walter Wenzel	Algebraic relations between matroids connected by weak homomorphisms.	J. Comb. Theory, Ser. A	1990	DBLP DOI BibTeX RDF
16	Hong-Jian Lai	Unique graph homomorphisms onto odd cycles, II.	J. Comb. Theory, Ser. B	1989	DBLP DOI BibTeX RDF
16	Roger L. Norton	Predicate Transformers as Homomorphisms on Scott's Information Systems.	ACM Conference on Computer Science	1989	DBLP DOI BibTeX RDF
16	Grant Malcolm	Homomorphisms and Promotability.	MPC	1989	DBLP DOI BibTeX RDF
16	Viliam Geffert	A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient.	Theor. Comput. Sci.	1988	DBLP DOI BibTeX RDF
16	David Shannon, Moss Sweedler	Using Gröbner Bases to Determine Algebra Membership Split Surjective Algebra Homomorphisms Determine Birational Equivalence.	J. Symb. Comput.	1988	DBLP DOI BibTeX RDF
16	Paul A. Catlin	Graph homomorphisms into the five-cycle.	J. Comb. Theory, Ser. B	1988	DBLP DOI BibTeX RDF
16	A. M. H. Gerards	Homomorphisms of graphs into odd cycles.	J. Graph Theory	1988	DBLP DOI BibTeX RDF
16	Ventura Verdú	Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms.	Math. Log. Q.	1987	DBLP DOI BibTeX RDF
16	Ilaria Castellani	Bisimulations and Abstraction Homomorphisms.	J. Comput. Syst. Sci.	1987	DBLP DOI BibTeX RDF
16	Sergei S. Goncharov	Axiomatizable classes with strong homomorphisms.	Stud Logica	1987	DBLP DOI BibTeX RDF
16	Nguyen Cat Ho, Helena Rasiowa	Subalgebras and homomorphisms of semi-Post algebras.	Stud Logica	1987	DBLP DOI BibTeX RDF
16	Louise E. Moser	Graph Homomorphisms and the Design of Secure Computer Systems.	S&P	1987	DBLP DOI BibTeX RDF
16	Bernhard Korte, László Lovász 0001	Homomorphisms and Ramsey properties of antimatroids.	Discret. Appl. Math.	1986	DBLP DOI BibTeX RDF
16	Josh Cohen Benaloh	Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing.	CRYPTO	1986	DBLP DOI BibTeX RDF
16	Tom Head, John Wilkinson	Code Properties and Homomorphisms of D0L Systems.	Theor. Comput. Sci.	1985	DBLP DOI BibTeX RDF
16	Klaus-Jörn Lange	A note on the closure of EDL-languages under erasing homomorphisms.	Bull. EATCS	1985	DBLP BibTeX RDF
16	Michael O. Albertson, Karen L. Collins	Homomorphisms of 3-chromatic graphs.	Discret. Math.	1985	DBLP DOI BibTeX RDF
16	Gregory Butler	Effective Computation with Group Homomorphisms.	J. Symb. Comput.	1985	DBLP DOI BibTeX RDF
16	Ilaria Castellani	Bisimulations and Abstraction Homomorphisms.	TAPSOFT, Vol.1	1985	DBLP DOI BibTeX RDF
16	Dimiter Skordev	On multi-valued homomorphisms.	Symposium on Computation Theory	1984	DBLP DOI BibTeX RDF
16	Franz-Josef Brandenburg	Uniformly Growing k-TH Power-Free Homomorphisms.	Theor. Comput. Sci.	1983	DBLP DOI BibTeX RDF
16	Andreas Brandstädt	Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms.	RAIRO Theor. Informatics Appl.	1983	DBLP DOI BibTeX RDF
16	Joseph Sifakis	Property Preserving Homomorphisms of Transition Systems.	Logic of Programs	1983	DBLP DOI BibTeX RDF
16	Takumi Kasai, Raymond E. Miller	Homomorphisms between Models of Parallel Computation.	J. Comput. Syst. Sci.	1982	DBLP DOI BibTeX RDF
16	Masakazu Nasu	Uniformly finite-to-one and onto extensions of homomorphisms between strongly connected graphs.	Discret. Math.	1982	DBLP DOI BibTeX RDF
16	Stephan Heilbrunner, Werner Pohlmann	A Technique for Recursion Removal Based on String Homomorphisms.	Sci. Comput. Program.	1982	DBLP DOI BibTeX RDF
16	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Repetitions in Homomorphisms and Languages.	ICALP	1982	DBLP DOI BibTeX RDF
16	John L. Pfaltz	Transformation of structures by convex homomorphisms.	Graph-Grammars and Their Application to Computer Science	1982	DBLP DOI BibTeX RDF
16	Toshio Nomura	Homomorphisms and Congruences for Abstract Feedback Systems	Inf. Control.	1981	DBLP DOI BibTeX RDF
16	Karel Culík II, Juhani Karhumäki	On the Equality Sets for Homomorphisms on Free Monoids with Two Generators.	RAIRO Theor. Informatics Appl.	1980	DBLP DOI BibTeX RDF
16	Juhani Karhumäki	Generalized Parikh Mappings and Homomorphisms	Inf. Control.	1980	DBLP DOI BibTeX RDF
16	Masakazu Nasu	Homomorphisms of graphs and their global maps.	Graph Theory and Algorithms	1980	DBLP DOI BibTeX RDF
16	Jürgen Ebert, Jürgen Perl	Reachablity Homomorphisms on Nets.	WG	1980	DBLP DOI BibTeX RDF
16	Raymond E. Miller, Takumi Kasai	Comparing models of parallel computation by homomorphisms.	COMPSAC	1979	DBLP DOI BibTeX RDF
16	Hermann A. Maurer	New Aspects of Homomorphisms.	Theoretical Computer Science	1979	DBLP DOI BibTeX RDF
16	Arto Salomaa	Equality sets for homomorphisms of free monoids.	Acta Cybern.	1978	DBLP BibTeX RDF
16	Robert M. Haralick	Structural pattern recognition, homomorphisms, and arrangements.	Pattern Recognit.	1978	DBLP DOI BibTeX RDF
16	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Elementary Homomorphisms and a Solution of the D0L Sequence Equivalence Problem.	Theor. Comput. Sci.	1978	DBLP DOI BibTeX RDF
16	Robert M. Haralick, Jesse S. Kartus	Arrangements, Homomorphisms, and Discrete Relaxation.	IEEE Trans. Syst. Man Cybern.	1978	DBLP DOI BibTeX RDF
16	Norman Y. Foo	Closure Properties and Homomorphisms of Time-varying Systems.	Math. Syst. Theory	1978	DBLP DOI BibTeX RDF
16	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Simplifications of Homomorphisms	Inf. Control.	1978	DBLP DOI BibTeX RDF
16	Paul M. B. Vitányi	Deterministic Lindenmayer Languages, Nonterminals and Homomorphisms.	Theor. Comput. Sci.	1976	DBLP DOI BibTeX RDF
16	Kosaburo Hashiguchi, Namio Honda	Properties of Code Events and Homomorphisms over Regular Events.	J. Comput. Syst. Sci.	1976	DBLP DOI BibTeX RDF
16	Kosaburo Hashiguchi, Namio Honda	Homomorphisms That Preserve Star Height	Inf. Control.	1976	DBLP DOI BibTeX RDF
16	A. E. Hurd	Synergy of Homomorphisms in Relational Systems.	J. Comb. Theory, Ser. A	1976	DBLP DOI BibTeX RDF
16	Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum	Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. I. Deterministic Systems.	Acta Informatica	1974	DBLP DOI BibTeX RDF
16	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems.	Acta Informatica	1974	DBLP DOI BibTeX RDF
16	Mogens Nielsen, Grzegorz Rozenberg, Arto Salomaa, Sven Skyum	Nonterminals, Homomorphisms and Codings in Different Variations of OL-Systems. II. Nondeterministic Systems.	Acta Informatica	1974	DBLP DOI BibTeX RDF
16	Joseph A. Goguen	On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs.	J. Comput. Syst. Sci.	1974	DBLP DOI BibTeX RDF
16	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Trade-off between the Use of Nonterminals, Codings and Homomorphisms in Defining Languages for Some Classes of Rewriting Systems.	ICALP	1974	DBLP DOI BibTeX RDF
16	Ranan B. Banerji, George W. Ernst	Strategy Construction Using Homomorphisms Between Games.	Artif. Intell.	1972	DBLP DOI BibTeX RDF
16	Benjamin G. Klein	Homomorphisms of Symbolic Dynamical Systems.	Math. Syst. Theory	1972	DBLP DOI BibTeX RDF
16	Ping-Fun Lam	Inverses of Recurrent and Periodic Points under Homomorphisms of Dynamical Systems.	Math. Syst. Theory	1972	DBLP BibTeX RDF
16	Joseph A. Goguen	On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes	SWAT	1972	DBLP DOI BibTeX RDF
16	C. H. Applebaum	omega-Homomorphisms and omega-Groups.	J. Symb. Log.	1971	DBLP DOI BibTeX RDF
16	Seymour Ginsburg, John E. Hopcroft	Images of AFL under Certain Families of Homomorphisms.	Math. Syst. Theory	1971	DBLP DOI BibTeX RDF
16	Jaroslav Nesetril	Homomorphisms of derivative graphs.	Discret. Math.	1971	DBLP DOI BibTeX RDF
16	Tsunehiko Kameda	R70-39 On the Relational Homomorphisms of Automata.	IEEE Trans. Computers	1970	DBLP DOI BibTeX RDF
16	Ping-Fun Lam	Homomorphisms of Expansive Transformation Groups.	Math. Syst. Theory	1970	DBLP DOI BibTeX RDF
16	Azaria Paz	Homomorphisms Between Stochastic Sequential Machines and Related Problems.	Math. Syst. Theory	1968	DBLP DOI BibTeX RDF
16	Raymond T. Yeh	On Relational Homomorphisms of Automata	Inf. Control.	1968	DBLP DOI BibTeX RDF
12	Philippe Suter, Mirco Dotta, Viktor Kuncak	Decision procedures for algebraic data types with abstractions.	POPL	2010	DBLP DOI BibTeX RDF	data structure, decision procedure, algebraic data type, catamorphism
12	Gösta Grahne, Adrian Onet	Data correspondence, exchange and repair.	ICDT	2010	DBLP DOI BibTeX RDF
12	Themba Dube	A Little More on Coz-Unique Frames.	Appl. Categorical Struct.	2009	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06D22, 54C25, 54D20
12	Rajeev Alur, P. Madhusudan	Adding nesting structure to words.	J. ACM	2009	DBLP DOI BibTeX RDF	software model checking, tree automata, Pushdown automata, XML processing
12	Jirí Mockor	Fuzzy logic models in a category of fuzzy relations.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Sets with similarities, Category of fuzzy relations, Models of fuzzy logic, Fuzzy logic, MV-algebras
12	Johann A. Makowsky	Connection Matrices for MSOL-Definable Structural Invariants.	ICLA	2009	DBLP DOI BibTeX RDF
12	Moshe Y. Vardi	Constraints, Graphs, Algebra, Logic, and Complexity.	TAMC	2009	DBLP DOI BibTeX RDF
12	Magnus Wahlström	New Plain-Exponential Time Classes for Graph Homomorphism.	CSR	2009	DBLP DOI BibTeX RDF
12	Balder ten Cate, Phokion G. Kolaitis	Structural characterizations of schema-mapping languages.	ICDT	2009	DBLP DOI BibTeX RDF	data integration, data exchange, schema mapping, definability
12	Changzhong Wang, Wenju Du	Some Invariant Properties of Fuzzy Information Systems under Homomorphism.	RSKT	2009	DBLP DOI BibTeX RDF	Fuzzy relation Information system, Fuzzy relation mapping, Attribute reduction, Homomorphism
12	James Worthington	A Bialgebraic Approach to Automata and Formal Language Theory.	LFCS	2009	DBLP DOI BibTeX RDF