Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for morphisms with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1972-1981 (20) 1982-1985 (24) 1986-1988 (20) 1989-1990 (19) 1991-1992 (21) 1993 (18) 1994-1995 (18) 1996-1997 (25) 1998 (19) 1999 (22) 2000 (24) 2001 (45) 2002 (30) 2003 (21) 2004 (28) 2005 (29) 2006 (37) 2007 (32) 2008 (33) 2009 (36) 2010-2011 (23) 2012-2013 (24) 2014-2015 (26) 2016-2017 (29) 2018 (15) 2019 (17) 2020-2021 (25) 2022 (22) 2023 (16) 2024 (3)
Publication types (Num. hits)
article(351) incollection(3) inproceedings(360) phdthesis(6) proceedings(1)
Venues (Conferences, Journals, ...)
Appl. Categorical Struct.(66) CoRR(51) Theor. Comput. Sci.(42) MFCS(23) ICALP(21) Graphs, Morphisms and Statisti...(20) RAIRO Theor. Informatics Appl.(20) Developments in Language Theor...(15) Discret. Appl. Math.(14) CONCUR(10) STACS(10) WORDS(10) Eur. J. Comb.(8) FCT(8) Inf. Process. Lett.(7) Int. J. Found. Comput. Sci.(7) More (+10 of total 246)
Authors
Gwénaël Richomme(20) Juhani Karhumäki(18) Patrice Séébold(16) Daniel Reidenbach(14) Tero Harju(13) Lucia Pomello(11) Edita Pelantová(10) Hartmut Ehrig(10) Francis Wlazinski(9) Luca Bernardinello(9) Juha Honkala(8) Vesa Halava(8) Julia Padberg(7) Arto Salomaa(6) Dominik D. Freydenberger(6) Johannes C. Schneider(6) More (+10 of total 834)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 248 occurrences of 196 keywords
Results
Found 721 publication records. Showing 721 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
11Pierre-Louis Curien On the Symmetry of Sequentiality. Search on Bibsonomy MFPS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
11Joseph A. Goguen, Rod M. Burstall Institutions: Abstract Model Theory for Specification and Programming. Search on Bibsonomy J. ACM The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Hartmut Ehrig, Francesco Parisi-Presicce High-Level-Replacement Systems for Equational Algebraic Specifications. Search on Bibsonomy ALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Veikko Keränen Abelian Squares are Avoidable on 4 Letters. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Paul Gastin, Antoine Petit 0001 Asynchronous Cellular Automata for Infinite Traces. Search on Bibsonomy ICALP The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Karel Culík II, Juhani Karhumäki Iterative Devices Generating Infinite Words. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Arend Rensink Posets for Configurations! Search on Bibsonomy CONCUR The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
11Thomas Wilke An Eilenberg Theorem for Infinity-Languages. Search on Bibsonomy ICALP The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
11Valérie Roy, Robert de Simone Auto/Autograph. Search on Bibsonomy CAV The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
11Éric Badouel Algebraic Closed Theories. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
11Pascal Weil On Varieties of Languages Closed Under Products with Counter. Search on Bibsonomy MFCS The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
11Wim H. Hesselink A Mathematical Approach to Nondeterminism in Data Types. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11Paavo Turakainen The Equivalence of DGSM Replications on Q-Rational Languages is Decidable. Search on Bibsonomy ICALP The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
11K. G. Subramanian 0001, Do Long Van, Rani Siromoney On Ambiguity of DTOL Systems. Search on Bibsonomy FSTTCS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
11Francesco Parisi-Presicce Inner and Mutual Compatibility of Basic Operations on Module Specifications. Search on Bibsonomy CAAP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
11Harald Ganzinger, Robert Giegerich Attribute coupled grammars. Search on Bibsonomy SIGPLAN Symposium on Compiler Construction The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
11Michel Leconte K-th power free codes. Search on Bibsonomy Automata on Infinite Words The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
11Franz-Josef Brandenburg A Truely Morphic Characterization of Recursively Enumerable Sets. Search on Bibsonomy MFCS The full citation details ... 1984 DBLP  DOI  BibTeX  RDF
11Karel Culík II On Test Sets and the Ehrenfeucht Conjecture. Search on Bibsonomy ICALP The full citation details ... 1982 DBLP  DOI  BibTeX  RDF
11Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright Parameter Passing in Algebraic Specification Languages. Search on Bibsonomy Program Specification The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
11Kouichi Wada 0001, Kenichi Hagihara, Toshiro Araki, Nobuki Tokura Specification of schedulers with algebraic specification techniques. Search on Bibsonomy Operating Systems Engineering The full citation details ... 1980 DBLP  DOI  BibTeX  RDF
Displaying result #701 - #721 of 721 (100 per page; Change: )
Pages: [<<][1][2][3][4][5][6][7][8]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license