Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
16 | Jean-Camille Birget |
Two-Way Automata and Length-Preserving Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 29(3), pp. 191-226, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Jaroslav Nesetril, Xuding Zhu |
Complexity of Tree Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 70(1), pp. 23-36, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Souriar Sebastian, S. Babu Sunder |
Fuzzy groups and group homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 81(3), pp. 397-401, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Su-Yun Li, De-Gang Chen 0002, Wen-Xiang Gu, Hui Wang 0001 |
Fuzzy homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Fuzzy Sets Syst. ![In: Fuzzy Sets Syst. 79(2), pp. 235-238, 1996. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
16 | Steve Fisk |
Distinguishing graphs by the number of homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discuss. Math. Graph Theory ![In: Discuss. Math. Graph Theory 15(1), pp. 73-75, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Murray Cole |
Parallel Programming with List Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Process. Lett. ![In: Parallel Process. Lett. 5, pp. 191-203, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Xuding Zhu |
The Existence of Homomorphisms to Oriented Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIAM J. Discret. Math. ![In: SIAM J. Discret. Math. 8(2), pp. 208-222, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Fausto Di Biase, Rüdiger L. Urbanke |
An Algorithm to Calculate the Kernel of Certain Polynomial Ring Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Exp. Math. ![In: Exp. Math. 4(3), pp. 227-234, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Xuding Zhu |
A Polynomial Algorithm for Homomorphisms to Oriented Cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Algorithms ![In: J. Algorithms 19(3), pp. 333-345, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Huishan Zhou, Xuding Zhu |
On homomorphisms to acyclic local tournaments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 20(4), pp. 467-471, 1995. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
16 | Andrei V. Kelarev |
Combinatorial Properties and Homomorphisms of Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 4(3), pp. 443-450, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Gary MacGillivray |
Graph Homomorphisms with Infinite Targets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 54(1), pp. 29-35, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Xuding Zhu |
Homomorphisms to oriented paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 132(1-3), pp. 107-114, 1994. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Australas. J Comb. ![In: Australas. J Comb. 9, pp. 109-122, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
16 | Boleslaw Mikolajczak |
A Parallel Algorithm for Computing all Homomorphisms of Deterministic Finite Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Parallel Processing of Discrete Optimization Problems ![In: Workshop on Parallel Processing of Discrete Optimization Problems, Proceedings of a DIMACS Workshop, Princeton, New Jersey, USA, April 28-29, 1994, pp. 233-257, 1994, DIMACS/AMS, 978-0-8218-0240-3. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Ulrich Nitsche |
Propositional Linear Temporal Logic and Language Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, Third International Symposium, LFCS'94, St. Petersburg, Russia, July 11-14, 1994, Proceedings, pp. 265-277, 1994, Springer, 3-540-58140-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Kazue Sako, Joe Kilian |
Secure Voting Using Partially Compatible Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '94, 14th Annual International Cryptology Conference, Santa Barbara, California, USA, August 21-25, 1994, Proceedings, pp. 411-424, 1994, Springer, 3-540-58333-5. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
16 | Alexander Yu. Olshanskii |
On Residualing Homomorphisms and G-Subgroups of hyperbolic Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 3(4), pp. 365-410, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Pavol Hell, Huishan Zhou, Xuding Zhu |
Homomorphisms to oriented cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Comb. ![In: Comb. 13(4), pp. 421-433, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Huishan Zhou |
Chromatic difference sequences and homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 113(1-3), pp. 285-292, 1993. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Egidio Astesiano, Gianna Reggio, Elena Zucca |
Stores as Homomorphisms and their Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1993, 18th International Symposium, MFCS'93, Gdansk, Poland, August 30 - September 3, 1993, Proceedings, pp. 242-251, 1993, Springer, 3-540-57182-5. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
16 | Murray Cole |
Parallel Programming, List Homomorphisms and the Maximum Segment Sum Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PARCO ![In: Parallel Computing: Trends and Applications, PARCO 1993, Grenoble, France, pp. 489-492, 1993, Elsevier, 0-444-81841-3. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP BibTeX RDF |
|
16 | Tapani Hyttinen |
Preservation by Homomorphisms and Infinitary Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Notre Dame J. Formal Log. ![In: Notre Dame J. Formal Log. 32(2), pp. 167-172, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Charles R. Leedham-Green, Cheryl E. Praeger, Leonard H. Soicher |
Computing with Group Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 12(4/5), pp. 527-532, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Franz Baader, Werner Nutt |
Adding Homomorphisms to Commutative/Monoidal Theories or How Algebra Can Help in Equational Unification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RTA ![In: Rewriting Techniques and Applications, 4th International Conference, RTA-91, Como, Italy, April 10-12, 1991, Proceedings, pp. 124-135, 1991, Springer, 3-540-53904-2. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
16 | Dietmar Schweigert |
Clone Homomorphisms and Reductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Inf. Process. Cybern. ![In: J. Inf. Process. Cybern. 26(4), pp. 239-247, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP BibTeX RDF |
|
16 | Mulan Liu |
Homomorphisms and automorphisms of 2-D de Bruijn-Good graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 85(1), pp. 105-109, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Walter Wenzel |
Algebraic relations between matroids connected by weak homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 54(2), pp. 210-224, 1990. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
16 | Hong-Jian Lai |
Unique graph homomorphisms onto odd cycles, II. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 46(3), pp. 363-376, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Roger L. Norton |
Predicate Transformers as Homomorphisms on Scott's Information Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Conference on Computer Science ![In: Computer Trends in the 1990s - Proceedings of the 1989 ACM 17th Annual Computer Science Conference, Louisville, Kentucky, USA, February 21-23, 1989, pp. 406, 1989, ACM, 0-89791-299-3. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Grant Malcolm |
Homomorphisms and Promotability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MPC ![In: Mathematics of Program Construction, 375th Anniversary of the Groningen University, International Conference, Groningen, The Netherlands, June 26-30, 1989, Proceedings, pp. 335-347, 1989, Springer, 3-540-51305-1. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
16 | Viliam Geffert |
A Representation of Recursively Enumerable Languages by Two Homomorphisms and a Quotient. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 62(3), pp. 235-249, 1988. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 6(2/3), pp. 267-273, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Paul A. Catlin |
Graph homomorphisms into the five-cycle. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. B ![In: J. Comb. Theory, Ser. B 45(2), pp. 199-211, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | A. M. H. Gerards |
Homomorphisms of graphs into odd cycles. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Graph Theory ![In: J. Graph Theory 12(1), pp. 73-83, 1988. The full citation details ...](Pics/full.jpeg) |
1988 |
DBLP DOI BibTeX RDF |
|
16 | Ventura Verdú |
Logics Projectively Generated from [ℳ] = (ℱ4, [{1}]) by a Set of Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Log. Q. ![In: Math. Log. Q. 33(3), pp. 235-241, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Ilaria Castellani |
Bisimulations and Abstraction Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 34(2/3), pp. 210-235, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Sergei S. Goncharov |
Axiomatizable classes with strong homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 46(2), pp. 113-120, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Nguyen Cat Ho, Helena Rasiowa |
Subalgebras and homomorphisms of semi-Post algebras. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 46(2), pp. 161-175, 1987. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Louise E. Moser |
Graph Homomorphisms and the Design of Secure Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
S&P ![In: Proceedings of the 1987 IEEE Symposium on Security and Privacy, Oakland, California, USA, April 27-29, 1987, pp. 88-96, 1987, IEEE Computer Society, 0-8186-0771-8. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
16 | Bernhard Korte, László Lovász 0001 |
Homomorphisms and Ramsey properties of antimatroids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Appl. Math. ![In: Discret. Appl. Math. 15(2-3), pp. 283-290, 1986. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Josh Cohen Benaloh |
Secret Sharing Homomorphisms: Keeping Shares of A Secret Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRYPTO ![In: Advances in Cryptology - CRYPTO '86, Santa Barbara, California, USA, 1986, Proceedings, pp. 251-260, 1986, Springer. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
|
16 | Tom Head, John Wilkinson |
Code Properties and Homomorphisms of D0L Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 35, pp. 295-312, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Klaus-Jörn Lange |
A note on the closure of EDL-languages under erasing homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Bull. EATCS ![In: Bull. EATCS 25, pp. 22-23, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP BibTeX RDF |
|
16 | Michael O. Albertson, Karen L. Collins |
Homomorphisms of 3-chromatic graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 54(2), pp. 127-132, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Gregory Butler |
Effective Computation with Group Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Comput. ![In: J. Symb. Comput. 1(2), pp. 143-157, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Ilaria Castellani |
Bisimulations and Abstraction Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT, Vol.1 ![In: Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85), pp. 223-238, 1985, Springer, 3-540-15198-2. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
16 | Dimiter Skordev |
On multi-valued homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symposium on Computation Theory ![In: Computation Theory - Fifth Symposium, Zaborów, Poland, December 3-8, 1984, Proceedings, pp. 326-331, 1984, Springer, 978-3-540-16066-3. The full citation details ...](Pics/full.jpeg) |
1984 |
DBLP DOI BibTeX RDF |
|
16 | Franz-Josef Brandenburg |
Uniformly Growing k-TH Power-Free Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 23, pp. 69-82, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Andreas Brandstädt |
Space Classes, Intersection of Languages and Bounded Erasing Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 17(2), pp. 121-130, 1983. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Joseph Sifakis |
Property Preserving Homomorphisms of Transition Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Logic of Programs ![In: Logics of Programs, Workshop, Carnegie Mellon University, Pittsburgh, PA, USA, June 6-8, 1983, Proceedings, pp. 458-473, 1983, Springer, 3-540-12896-4. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
16 | Takumi Kasai, Raymond E. Miller |
Homomorphisms between Models of Parallel Computation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 25(3), pp. 285-331, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Masakazu Nasu |
Uniformly finite-to-one and onto extensions of homomorphisms between strongly connected graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 39(2), pp. 171-197, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Stephan Heilbrunner, Werner Pohlmann |
A Technique for Recursion Removal Based on String Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. Comput. Program. ![In: Sci. Comput. Program. 2(1), pp. 69-81, 1982. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Repetitions in Homomorphisms and Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 9th Colloquium, Aarhus, Denmark, July 12-16, 1982, Proceedings, pp. 192-211, 1982, Springer, 3-540-11576-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | John L. Pfaltz |
Transformation of structures by convex homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph-Grammars and Their Application to Computer Science ![In: Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabrück], Germany, October 4-8, 1982, pp. 297-313, 1982, Springer, 3-540-12310-5. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
16 | Toshio Nomura |
Homomorphisms and Congruences for Abstract Feedback Systems ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 51(1), pp. 20-44, October 1981. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RAIRO Theor. Informatics Appl. ![In: RAIRO Theor. Informatics Appl. 14(4), pp. 349-369, 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Juhani Karhumäki |
Generalized Parikh Mappings and Homomorphisms ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 47(3), pp. 155-165, December 1980. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Masakazu Nasu |
Homomorphisms of graphs and their global maps. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Graph Theory and Algorithms ![In: Graph Theory and Algorithms, 17th Symposium of Research Institute of Electric Communication, Tohoku University, Sendai, Japan, October 24-25, 1980, Proceedings, pp. 159-170, 1980, Springer, 3-540-10704-5. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Jürgen Ebert, Jürgen Perl |
Reachablity Homomorphisms on Nets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WG ![In: Graphtheoretic Concepts in Computer Science, Proceedings of the International Workshop WG '80, Bad Honnef, Germany, June 15-18, 1980, pp. 326-334, 1980, Springer, 3-540-10291-4. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
16 | Raymond E. Miller, Takumi Kasai |
Comparing models of parallel computation by homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC ![In: The IEEE Computer Society's Third International Computer Software and Applications Conference, COMPSAC 1979, 6-8 November, 1979, Chicago, Illinois, USA, pp. 794-799, 1979, IEEE. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Hermann A. Maurer |
New Aspects of Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theoretical Computer Science ![In: Theoretical Computer Science, 4th GI-Conference, Aachen, Germany, March 26-28, 1979, Proceedings, pp. 10-24, 1979, Springer, 3-540-09118-1. The full citation details ...](Pics/full.jpeg) |
1979 |
DBLP DOI BibTeX RDF |
|
16 | Arto Salomaa |
Equality sets for homomorphisms of free monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Cybern. ![In: Acta Cybern. 4(1), pp. 127-139, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP BibTeX RDF |
|
16 | Robert M. Haralick |
Structural pattern recognition, homomorphisms, and arrangements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Pattern Recognit. ![In: Pattern Recognit. 10(3), pp. 223-236, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Elementary Homomorphisms and a Solution of the D0L Sequence Equivalence Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 7, pp. 169-183, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Robert M. Haralick, Jesse S. Kartus |
Arrangements, Homomorphisms, and Discrete Relaxation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Syst. Man Cybern. ![In: IEEE Trans. Syst. Man Cybern. 8(8), pp. 600-612, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Norman Y. Foo |
Closure Properties and Homomorphisms of Time-varying Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 12, pp. 41-58, 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Simplifications of Homomorphisms ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 38(3), pp. 298-309, September 1978. The full citation details ...](Pics/full.jpeg) |
1978 |
DBLP DOI BibTeX RDF |
|
16 | Paul M. B. Vitányi |
Deterministic Lindenmayer Languages, Nonterminals and Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 2(1), pp. 49-71, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Kosaburo Hashiguchi, Namio Honda |
Properties of Code Events and Homomorphisms over Regular Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 12(3), pp. 352-367, 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | Kosaburo Hashiguchi, Namio Honda |
Homomorphisms That Preserve Star Height ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 30(3), pp. 247-266, March 1976. The full citation details ...](Pics/full.jpeg) |
1976 |
DBLP DOI BibTeX RDF |
|
16 | A. E. Hurd |
Synergy of Homomorphisms in Relational Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 21(3), pp. 329-335, 1976. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 4, pp. 87-106, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Andrzej Ehrenfeucht, Grzegorz Rozenberg |
Nonterminals Versus Homomorphisms in Defining Languages for Some Classes of Rewriting Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 3, pp. 265-283, 1974. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Acta Informatica ![In: Acta Informatica 3, pp. 357-364, 1974. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Joseph A. Goguen |
On Homomorphisms, Correctness, Termination, Unfoldments, and Equivalence of Flow Diagram Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comput. Syst. Sci. ![In: J. Comput. Syst. Sci. 8(3), pp. 333-365, 1974. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29 - August 2, 1974, Proceedings, pp. 473-480, 1974, Springer, 3-540-06841-4. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
16 | Ranan B. Banerji, George W. Ernst |
Strategy Construction Using Homomorphisms Between Games. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Artif. Intell. ![In: Artif. Intell. 3(1-3), pp. 223-249, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Benjamin G. Klein |
Homomorphisms of Symbolic Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 6(2), pp. 107-122, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | Ping-Fun Lam |
Inverses of Recurrent and Periodic Points under Homomorphisms of Dynamical Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 6(1), pp. 26-36, 1972. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP BibTeX RDF |
|
16 | Joseph A. Goguen |
On Homomorphisms, Simulations, Correctness and Subroutines for Programs and Program Schemes ![Search on Bibsonomy](Pics/bibsonomy.png) |
SWAT ![In: 13th Annual Symposium on Switching and Automata Theory, College Park, Maryland, USA, October 25-27, 1972, pp. 52-60, 1972, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
1972 |
DBLP DOI BibTeX RDF |
|
16 | C. H. Applebaum |
omega-Homomorphisms and omega-Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Symb. Log. ![In: J. Symb. Log. 36(1), pp. 55-65, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Seymour Ginsburg, John E. Hopcroft |
Images of AFL under Certain Families of Homomorphisms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 5(3), pp. 216-227, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Jaroslav Nesetril |
Homomorphisms of derivative graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Math. ![In: Discret. Math. 1(3), pp. 257-268, 1971. The full citation details ...](Pics/full.jpeg) |
1971 |
DBLP DOI BibTeX RDF |
|
16 | Tsunehiko Kameda |
R70-39 On the Relational Homomorphisms of Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Computers ![In: IEEE Trans. Computers 19(10), pp. 987, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Ping-Fun Lam |
Homomorphisms of Expansive Transformation Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 4(3), pp. 249-256, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
|
16 | Azaria Paz |
Homomorphisms Between Stochastic Sequential Machines and Related Problems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Math. Syst. Theory ![In: Math. Syst. Theory 2(3), pp. 223-245, 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
16 | Raymond T. Yeh |
On Relational Homomorphisms of Automata ![Search on Bibsonomy](Pics/bibsonomy.png) |
Inf. Control. ![In: Inf. Control. 13(2), pp. 140-155, August 1968. The full citation details ...](Pics/full.jpeg) |
1968 |
DBLP DOI BibTeX RDF |
|
12 | Philippe Suter, Mirco Dotta, Viktor Kuncak |
Decision procedures for algebraic data types with abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL 2010, Madrid, Spain, January 17-23, 2010, pp. 199-210, 2010, ACM, 978-1-60558-479-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
data structure, decision procedure, algebraic data type, catamorphism |
12 | Gösta Grahne, Adrian Onet |
Data correspondence, exchange and repair. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2010, 13th International Conference, Lausanne, Switzerland, March 23-25, 2010, Proceedings, pp. 219-230, 2010, ACM, 978-1-60558-947-3. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
12 | Themba Dube |
A Little More on Coz-Unique Frames. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Appl. Categorical Struct. ![In: Appl. Categorical Struct. 17(1), pp. 63-73, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 06D22, 54C25, 54D20 |
12 | Rajeev Alur, P. Madhusudan |
Adding nesting structure to words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 56(3), pp. 16:1-16:43, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 13(6), pp. 591-596, 2009. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICLA ![In: Logic and Its Applications, Third Indian Conference, ICLA 2009, Chennai, India, January 7-11, 2009. Proceedings, pp. 51-64, 2009, Springer, 978-3-540-92700-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Moshe Y. Vardi |
Constraints, Graphs, Algebra, Logic, and Complexity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAMC ![In: Theory and Applications of Models of Computation, 6th Annual Conference, TAMC 2009, Changsha, China, May 18-22, 2009. Proceedings, pp. 3, 2009, Springer, 978-3-642-02016-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Magnus Wahlström |
New Plain-Exponential Time Classes for Graph Homomorphism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSR ![In: Computer Science - Theory and Applications, Fourth International Computer Science Symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18-23, 2009. Proceedings, pp. 346-355, 2009, Springer, 978-3-642-03350-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
12 | Balder ten Cate, Phokion G. Kolaitis |
Structural characterizations of schema-mapping languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDT ![In: Database Theory - ICDT 2009, 12th International Conference, St. Petersburg, Russia, March 23-25, 2009, Proceedings, pp. 63-72, 2009, ACM, 978-1-60558-423-2. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RSKT ![In: Rough Sets and Knowledge Technology, 4th International Conference, RSKT 2009, Gold Coast, Australia, July 14-16, 2009. Proceedings, pp. 297-303, 2009, Springer, 978-3-642-02961-5. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LFCS ![In: Logical Foundations of Computer Science, International Symposium, LFCS 2009, Deerfield Beach, FL, USA, January 3-6, 2009. Proceedings, pp. 451-467, 2009, Springer, 978-3-540-92686-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|