Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
109 | Michael Hoffmann 0002, Richard M. Thomas |
Biautomatic Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 15th International Symposium, FCT 2005, Lübeck, Germany, August 17-20, 2005, Proceedings, pp. 56-67, 2005, Springer, 3-540-28193-2. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
biautomatic, automatic, Automata and formal languages, semigroups |
100 | Karl Auinger, Gracinda M. S. Gomes, Victoria Gould, Benjamin Steinberg |
An application of a Theorem of Ash to finite covers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Stud Logica ![In: Stud Logica 78(1-2), pp. 45-57, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
weakly left quasi-ample semigroup, proper cover |
100 | Tatjana Petkovic, Miroslav Ciric 0001, Stojan Bogdanovic |
Characteristic Semigroups of Directable Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 6th International Conference, DLT 2002, Kyoto, Japan, September 18-21, 2002, Revised Papers, pp. 417-427, 2002, Springer, 3-540-40431-7. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
86 | Sunil Arya, David M. Mount, Jian Xia |
Tight lower bounds for halfspace range searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 26th ACM Symposium on Computational Geometry, Snowbird, Utah, USA, June 13-16, 2010, pp. 29-37, 2010, ACM, 978-1-4503-0016-2. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
lower bounds, range searching, idempotence |
71 | Sunil Arya, Theocharis Malamatos, David M. Mount |
The Effect of Corners on the Complexity of Approximate Range Searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Discret. Comput. Geom. ![In: Discret. Comput. Geom. 41(3), pp. 398-443, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Computational complexity, Approximation algorithms, Range searching, Idempotence |
71 | Gérard Jacob |
Complexite des Demi-Groupes de Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings, pp. 269-281, 1977, Springer, 3-540-08342-1. The full citation details ...](Pics/full.jpeg) |
1977 |
DBLP DOI BibTeX RDF |
|
71 | Gustav Nordh, Peter Jonsson |
The Complexity of Counting Solutions to Systems of Equations over Finite Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COCOON ![In: Computing and Combinatorics, 10th Annual International Conference, COCOON 2004, Jeju Island, Korea, August 17-20, 2004, Proceedings, pp. 370-379, 2004, Springer, 3-540-22856-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
71 | A. Ecker |
Finite Semigroups and the RSA-Cryptosystem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROCRYPT ![In: Cryptography, Proceedings of the Workshop on Cryptography, Burg Feuerstein, Germany, March 29 - April 2, 1982, pp. 353-369, 1982, Springer. The full citation details ...](Pics/full.jpeg) |
1982 |
DBLP DOI BibTeX RDF |
|
57 | Sunil Arya, Theocharis Malamatos, David M. Mount |
The effect of corners on the complexity of approximate range searching. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCG ![In: Proceedings of the 22nd ACM Symposium on Computational Geometry, Sedona, Arizona, USA, June 5-7, 2006, pp. 11-20, 2006, ACM, 1-59593-340-9. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
approximation algorithms, range searching, idempotence |
57 | Janis Buls, Vaira Buza, Roberts Glaudins |
Representation of Autonomous Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FCT ![In: Fundamentals of Computation Theory, 13th International Symposium, FCT 2001, Riga, Latvia, August 22-24, 2001, Proceedings, pp. 372-375, 2001, Springer, 3-540-42487-3. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
57 | Hervé Caussinus, François Lemieux |
The Complexity of Computing over Quasigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 14th Conference, Madras, India, December 15-17, 1994, Proceedings, pp. 36-47, 1994, Springer, 3-540-58715-2. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
|
57 | Gianfranco Bilardi, Franco P. Preparata |
Size-time complexity of Boolean networks for prefix computations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. ACM ![In: J. ACM 36(2), pp. 362-382, 1989. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
57 | Carlos Munuera, Fernando Torres 0002, Juan Elmer Villanueva |
Sparse Numerical Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 18th International Symposium, AAECC-18 2009, Tarragona, Catalonia, Spain, June 8-12, 2009. Proceedings, pp. 23-31, 2009, Springer, 978-3-642-02180-0. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
57 | Wen Ting Zhang, Yan Feng Luo |
On Varieties Generated by Minimal Complex Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Order ![In: Order 25(3), pp. 243-266, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 20M07 |
57 | Daniel Singer |
Linearly ordered semigroups for fuzzy set theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ann. Math. Artif. Intell. ![In: Ann. Math. Artif. Intell. 49(1-4), pp. 207-220, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classifications (2000) 03E04, 03E72, 03G25, 06B30, 22A15, 18B40, 03G10, 06F05, 06B35 |
57 | Bijan Davvaz |
Extensions of fuzzy hyperideals in HV-semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Soft Comput. ![In: Soft Comput. 11(9), pp. 829-837, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Mathematics Subject Classification (2000) 20N20, 20N25 |
57 | Peter Jipsen |
A Note on Complex Algebras of Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers, pp. 171-177, 2003, Springer, 3-540-22145-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
56 | Teruo Imaoka |
Prehomomorphisms on Locally Inverse ast-Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 203-209, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
52 | Jérémie Cabessa, Jacques Duparc |
The Algebraic Counterpart of the Wagner Hierarchy. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CiE ![In: Logic and Theory of Algorithms, 4th Conference on Computability in Europe, CiE 2008, Athens, Greece, June 15-20, 2008, Proceedings, pp. 100-109, 2008, Springer, 978-3-540-69405-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
?-automata, ?-rational languages, ?-semigroups, Wadge game, Wadge hierarchy, Wagner hierarchy, infinite games |
52 | Paul Bell, Igor Potapov |
Lowering Undecidability Bounds for Decision Questions in Matrices. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 10th International Conference, DLT 2006, Santa Barbara, CA, USA, June 26-29, 2006, Proceedings, pp. 375-385, 2006, Springer, 3-540-35428-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
vector reachability, matrix semigroups, piecewise linear maps, membership, Theory of computing |
52 | Ondrej Klíma 0001 |
Unification Modulo Associativity and Idempotency Is NP-complete. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2002, 27th International Symposium, MFCS 2002, Warsaw, Poland, August 26-30, 2002, Proceedings, pp. 423-432, 2002, Springer, 3-540-44040-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
idempotent semigroups, complexity, unification |
43 | Maria Bras-Amorós, Michael E. O'Sullivan |
The Order Bound on the Minimum Distance of the One-Point Codes Associated to the Garcia-Stichtenoth Tower. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(11), pp. 4241-4245, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Sunil Arya, Theocharis Malamatos, David M. Mount |
On the importance of idempotence. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STOC ![In: Proceedings of the 38th Annual ACM Symposium on Theory of Computing, Seattle, WA, USA, May 21-23, 2006, pp. 564-573, 2006, ACM, 1-59593-134-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
approximation algorithms, range searching, idempotence |
43 | Markus Holzer 0001, Barbara König 0001 |
On Deterministic Finite Automata and Syntactic Monoid Size, Continued. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Developments in Language Theory ![In: Developments in Language Theory, 7th International Conference, DLT 2003, Szeged, Hungary, July 7-11, 2003, Proceedings, pp. 349-360, 2003, Springer, 3-540-40434-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Karel Culík II, Tero Harju |
Dominoes and the Regularity of DNS Splicing Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings, pp. 222-233, 1989, Springer, 3-540-51371-X. The full citation details ...](Pics/full.jpeg) |
1989 |
DBLP DOI BibTeX RDF |
|
43 | Jules Desharnais, Peter Jipsen, Georg Struth |
Domain and Antidomain Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RelMiCS ![In: Relations and Kleene Algebra in Computer Science, 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009. Proceedings, pp. 73-87, 2009, Springer, 978-3-642-04638-4. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
43 | Maria Bras-Amorós |
A Note on Numerical Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(2), pp. 821-823, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Paul Bell, Igor Potapov |
Reachability Problems in Quaternion Matrix and Rotation Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2007, 32nd International Symposium, MFCS 2007, Ceský Krumlov, Czech Republic, August 26-31, 2007, Proceedings, pp. 346-358, 2007, Springer, 978-3-540-74455-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
43 | Sándor Jenei |
On the structure of rotation-invariant semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Arch. Math. Log. ![In: Arch. Math. Log. 42(5), pp. 489-514, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
43 | Franz Baader |
Rewrite Systems for Varieties of Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CADE ![In: 10th International Conference on Automated Deduction, Kaiserslautern, FRG, July 24-27, 1990, Proceedings, pp. 396-410, 1990, Springer, 3-540-52885-7. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
42 | Masami Ito, Gheorghe Paun, Sheng Yu 0001 (eds.) |
Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![World Scientific, 981-02-4739-7 The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Zoltán Ésik, Werner Kuich |
A Generation of Kozen's Axiomatization of the Equational Theory of the Regular Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 99-114, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Masami Ito, Carlos Martín-Vide, Gheorghe Paun |
A Characterization of Parikh Sets of ET0L Languages in Terms of P Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 239-253, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Lucian Ilie |
On Generalized Slenderness of Context-Free Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 189-202, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Ludwig Staiger |
Topologies for the Set of Disjunctive omega-Words. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 421-430, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Vincenzo Manca |
On the Generative Power of Iterated Transductions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 315-327, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Jürgen Dassow |
Conditional Grammars with Restrictions by Syntactic Parameters. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 59-68, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Taishin Y. Nishida, Shigeko Seki |
A Definition of Parikh Controlled Context-Free Grammars and Some Properties of Them. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 357-367, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Kiyoshi Iseki |
Some Fundamental Theorems on BCK. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 231-238, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Lila Kari, Andrei Paun |
String Operations Suggested by DNA Biochemistry: The Balanced Cut Operation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 275-287, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Helmut Prodinger |
Words, Dyck Paths, Trees, and Bijections. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 369-379, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Florentin Ipate, Marian Gheorghe 0001, Mike Holcombe, Tudor Balanescu |
Testing Using X-Machine Translations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 211-229, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Henning Fernau, Ralf Stiebe |
Valence Grammars with Target Sets. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 129-140, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Maurice Margenstern, Yurii Rogozhin |
Time-Varying Distributed H Systems of Degree 1 Generate All Recursively Enumerable Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 329-339, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Gemma Bel Enguix |
Mixed Links: A Method for Generating Multi-Stranded Structures in Syntax. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 15-32, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Juha Honkala |
On Sparse 0L Languages Over the Binary Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 181-188, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | László Kászonyi |
How to Generate Binary Codes Using Context-Free Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 289-301, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Cristian S. Calude, Elena Calude, Peter Kay |
Liars, Demons, and Chaos. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 33-46, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Jia Lee, Kenichi Morita |
Generation and Parsing of Morphism Languages by Uniquely Parallel Parsable Grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 303-314, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Ferenc Gécseg, Balázs Imreh |
On Isomorphic Representations of Monotone Tree and Nondeterministic Tree . ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 141-154, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Andrzej Ehrenfeucht, Ion Petre, David M. Prescott, Grzegorz Rozenberg |
Circularity and Other Invariants of Gene Assembly in Ciliates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 81-97, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Helmut Jürgensen |
Disjunctivity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 255-274, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Takashi Saito |
Characterization of Finite Automata by the Images and the Kernels of Their Tranistion Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 395-403, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Stuart A. Rankin |
Semilattice Amalgams and Semidirect Product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 381-393, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | |
The publications of Gabriel Thierrin. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 431-442, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Gundula Niemann, Friedrich Otto |
On the Power of RRWW-Automata. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 341-355, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Peter R. J. Asveld |
Some Operators on Families of Fuzzy Languages and Their Monoids. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 1-14, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Ferenc Gécseg, Magnus Steinby |
Minimal Recognizers and Syntactic Monoids of DR Tree Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 155-167, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Arto Salomaa |
Iterated Morphisms with Complementarity on the DNA Alphabet. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 405-420, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Tom Head |
Visualizing Languages Using Primitive Powers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 169-180, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Juan Castellanos, Victor Mitrana |
Some Remarks on Hairpin and Loop Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 47-58, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Pál Dömösi |
On Complete Classes of Directed Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 69-79, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
42 | Chen-Ming Fan, Huei-Jan Shyr |
Catenation Closed Pairs and Forest Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Words, Semigroups, and Transductions ![In: Words, Semigroups, and Transductions - Festschrift in Honor of Gabriel Thierrin, pp. 115-127, 2001, World Scientific, 981-02-4739-7. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP BibTeX RDF |
|
38 | Claudio Gutierrez 0001 |
Satisfiability of Word Equations with Constants is in Exponential Space. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 39th Annual Symposium on Foundations of Computer Science, FOCS '98, November 8-11, 1998, Palo Alto, California, USA, pp. 112-119, 1998, IEEE Computer Society, 0-8186-9172-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
Makanin's algorithm, word combinatorics, free semigroups, algorithms, unification, word equations |
38 | Jin-yi Cai, Richard J. Lipton, Yechezkel Zalcstein |
The Complexity of the Membership Problem for 2-generated Commutative Semigroups of Rational Matrices ![Search on Bibsonomy](Pics/bibsonomy.png) |
FOCS ![In: 35th Annual Symposium on Foundations of Computer Science, Santa Fe, New Mexico, USA, 20-22 November 1994, pp. 135-142, 1994, IEEE Computer Society, 0-8186-6580-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
polynomial-sized encoding, membership problem complexity, 2-generated commutative semigroups, rational matrices, deterministic polynomial-time algorithm, ABC problem, 2-generated abelian linear groups, polynomial time algorithm, algebraic number field |
29 | Guilherme Dias da Fonseca |
Approximate Range Searching: The Absolute Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WADS ![In: Algorithms and Data Structures, 10th International Workshop, WADS 2007, Halifax, Canada, August 15-17, 2007, Proceedings, pp. 2-14, 2007, Springer, 978-3-540-73948-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Fagerström |
Spatio-temporal Scale-Spaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSVM ![In: Scale Space and Variational Methods in Computer Vision, First International Conference, SSVM 2007, Ischia, Italy, May 30 - June 2, 2007, Proceedings, pp. 326-337, 2007, Springer, 978-3-540-72822-1. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Manuel Delgado 0001, José Morais |
On the. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMS ![In: Mathematical Software - ICMS 2006, Second International Congress on Mathematical Software, Castro Urdiales, Spain, September 1-3, 2006, Proceedings, pp. 403-406, 2006, Springer, 3-540-38084-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
29 | Martin Beaudry, François Lemieux, Denis Thérien |
Groupoids That Recognize Only Regular Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005, Proceedings, pp. 421-433, 2005, Springer, 3-540-27580-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Denis Thérien, Thomas Wilke |
Nesting Until and Since in Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theory Comput. Syst. ![In: Theory Comput. Syst. 37(1), pp. 111-131, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Alexei Lisitsa 0001, Igor Potapov |
Membership and Reachability Problems for Row-Monomial Transformations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2004, 29th International Symposium, MFCS 2004, Prague, Czech Republic, August 22-27, 2004, Proceedings, pp. 623-634, 2004, Springer, 3-540-22823-3. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Ricard Gavaldà, Denis Thérien |
Algebraic Characterizations of Small Classes of Boolean Functions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2003, 20th Annual Symposium on Theoretical Aspects of Computer Science, Berlin, Germany, February 27 - March 1, 2003, Proceedings, pp. 331-342, 2003, Springer, 3-540-00623-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Denis Thérien, Thomas Wilke |
Nesting Until and Since in Linear Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 2002, 19th Annual Symposium on Theoretical Aspects of Computer Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings, pp. 455-464, 2002, Springer, 3-540-43283-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
29 | Nicolas Bedon, Olivier Carton |
An Eilenberg Theorem for Words on Countable Ordinals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 53-64, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Miki Hermann, Phokion G. Kolaitis |
Computational Complexity of Simultaneous Elementary Matching Problems (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 1995, 20th International Symposium, MFCS'95, Prague, Czech Republic, August 28 - September 1, 1995, Proceedings, pp. 359-370, 1995, Springer, 3-540-60246-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Pierre Péladeau, Andreas Podelski |
On Reverse and General Definite Tree Languages (Extended Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 19th International Colloquium, ICALP92, Vienna, Austria, July 13-17, 1992, Proceedings, pp. 150-161, 1992, Springer, 3-540-55719-9. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Alan J. Cain, Graham P. Oliver, Nikola Ruskuc, Richard M. Thomas |
Automatic Presentations for Cancellative Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATA ![In: Language and Automata Theory and Applications, Second International Conference, LATA 2008, Tarragona, Spain, March 13-19, 2008. Revised Papers, pp. 149-159, 2008, Springer, 978-3-540-88281-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Paul Bell, Igor Potapov |
Periodic and Infinite Traces in Matrix Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SOFSEM ![In: SOFSEM 2008: Theory and Practice of Computer Science, 34th Conference on Current Trends in Theory and Practice of Computer Science, Nový Smokovec, Slovakia, January 19-25, 2008, Proceedings, pp. 148-161, 2008, Springer, 978-3-540-77565-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
29 | Maria Bras-Amorós, Michael E. O'Sullivan |
On Semigroups Generated by Two Consecutive Integers and Improved Hermitian Codes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Inf. Theory ![In: IEEE Trans. Inf. Theory 53(7), pp. 2560-2566, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
29 | Gretchen L. Matthews |
Weierstrass Semigroups and Codes from a Quotient of the Hermitian Curve. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Des. Codes Cryptogr. ![In: Des. Codes Cryptogr. 37(3), pp. 473-492, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
AMS Classification 094 |
29 | Víctor Dalmau, Ricard Gavaldà, Pascal Tesson, Denis Thérien |
Tractable Clones of Polynomials over Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CP ![In: Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, Sitges, Spain, October 1-5, 2005, Proceedings, pp. 196-210, 2005, Springer, 3-540-29238-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
29 | Guillem Godoy, Robert Nieuwenhuis |
Constraint Solving for Term Orderings Compatible with Abelian Semigroups, Monoids and Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Constraints An Int. J. ![In: Constraints An Int. J. 9(3), pp. 167-192, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
symbolic constraints, built-in theories, automated deduction, term orderings |
29 | Jean-Eric Pin |
The Consequences of Imre Simon's Work in the Theory of Automata, Languages, and Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN 2004: Theoretical Informatics, 6th Latin American Symposium, Buenos Aires, Argentina, April 5-8, 2004, Proceedings, pp. 5, 2004, Springer, 3-540-21258-2. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
29 | Maria Bras-Amorós |
Improvements to Evaluation Codes and New Characterizations of Arf Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AAECC ![In: Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 15th International Symposium, AAECC-15, Toulouse, France, May 12-16, 2003, Proceedings, pp. 204-215, 2003, Springer, 3-540-40111-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Hwankoo Kim, Sang-Jae Moon |
Public-Key Cryptosystems Based on Class Semigroups of Imaginary Quadratic Non-maximal Orders. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 488-497, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
29 | Rolf Nossum, Luciano Serafini |
Multicontext Logic for Semigroups of Contexts. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AISC ![In: Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings, pp. 90-101, 2002, Springer, 3-540-43865-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
Integration of Logical Reasoning and Computer Algebra, Logic and Symbolic Computing, Reasoning |
29 | Alair Pereira do Lago |
Maximal Groups in Free Burnside Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LATIN ![In: LATIN '98: Theoretical Informatics, Third Latin American Symposium, Campinas, Brazil, April, 20-24, 1998, Proceedings, pp. 65-75, 1998, Springer, 3-540-64275-7. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
29 | Tero Harju, Juhani Karhumäki, Wojciech Plandowski |
Compactness of Systems of Equations in Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 22nd International Colloquium, ICALP95, Szeged, Hungary, July 10-14, 1995, Proceedings, pp. 444-454, 1995, Springer, 3-540-60084-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
29 | Jean-Marc Champarnaud |
A Programming Language for Symbolic Computation of Regular Languages, Automata and Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
STACS ![In: STACS 92, 9th Annual Symposium on Theoretical Aspects of Computer Science, Cachan, France, February 13-15, 1992, Proceedings, pp. 605-606, 1992, Springer, 3-540-55210-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
29 | Daniel Gajski |
Recurrence semigroups and their relation to data storage in fast recurrence solvers on parallel machines. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CONPAR ![In: CONPAR 81: Conference on Analysing Problem Classes and Programming for Parallel Computing, Nürnberg, Germany, June 10-12, 1981, Proceedings, pp. 343-357, 1981, Springer, 3-540-10827-0. The full citation details ...](Pics/full.jpeg) |
1981 |
DBLP DOI BibTeX RDF |
|
29 | D. Kudryavtsev |
Semigroups locally embeddable into the class of finite semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Algebra Comput. ![In: Int. J. Algebra Comput. 33(5), pp. 969-988, August 2023. The full citation details ...](Pics/full.jpeg) |
2023 |
DBLP DOI BibTeX RDF |
|
29 | Stephan Ramon Garcia, Mohamed Omar, Christopher O'Neill, Samuel Yih |
Factorization length distribution for affine semigroups II: Asymptotic behavior for numerical semigroups with arbitrarily many generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Comb. Theory, Ser. A ![In: J. Comb. Theory, Ser. A 178, pp. 105358, 2021. The full citation details ...](Pics/full.jpeg) |
2021 |
DBLP DOI BibTeX RDF |
|
29 | W. B. Vasantha Kandasamy 0001, Ilanthenral Kandasamy, Florentin Smarandache |
Neutrosophic Components Semigroups and Multiset Neutrosophic Components Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Symmetry ![In: Symmetry 12(5), pp. 818, 2020. The full citation details ...](Pics/full.jpeg) |
2020 |
DBLP DOI BibTeX RDF |
|
29 | Stephan Ramon Garcia, Christopher O'Neill, Samuel Yih |
Factorization length distribution for affine semigroups I: Numerical semigroups with three generators. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Eur. J. Comb. ![In: Eur. J. Comb. 78, pp. 190-204, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Miguel Couceiro, Jimmy Devillet |
All quasitrivial n-ary semigroups are reducible to semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1904.05968, 2019. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP BibTeX RDF |
|
29 | Matthieu Picantin |
Automatic Semigroups vs Automaton Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: 46th International Colloquium on Automata, Languages, and Programming, ICALP 2019, July 9-12, 2019, Patras, Greece., pp. 124:1-124:15, 2019, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 978-3-95977-109-2. The full citation details ...](Pics/full.jpeg) |
2019 |
DBLP DOI BibTeX RDF |
|
29 | Jesús A. De Loera, Christopher O'Neill, Dane Wilburne |
Random Numerical Semigroups and a Simplicial Complex of Irreducible Semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Electron. J. Comb. ![In: Electron. J. Comb. 25(4), pp. 4, 2018. The full citation details ...](Pics/full.jpeg) |
2018 |
DBLP DOI BibTeX RDF |
|
29 | Tara Brough, Alan J. Cain |
Automaton semigroups: New constructions results and examples of non-automaton semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Theor. Comput. Sci. ![In: Theor. Comput. Sci. 674, pp. 1-15, 2017. The full citation details ...](Pics/full.jpeg) |
2017 |
DBLP DOI BibTeX RDF |
|
29 | Tara Brough, Alan J. Cain |
Automaton semigroups: new construction results and examples of non-automaton semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1601.01168, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|
29 | Matthieu Picantin |
Automatic semigroups vs automaton semigroups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CoRR ![In: CoRR abs/1609.09364, 2016. The full citation details ...](Pics/full.jpeg) |
2016 |
DBLP BibTeX RDF |
|