Search results for "morphisms"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Benjamín René Callejas Bedregal, Hélida Salles Santos, Roberto Callejas-Bedregal	T-Norms on Bounded Lattices: t-norm Morphisms and Operators.	FUZZ-IEEE	2006	DBLP DOI BibTeX RDF
17	Dalia Krieger	On Critical Exponents in Fixed Points of Non-erasing Morphisms.	Developments in Language Theory	2006	DBLP DOI BibTeX RDF
17	Daniel Reidenbach	The ambiguity of morphisms in free monoids and its impact on algorithmic properties of pattern languages.	Ausgezeichnete Informatikdissertationen	2006	DBLP BibTeX RDF
17	Vesa Halava, Tero Harju, Michel Latteux	Equality sets of prefix morphisms and regular star languages.	Inf. Process. Lett.	2005	DBLP DOI BibTeX RDF
17	Florence Levé, Gwénaël Richomme	On a conjecture about finite fixed points of morphisms.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
17	Keijo Ruohonen	Explicit test sets for iterated morphisms in free monoids and metabelian groups.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
17	Gundon Choi, Gabjin Yun	Harmonic morphisms and subharmonic functions.	Int. J. Math. Math. Sci.	2005	DBLP DOI BibTeX RDF
17	Gwénaël Richomme, Francis Wlazinski	Existence of finite test-sets for k-power-freeness of uniform morphisms	CoRR	2005	DBLP BibTeX RDF
17	Christian M. Reidys	On certain morphisms of sequential dynamical systems.	Discret. Math.	2005	DBLP DOI BibTeX RDF
17	Jacques Justin	Episturmian morphisms and a Galois theorem on continued fractions.	RAIRO Theor. Informatics Appl.	2005	DBLP DOI BibTeX RDF
17	Dorel Lucanu, Yuan-Fang Li, Jin Song Dong	Institution Morphisms for Relating OWL and Z.	SEKE	2005	DBLP BibTeX RDF
17	Gábor Bodnár	Computing Centers of Blowups for Birational Projective Morphisms of Varieties.	Algorithmic Algebra and Logic	2005	DBLP BibTeX RDF
17	Jean-Paul Allouche, Amir Sapir	Restricted Towers of Hanoi and Morphisms.	Developments in Language Theory	2005	DBLP DOI BibTeX RDF
17	H. L. Bentley, Eva Lowen-Colebunders	Initial Morphisms versus Embeddings.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	subobject, initial morphism, bicoreflective, dense morphism, epireflective, embedding, closure operator, topological construct, factorization structure
17	Amy Glen	Conjugates of characteristic Sturmian words generated by morphisms.	Eur. J. Comb.	2004	DBLP DOI BibTeX RDF
17	Pierre Arnoux, Valérie Berthé, Anne Siegel	Two-dimensional iterated morphisms and discrete planes.	Theor. Comput. Sci.	2004	DBLP DOI BibTeX RDF
17	Ladislav J. Kohout	Theory of Fuzzy Generalized Morphisms and Relational Inequalities.	Int. J. Gen. Syst.	2004	DBLP DOI BibTeX RDF
17	Gwénaël Richomme, Francis Wlazinski	Overlap-free morphisms and finite test-sets.	Discret. Appl. Math.	2004	DBLP DOI BibTeX RDF
17	Gwénaël Richomme, Patrice Séébold	Conjectures And Results On Morphisms Generating K-Power-Free Words.	Int. J. Found. Comput. Sci.	2004	DBLP DOI BibTeX RDF
17	Jacques Justin, Giuseppe Pirillo	Episturmian Words: Shifts, Morphisms And Numeration Systems.	Int. J. Found. Comput. Sci.	2004	DBLP DOI BibTeX RDF
17	Richard Cole 0001, Costas S. Iliopoulos, Thierry Lecroq, Wojciech Plandowski, Wojciech Rytter	On special families of morphisms related to [delta]-matching and don't care symbols.	Inf. Process. Lett.	2003	DBLP DOI BibTeX RDF
17	Sergey Kitaev	There are no Iterated Morphisms that Define the Arshon Sequence and the σ-Sequence.	J. Autom. Lang. Comb.	2003	DBLP DOI BibTeX RDF
17	Gwénaël Richomme	Conjugacy and episturmian morphisms.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	Sabin Cautis, Filippo Mignosi, Jeffrey O. Shallit, Ming-wei Wang, Soroosh Yazdani	Periodicity, morphisms, and matrices.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
17	Masaaki Harada, Vladimir D. Tonchev	Self-orthogonal Codes from Symmetric Designs with Fixed-point-free Auto-morphisms.	Discret. Math.	2003	DBLP DOI BibTeX RDF
17	Alessandro Bichara, Hans Havlicek, Corrado Zanella	On linear morphisms of product spaces.	Discret. Math.	2003	DBLP DOI BibTeX RDF
17	Gwénaël Richomme	Some algorithms to compute the conjugates of Episturmian morphisms.	RAIRO Theor. Informatics Appl.	2003	DBLP DOI BibTeX RDF
17	Boleslaw Mikolajczak, Zuyan Wang	Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets.	IIS	2003	DBLP BibTeX RDF
17	S. T. Stefani	An Algebraic Approach to Categories of Partial Morphisms.	J. Symb. Log.	2002	DBLP DOI BibTeX RDF
17	Patrice Séébold	About some Overlap-Free Morphisms on a n-Letter Alphabet.	J. Autom. Lang. Comb.	2002	DBLP DOI BibTeX RDF
17	Jacques Justin, Giuseppe Pirillo	Episturmian words and episturmian morphisms.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	Jeffrey O. Shallit, Ming-wei Wang	On two-sided infinite fixed points of morphisms.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	Slawomir Lasota 0001	Coalgebra morphisms subsume open maps.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	Gwénaël Richomme, Francis Wlazinski	Some results on k-power-free morphisms.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	Max Dauchet, Sophie Tison, Marc Tommasi	Reduction de la non-linearite des morphismes d'arbres Recognizable tree-languages and non-linear morphisms.	Theor. Comput. Sci.	2002	DBLP DOI BibTeX RDF
17	Aymeric Perchant, Isabelle Bloch	Fuzzy morphisms between graphs.	Fuzzy Sets Syst.	2002	DBLP DOI BibTeX RDF
17	Robert Jajcay, Jozef Sirán	Skew-morphisms of regular Cayley maps.	Discret. Math.	2002	DBLP DOI BibTeX RDF
17	Achim D. Brucker, Burkhart Wolff	Using Theory Morphisms for Implementing Formal Methods Tools.	TYPES	2002	DBLP DOI BibTeX RDF	Shallow Embeddings, Formal Methods, Theorem Proving, OCL, Formal Semantics
17	Helmut Jürgensen, Lila Kari, Gabriel Thierrin	Morphisms preserving densities.	Int. J. Comput. Math.	2001	DBLP DOI BibTeX RDF
17	Paavo Turakainen	Injectivity of the Quotient h\g of two Morphisms and Ambiguity of Linear Grammars.	J. Autom. Lang. Comb.	2001	DBLP DOI BibTeX RDF
17	Eunjin Kim, Ladislav J. Kohout	Generalized morphisms, a new tool for comparative evaluation of performance of fuzzy implications, t-norms and co-norms in relational knowledge elicitation.	Fuzzy Sets Syst.	2001	DBLP DOI BibTeX RDF
17	Francis Wlazinski	A test-set for k-power-free binary morphisms.	RAIRO Theor. Informatics Appl.	2001	DBLP DOI BibTeX RDF
17	Marek A. Bednarczyk, Andrzej M. Borzyszkowski	On Concurrent Realization of Reactive Systems and Their Morphisms.	Unifying Petri Nets	2001	DBLP DOI BibTeX RDF
17	Arto Salomaa	Iterated Morphisms with Complementarity on the DNA Alphabet.	Words, Semigroups, and Transductions	2001	DBLP BibTeX RDF
17	Simon Peter Nee	Behavioural morphisms in virtual environments.		2001	RDF
17	Vesa Halava, Tero Harju, Mika Hirvensalo	Generalized Post Correspondence Problem for Marked Morphisms.	Int. J. Algebra Comput.	2000	DBLP DOI BibTeX RDF
17	Leonardo Cangelmi, Paola Cellini	Algebraic Hypermap Morphisms.	Eur. J. Comb.	2000	DBLP DOI BibTeX RDF
17	Arnaud Maes	More on morphisms and almost-periodicity.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	Yuji Kobayashi, Friedrich Otto	Repetitiveness of languages generated by morphisms.	Theor. Comput. Sci.	2000	DBLP DOI BibTeX RDF
17	Lawrence H. Harper	Morphisms for the Maximum Weight Ideal Problem.	J. Comb. Theory, Ser. A	2000	DBLP DOI BibTeX RDF
17	Francisco Casacuberta	Inference of Finite-State Transducers by Using Regular Grammars and Morphisms.	ICGI	2000	DBLP DOI BibTeX RDF
17	Paavo Turakainen	On the Decidability of Some Problems Concerning Morphisms, Regular Sets, and Post Correspondence Problem.	Fundam. Informaticae	1999	DBLP DOI BibTeX RDF
17	Slawomir Lasota 0001	Coalgebra morphisms subsume open maps.	CMCS	1999	DBLP DOI BibTeX RDF
17	Adam Eppendahl	Coalgebra-to-Algebra Morphisms.	CTCS	1999	DBLP DOI BibTeX RDF
17	Wai-Fong Chuan	Sturmian Morphisms and alpha-Words.	Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
17	Paavo Turakainen	Injectivity of the Quotient h\g of Two Morphisms and Ambiguity of Linear Grammars.	Bull. EATCS	1999	DBLP BibTeX RDF
17	Gwénaël Richomme, Patrice Séébold	Characterization of Test-sets for Overlap-free Morphisms.	Discret. Appl. Math.	1999	DBLP DOI BibTeX RDF
17	Jian-Gang Tang	Invertibility of morphisms in the category of L-fuzzy left R-modules.	Fuzzy Sets Syst.	1999	DBLP DOI BibTeX RDF
17	Richard Statman, Henk Barendregt	Applications of Plotkin-Terms: Partitions and Morphisms for Closed Terms.	J. Funct. Program.	1999	DBLP DOI BibTeX RDF
17	Rocco De Nicola, Anna Labella	Tree Morphisms and Bisimulations.	MFCS Workshop on Concurrency	1998	DBLP DOI BibTeX RDF
17	Razvan Diaconescu	Extra Theory Morphisms for Institutions: Logical Semantics for Multi-Paradigm Languages.	Appl. Categorical Struct.	1998	DBLP DOI BibTeX RDF
17	Patrice Séébold	On the Conjugation of Standard Morphisms.	Theor. Comput. Sci.	1998	DBLP DOI BibTeX RDF
17	Arnaud Maes	Morphisms and Almost-periodicity.	Discret. Appl. Math.	1998	DBLP DOI BibTeX RDF
17	Waldemar Korczyniski	On a presentation of Petri nets and their morphisms.	RelMiCS	1998	DBLP BibTeX RDF
17	Arnaud Maes	More on Morphisms and Almost-Periodicity.	MCU (2)	1998	DBLP BibTeX RDF
17	Lex Augusteijn	Sorting Morphisms.	Advanced Functional Programming	1998	DBLP DOI BibTeX RDF
17	Tero Harju, Juhani Karhumäki	Morphisms.	Handbook of Formal Languages (1)	1997	DBLP DOI BibTeX RDF
17	Victor Mitrana	Primitive Morphisms.	Inf. Process. Lett.	1997	DBLP DOI BibTeX RDF
17	Julien Cassaigne, Juhani Karhumäki	Toeplitz Words, Generalized Periodicity and Periodically Iterated Morphisms.	Eur. J. Comb.	1997	DBLP DOI BibTeX RDF
17	Stéphan Thomassé	Indivisibility and Alpha-morphisms.	Eur. J. Comb.	1997	DBLP DOI BibTeX RDF
17	Aldo de Luca	Standard Sturmian Morphisms.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Serafino Cicerone, Francesco Parisi-Presicce	On the Complexity of Specification Morphisms.	Theor. Comput. Sci.	1997	DBLP DOI BibTeX RDF
17	Victor Mitrana	Some Remarks on Morphisms and Primitivity.	Bull. EATCS	1997	DBLP BibTeX RDF
17	Gheorghe Paun, Gabriel Thierrin	Morphisms and Primitivity.	Bull. EATCS	1997	DBLP BibTeX RDF
17	Virgil Emil Cazanescu	The Structure of the Basic Morphisms.	New Trends in Formal Languages	1997	DBLP DOI BibTeX RDF
17	Anna E. Frid	The Subword Complexity of Fixed Points of Binary Uniform Morphisms.	FCT	1997	DBLP DOI BibTeX RDF
17	Yuji Kobayashi, Friedrich Otto, Patrice Séébold	A Complete Characterization of Repetitive Morphisms over the Two-Letter Alphabet.	COCOON	1997	DBLP DOI BibTeX RDF
17	Philippe Narbel	The boundary of Iterated Morphisms on Free Semi-Groups.	Int. J. Algebra Comput.	1996	DBLP DOI BibTeX RDF
17	Werner Kuich	Representations and Complete Semiring Morphisms.	Inf. Process. Lett.	1995	DBLP DOI BibTeX RDF
17	Maria Manuel Clementino	Constant morphisms and constant subcategories.	Appl. Categorical Struct.	1995	DBLP DOI BibTeX RDF
17	Akira Kanda	Acceptable Numerations of Morphisms and Myhill-Shepherdson Property.	Math. Log. Q.	1995	DBLP DOI BibTeX RDF
17	Lila Kari, Gabriel Thierrin	Morphisms and Associated Congruences.	Developments in Language Theory	1995	DBLP BibTeX RDF
17	Julien Cassaigne, Juhani Karhumäki	Toeplitz Words, Generalized Periodicity and Periodically Iterated Morphisms (Extended Abstract).	COCOON	1995	DBLP DOI BibTeX RDF
17	Arturo Carpi	On Abelian Power-Free Morphisms.	Int. J. Algebra Comput.	1993	DBLP DOI BibTeX RDF
17	Kai Salomaa, Sheng Yu 0001	Morphisms and rational tranducers.	Bull. EATCS	1993	DBLP BibTeX RDF
17	Tero Harju, H. C. M. Kleijn	Morphisms and rational tranducers.	Bull. EATCS	1993	DBLP BibTeX RDF
17	Jean Berstel, Patrice Séébold	A Characterization of Overlap-Free Morphisms.	Discret. Appl. Math.	1993	DBLP DOI BibTeX RDF
17	Douglas R. Smith	Constructing Specification Morphisms.	J. Symb. Comput.	1993	DBLP DOI BibTeX RDF
17	Yasuo Kawahara, Yoshihiro Mizoguchi	Relational Structures and Their Partial Morphisms in View of Single Pushout Rewriting.	Dagstuhl Seminar on Graph Transformations in Computer Science	1993	DBLP DOI BibTeX RDF
17	Jirí Matousek 0001, Robin Thomas 0001	On the complexity of finding iso- and other morphisms for partial k-trees.	Discret. Math.	1992	DBLP DOI BibTeX RDF
17	Do Long Van, Bertrand Le Saëc, Igor Litovsky	On coding morphisms for zigzag codes.	RAIRO Theor. Informatics Appl.	1992	DBLP DOI BibTeX RDF
17	C. T. P. Burton	Program Morphisms.	Formal Aspects Comput.	1992	DBLP BibTeX RDF
17	Carsten Damm, Markus Holzer 0001, Klaus-Jörn Lange	Parallel Complexity of Iterated Morphisms and the Arithmetic of Small Numbers.	MFCS	1992	DBLP DOI BibTeX RDF
17	Ralph Tindell	Covering Morphisms and Unique Minimal D-Schemes.	Acta Cybern.	1991	DBLP BibTeX RDF
17	Patrice Séébold	Fibonacci Morphisms and Sturmian Words.	Theor. Comput. Sci.	1991	DBLP DOI BibTeX RDF
17	Hartmut Ehrig, Michael Baldamus, Fernando Orejas	Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms.	Bull. EATCS	1991	DBLP BibTeX RDF
17	W. Forys	On equality sets of morphisms in topological free monoids.	RAIRO Theor. Informatics Appl.	1991	DBLP DOI BibTeX RDF
17	Cheng-Jye Luh, Bernard P. Zeigler	Abstraction morphisms for world modelling in high autonomy systems.	WSC	1991	DBLP DOI BibTeX RDF
17	Ricardo Caferra, Stéphane Demri, Michel Herment	Logic Morphisms as a Framework for Backward Transfer of Lemmas and Strategies in Some Modal and Epistemic Logics.	AAAI	1991	DBLP BibTeX RDF
17	Andrzej Ehrenfeucht, Grzegorz Rozenberg	Theory of 2-Structures, Part I: Clans, Basic Subclasses, and Morphisms.	Theor. Comput. Sci.	1990	DBLP DOI BibTeX RDF