The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

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

Publication years (Num. hits)
1967-1982 (18) 1983-1987 (20) 1988-1990 (16) 1991-1993 (19) 1994-1995 (24) 1996-1997 (25) 1998-1999 (23) 2000 (17) 2001 (22) 2002 (18) 2003 (17) 2004 (25) 2005 (16) 2006 (22) 2007 (29) 2008 (28) 2009 (22) 2010-2011 (20) 2012-2013 (17) 2014-2015 (16) 2016-2018 (18) 2019-2020 (23) 2021-2022 (25) 2023-2024 (13)
Publication types (Num. hits)
article(251) incollection(1) inproceedings(240) phdthesis(1)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 158 occurrences of 123 keywords

Results
Found 493 publication records. Showing 493 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
89Shin-ya Katsumata, Susumu Nishimura Algebraic fusion of functions with an accumulating parameter and its improvement. Search on Bibsonomy ICFP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF accumulating parameter, data contexts, higher-order removal, monoids and monoid homomorphisms, partial and infinite data structures, shortcut fusion
89Beihong Jin Translating Object Query Language. Search on Bibsonomy TOOLS (31) The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Object query language, Monoid comprehension, Object database
77Markus Holzer 0001, Barbara König 0001 On Deterministic Finite Automata and Syntactic Monoid Size. Search on Bibsonomy Developments in Language Theory The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
69Dietrich Kuske Divisibility Monoids: Presentation, Word Problem, and Rational Languages. Search on Bibsonomy FCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
69Barry K. Rosen Monoids for Rapid Data Flow Analysis. Search on Bibsonomy POPL The full citation details ... 1978 DBLP  DOI  BibTeX  RDF
61Jirí Rachunek, Dana Salounová A Generalization of Local Fuzzy Structures. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Rl-monoid, Local Rl-monoid, Perfect Rl-monoid, Pseudo MV-algebra, Pseudo BL-algebra
57Cristopher Moore, Pascal Tesson, Denis Thérien Satisfiability of Systems of Equations over Finite Monoids. Search on Bibsonomy MFCS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
55Hajime Machida, Masahiro Miyakawa, Ivo G. Rosenberg Some Results on the Centralizers of Monoids in Clone Theory. Search on Bibsonomy ISMVL The full citation details ... 2002 DBLP  DOI  BibTeX  RDF Clone, centralizer, monoid
54Juhani Karhumäki A Note on Intersections of Free Submonoids of a Free Monoid. Search on Bibsonomy ICALP The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
51Valdis Laan On Descent Theory for Monoid Actions. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF descent morphism, effective descent morphism, monoid action
51Birgit Reinert, Dirk Zeckzer MRC - Data Structures and Procedures for Computing in Monoid and Group Rings. Search on Bibsonomy Appl. Algebra Eng. Commun. Comput. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF Gröbner bases, Monoid rings, Group rings, Prefix reduction, Data structures
50José Carlos Rosales, Pedro A. García-Sánchez, Juan Ignacio García-García How to check if a finitely generated commutative monoid is a principal ideal commutative monoid. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
46Heng Guo 0001, Hanpin Wang, Zhongyuan Xu, Yongzhi Cao On Model Checking Boolean BI. Search on Bibsonomy CSL The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
46Danièle Beauquier, Andreas Podelski Rabin Tree Automata and Finite Monoids. Search on Bibsonomy MFCS The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
43Christian Delhommé, Teodor Knapik, D. Gnanaraj Thomas Using Transitive-Closure Logic for Deciding Linear Properties of Monoids. Search on Bibsonomy MFCS The full citation details ... 2003 DBLP  DOI  BibTeX  RDF monoid presentations, transitive closure logic, string rewriting
43Géraud Sénizergues On the Termination Problem for One-Rule Semi-Thue System. Search on Bibsonomy RTA The full citation details ... 1996 DBLP  DOI  BibTeX  RDF rational monoid, automatic structure, termination, finite automata, semi-Thue systems
42Markus Holzer 0001, Barbara König 0001 On Deterministic Finite Automata and Syntactic Monoid Size, Continued. Search on Bibsonomy Developments in Language Theory The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
42Julia Padberg, Hartmut Ehrig, Grzegorz Rozenberg Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs. Search on Bibsonomy Unifying Petri Nets The full citation details ... 2001 DBLP  DOI  BibTeX  RDF place/transition nets, elementary nets, uniform approach, realization problem, category theory
40Annika M. Wille The Variety of Lattice-Ordered Monoids Generated by the Natural Numbers. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Lattice-ordered monoid, cancellative monoid, ultraproduct, variety
40Li Sheng, Yongming Li 0001 Regular grammars with truth values in lattice-ordered monoid and their languages. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fuzzy finite automata, Fuzzy regular grammar, Fuzzy regular language, Lattice-ordered monoid
39Jens Hemelaer, Morgan Rogers Monoid Properties as Invariants of Toposes of Monoid Actions. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
39Nikita V. Kitov, Mikhail V. Volkov 0001 Identities of the Kauffman Monoid K4 and of the Jones Monoid J4. Search on Bibsonomy Fields of Logic and Computation III The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
39Nikita V. Kitov, Mikhail V. Volkov 0001 Identities of the Kauffman Monoid K4 and of the Jones monoid J4. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
39Friedrich Otto On Deciding Whether a Monoid is a Free Monoid or is a Group. Search on Bibsonomy Acta Informatica The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
34Alberto Bertoni, Christian Choffrut, Roberto Radicioni The Inclusion Problem of Context-Free Languages: Some Tractable Cases. Search on Bibsonomy Developments in Language Theory The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
34Elaine Render, Mark Kambites Polycyclic and Bicyclic Valence Automata. Search on Bibsonomy LATA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
34Markus Lohrey, Nicole Ondrusch Inverse Monoids: Decidability and Complexity of Algebraic Questions. Search on Bibsonomy MFCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
34Makoto Hamana Free S-Monoids: A Higher-Order Syntax with Metavariables. Search on Bibsonomy APLAS The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Markus Lohrey Decidability and Complexity in Automatic Monoids. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
34Jiri Mockor Semigroup homomorphisms and fuzzy automata. Search on Bibsonomy Soft Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
34Ricard Gavaldà, Denis Thérien Learning Expressions over Monoids. Search on Bibsonomy STACS The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Tony Griffiths, Alvaro A. A. Fernandes, Nassima Djafri, Norman W. Paton A Query Calculus for Spatio-Temporal Object Databases. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
34Leonidas Fegaras, David Maier 0001 Optimizing object queries using an effective calculus. Search on Bibsonomy ACM Trans. Database Syst. The full citation details ... 2000 DBLP  DOI  BibTeX  RDF query decorrelation, query optimization, object-oriented databases, nested relations
34Pierre-Cyrille Héam Automata for Pro-V Topologies. Search on Bibsonomy CIAA The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
34Géraud Sénizergues The Equivalence Problem for Deterministic Pushdown Transducers into Abelian Groups. Search on Bibsonomy MFCS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
34Richard Statman On Cartesian Monoids. Search on Bibsonomy CSL The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
34Leonidas Fegaras, David Maier 0001 Towards an Effective Calculus for Object Query Languages. Search on Bibsonomy SIGMOD Conference The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
34Maryse Pelletier Boolean Closure and Unambiguity of Rational Sets. Search on Bibsonomy ICALP The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
32Guy L. Steele Jr. Organizing functional code for parallel execution or, foldl and foldr considered slightly harmful. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF associative operator, conjugate transform, tree, reduction, monoid
32Yongming Li 0001, Witold Pedrycz The equivalence between fuzzy Mealy and fuzzy Moore machines. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF Fuzzy Mealy machine, Fuzzy Moore machine, Fuzzy sequential-like machine, Lattice-ordered monoid, Equivalence
32Christian Choffrut Rational Relations as Rational Series. Search on Bibsonomy Theory Is Forever The full citation details ... 2004 DBLP  DOI  BibTeX  RDF free monoid, rational relation, rational series
32Hajime Machida, Ivo G. Rosenberg Monoids whose Centralizer is the Least Clone. Search on Bibsonomy ISMVL The full citation details ... 2004 DBLP  DOI  BibTeX  RDF Clone, centralizer, monoid
32Hajime Machida, Ivo G. Rosenberg On the Centralizers of Monoids in Clone Theory. Search on Bibsonomy ISMVL The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Clone, centralizer, monoid
32Sophie Coudert, Pascale Le Gall A Reuse-Oriented Framework for Hierarchical Specifications. Search on Bibsonomy AMAST The full citation details ... 2000 DBLP  DOI  BibTeX  RDF formal structured specification, structured inference, typed equational logic, language theory, reuse, proof system, monoid
31Bruno Vallette Free Monoid in Monoidal Abelian Categories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Mathematics Subject Classification (2000) 18D10
31Christian Choffrut, Juhani Karhumäki Unique Decipherability in the Monoid of Languages: An Application of Rational Relations. Search on Bibsonomy CSR The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Unique decipherability, finite automata, regular languages
31Lila Kari, Kalpana Mahalingam, Gabriel Thierrin The syntactic monoid of hairpin-free languages. Search on Bibsonomy Acta Informatica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Andrea Sattler-Klein Some Complexity Results for Prefix Gröbner Bases in Free Monoid Rings. Search on Bibsonomy FCT The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
31Andrea Sattler-Klein An Exponential Lower Bound for Prefix Gröbner Bases in Free Monoid Rings. Search on Bibsonomy STACS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Gröbner bases, algorithms, computational complexity, rewriting
31Joachim Lambek, Philip J. Scott An Exactification of the Monoid of Primitive Recursive Functions. Search on Bibsonomy Stud Logica The full citation details ... 2005 DBLP  DOI  BibTeX  RDF primitive recursive function, regular and exact category, idempotent splitting completion, relation calculus, pers
31Jean Néraud Completing a Code in a Regular Submonoid of the Free Monoid. Search on Bibsonomy MCU The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Bryan Krawetz, John Lawrence, Jeffrey O. Shallit State Complexity and the Monoid of Transformations of a Finite Set. Search on Bibsonomy CIAA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
31Birgit Reinert Solving systems of linear one-sided equations in integer monoid and group rings. Search on Bibsonomy ISSAC The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Jirí Adámek, Stefan Milius, Jirí Velebil Semantics of Higher-Order Recursion Schemes. Search on Bibsonomy CALCO The full citation details ... 2009 DBLP  DOI  BibTeX  RDF infinite ?-terms, sets in context, rational tree, Higher-order recursion schemes
23Avraham Trakhtman Some Aspects of Synchronization of DFA. Search on Bibsonomy J. Comput. Sci. Technol. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF deterministic finite automata (DFA), aperiodic semigroup, ?erný conjecture, synchronization
23Ralph L. Wojtowicz On Transformations between Belief Spaces. Search on Bibsonomy SMPS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Belief state, Voorbraak map, pignistic transformation, absolute continuity, category, adjoint
23Paolo Aglianò, Isabel M. A. Ferreirim, Franco Montagna Basic Hoops: an Algebraic Study of Continuous t -norms. Search on Bibsonomy Stud Logica The full citation details ... 2007 DBLP  DOI  BibTeX  RDF basic hoops, continuous t-norms, subreducts of BL-algebras
23Ondrej Klíma 0001, Pascal Tesson, Denis Thérien Dichotomies in the Complexity of Solving Systems of Equations over Finite Semigroups. Search on Bibsonomy Theory Comput. Syst. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Shi-Hui Pei, Yong-Zhe Zhao, Hong-Wei Zhao Construct Public Key Encryption Scheme Using Ergodic Matrices over GF(2). Search on Bibsonomy TAMC The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Jürgen Dassow, Bianca Truthe On the Power of Networks of Evolutionary Processors. Search on Bibsonomy MCU The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Volker Diekert, Manfred Kufleitner On First-Order Fragments for Words and Mazurkiewicz Traces. Search on Bibsonomy Developments in Language Theory The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Lucien Haddad, Hajime Machida, Ivo G. Rosenberg Monoidal Intervals of Partial Clones. Search on Bibsonomy ISMVL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
23Paola Bonizzoni, Giancarlo Mauri A Decision Procedure for Reflexive Regular Splicing Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Piotr Hoffman Unions of Equational Monadic Theories. Search on Bibsonomy RTA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
23Éric Badouel, Jules Chenou, Goulven Guillou Petri Algebras. Search on Bibsonomy ICALP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Hajime Machida, Ivo G. Rosenberg Centralizers of Monoids Containing the Symmetric Group. Search on Bibsonomy ISMVL The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Markus Lohrey Word Problems on Compressed Words. Search on Bibsonomy ICALP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Andreas Maletti Relating Tree Series Transducers and Weighted Tree Automata. Search on Bibsonomy Developments in Language Theory The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
23Nick D. Gilbert Flows on Regular Semigroups. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF groupoid, regular, flow, semigroup
23Thomas Schwentick, Denis Thérien, Heribert Vollmer Partially-Ordered Two-Way Automata: A New Characterization of DA. Search on Bibsonomy Developments in Language Theory The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
23Olga Sokratova Linear Automata and Recognizable Subsets in Free Semirings. Search on Bibsonomy FCT The full citation details ... 2001 DBLP  DOI  BibTeX  RDF dynamical (linear) system, recognizable set, semiring
23David A. Mix Barrington, Pierre McKenzie, Cristopher Moore, Pascal Tesson, Denis Thérien Equation Satisfiability and Program Satisfiability for Finite Monoids. Search on Bibsonomy MFCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
23Samin S. Ishtiaq, David J. Pym Kripke Resource Models of a Dependently-Typed, Bunched lambda-Calculus. Search on Bibsonomy CSL The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Friedrich Otto On S-Regular Prefix-Rewriting Systems and Automatic Structures. Search on Bibsonomy COCOON The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
23Leonidas Fegaras Query Unnesting in Object-Oriented Databases. Search on Bibsonomy SIGMOD Conference The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Friedrich Otto, Andrea Sattler-Klein, Klaus Madlener Automatic Monoids Versus Monoids with Finite Convergent Presentations. Search on Bibsonomy RTA The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
23Andrea Sattler-Klein New Undecidablility Results for Finitely Presented Monoids. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Friedrich Otto, Masashi Katsura, Yuji Kobayashi Cross-Sections for Finitely Presented Monoids with Decidable Word Problems. Search on Bibsonomy RTA The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Mohamad Afshar, J. Bates, Gavin M. Bierman, K. Moody A New General Purpose Parallel Database System. Search on Bibsonomy ISPAN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
23Manfred Droste, Dietrich Kuske Languages and Logical Definability in Concurrency Monoids. Search on Bibsonomy CSL The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
23Yves Métivier, Gwénaël Richomme On the Star Operation and the Finite Power Property in Free Partially Commutative Monoids (Extended Abstract). Search on Bibsonomy STACS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF trace monoids, finite power property, recognizability
23Ewa Orlowska Two Logical Dimensions. Search on Bibsonomy JELIA The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
23Thomas Deiß Conditional Seme-Thue Systems for Presenting Monoids. Search on Bibsonomy STACS The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
23Paul Gastin Infinite Traces. Search on Bibsonomy Semantics of Systems of Concurrent Processes The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Maryse Pelletier Monoids Described by Pushdown Automata. Search on Bibsonomy IMYCS The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
23Volker Diekert Some Remarks on Presentations by Finite Church-Rosser Thue Systems. Search on Bibsonomy STACS The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
23Christian Choffrut, Marcel Paul Schützenberger Counting with Rational Functions. Search on Bibsonomy ICALP The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
23Jacques Sakarovitch Kleene's theorem revisited. Search on Bibsonomy IMYCS The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
23Christian Choffrut Prefix-Preservation fo Rational Partial Functions Is Decidable. Search on Bibsonomy Theoretical Computer Science The full citation details ... 1981 DBLP  DOI  BibTeX  RDF
23Jacques Sakarovitch An Algebraic Framework for the Study of the Syntactic Monoids Application to the Group Languages. Search on Bibsonomy MFCS The full citation details ... 1976 DBLP  DOI  BibTeX  RDF
20Hajime Machida, Ivo G. Rosenberg Endoprimal Monoids and Witness Lemma in Clone Theory. Search on Bibsonomy ISMVL The full citation details ... 2010 DBLP  DOI  BibTeX  RDF endoprimal monoid, clone, centralizer
20Mark Hopkins The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
20Ondrej Klíma 0001, Libor Polák Hierarchies of Piecewise Testable Languages. Search on Bibsonomy Developments in Language Theory The full citation details ... 2008 DBLP  DOI  BibTeX  RDF varieties of languages, piecewise testable languages, syntactic monoid
20Alexandru Mihai Bica Algebraic structures for fuzzy numbers from categorial point of view. Search on Bibsonomy Soft Comput. The full citation details ... 2007 DBLP  DOI  BibTeX  RDF Commutative monoid, Involutive automorphism, Fuzzy numbers
20Barbara Klunder Finite Automata Accepting Star-Connected Languages. Search on Bibsonomy CIAA The full citation details ... 2007 DBLP  DOI  BibTeX  RDF trace monoid, star-connected language, finite automaton
20Václav Koubek, Jirí Sichler On relative universality and Q-universality. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF distributive double p-algebra, Q-universality, relative universality, endomorphism monoid, variety, quasivariety
20Bjarni Jónsson, Constantine Tsinakis Products of Classes of Residuated Structures. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF residuated po-monoid, semi-direct product, wreath product, partially ordered group, residuated lattice, lattice-ordered group, direct product
20Jirí Adámek, Stefan Milius, Jirí Velebil Some Remarks on Finitary and Iterative Monads. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF Kleisli triple, monad, monoid
20Ross Street Functorial Calculus in Monoidal Bicategories. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF enriched category, dinatural transformation, Gray monoid, dual
20Jobst Heitzig Many Familiar Categories can be Interpreted as Categories of Generalized Metric Spaces. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF partially ordered monoid, quasi-uniformity, distance function, field, measurable space
Displaying result #1 - #100 of 493 (100 per page; Change: )
Pages: [1][2][3][4][5][>>]
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