Search results for "semimodules"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
78	Feng Feng 0003, Young Bae Jun	Inductive semimodules and the vector modules over them.	Soft Comput.	2009	DBLP DOI BibTeX RDF	Semimodule, Inductive *-semiring, Kleene module, Inductive semimodule, Linear inequation system, Semiring, Kleene algebra
72	Helmut Röhrl	Completeness and Cocompleteness of RSmod1 N.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	prenormed semimodule, N-summation, cocomplete, free objects, complete
57	Jay Fillmore, D. Pumplün, Helmut Röhrl	On N-Summations, I.	Appl. Categorical Struct.	2002	DBLP DOI BibTeX RDF	semimodules, N-summation, summarily bounded, Cauchy element, semirings
48	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Towards a Generalisation of Formal Concept Analysis for Data Mining Purposes.	ICFCA	2006	DBLP DOI BibTeX RDF
33	Helmut Röhrl	On N-Summations, II.	Appl. Categorical Struct.	2005	DBLP DOI BibTeX RDF	semimodules, N-summation, unconditionally summable, semirings
30	Alejandro Díaz-Caro, Octavio Malherbe	Semimodules and the (syntactically-)linear lambda calculus.	CoRR	2022	DBLP DOI BibTeX RDF
30	Simin Saidi Goraghani, Rajab Ali Borzooei, Sun Shin Ahn	New definition of MV-semimodules.	J. Intell. Fuzzy Syst.	2021	DBLP DOI BibTeX RDF
30	Filippo Bonchi, Alessio Santamaria	Combining Semilattices and Semimodules.	FoSSaCS	2021	DBLP DOI BibTeX RDF
30	Filippo Bonchi, Alessio Santamaria	Combining Semilattices and Semimodules.	CoRR	2020	DBLP BibTeX RDF
30	Ruiqi Bai, Yichuan Yang	Structure and representation of semimodules over inclines.	Ann. Pure Appl. Log.	2020	DBLP DOI BibTeX RDF
30	Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas	Kleene Algebras and Semimodules for Energy Problems.	CoRR	2013	DBLP BibTeX RDF
30	Zoltán Ésik, Uli Fahrenberg, Axel Legay, Karin Quaas	Kleene Algebras and Semimodules for Energy Problems.	ATVA	2013	DBLP DOI BibTeX RDF
30	Oleh R. Nykyforchyn	Adjoints and Monads Related to Compact Lattices and Compact Lawson Idempotent Semimodules.	Order	2012	DBLP DOI BibTeX RDF
30	Oleh R. Nykyforchyn, Dusan Repovs	L-fuzzy strongest postcondition predicate transformers as L-idempotent linear or affine operators between semimodules of monotonic predicates.	Fuzzy Sets Syst.	2012	DBLP DOI BibTeX RDF
30	Bartosz M. Jablonski, Anna B. Romanowska	On Mode Reducts of Semimodules.	Int. J. Algebra Comput.	2011	DBLP DOI BibTeX RDF
30	Yong He, Yu Liu, Kejie Wang	Semimodules and semirings admitting a maximal factorization.	Int. J. Comput. Math.	2010	DBLP DOI BibTeX RDF
30	Agata Pilitowska, Anna B. Romanowska, David Stanovský	Varieties of Differential Modes Embeddable into Semimodules.	Int. J. Algebra Comput.	2009	DBLP DOI BibTeX RDF
30	Michal M. Stronkowski	Embedding Entropic Algebras into Semimodules and Modules.	Int. J. Algebra Comput.	2009	DBLP DOI BibTeX RDF
30	M. Zayed	An Application of Model Theory to Semimodules.	Log. J. IGPL	2008	DBLP DOI BibTeX RDF
30	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Galois Connections Between Semimodules and Applications in Data Mining.	ICFCA	2007	DBLP DOI BibTeX RDF
30	Francisco J. Valverde-Albacete, Carmen Peláez-Moreno	Further Galois Connections between Semimodules over Idempotent Semirings.	CLA	2007	DBLP BibTeX RDF
30	Ying Shang, Michael K. Sain	On zero semimodules of systems over semirings with applications to queueing systems.	ACC	2005	DBLP DOI BibTeX RDF
30	Stéphane Gaubert, Ricardo Katz	Rational semimodules over the max-plus semiring and geometric approach to discrete event systems.	Kybernetika	2004	DBLP BibTeX RDF
30	Huda Mohammed J. Al-Thani	Flat semimodules.	Int. J. Math. Math. Sci.	2004	DBLP DOI BibTeX RDF
30	Hans Leiß	Kleenean semimodules and linear languages.	FICS	2002	DBLP BibTeX RDF
30	Yehoshafat Give'on	Categories of Semimodules: The Categorical Structural Properties of Transition Systems.	Math. Syst. Theory	1967	DBLP DOI BibTeX RDF
24	Radu Grosu	Finite Automata as Time-Inv Linear Systems Observability, Reachability and More.	HSCC	2009	DBLP DOI BibTeX RDF
24	James Worthington	A Bialgebraic Approach to Automata and Formal Language Theory.	LFCS	2009	DBLP DOI BibTeX RDF
24	Marianne Akian, Stephane Gaubert, Asma Lakhoua	Convergence analysis of the Max-Plus Finite Element Method for Solving Deterministic Optimal Control Problems.	CDC	2008	DBLP DOI BibTeX RDF