Search results for "Monoid"

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