Search results for "Bl-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Jyrki T. Lahtonen, Nadya Markin, Gary McGuire	Construction of Multiblock Space-Time Codes From Division Algebras With Roots of Unity as Nonnorm Elements.	IEEE Trans. Inf. Theory	2008	DBLP DOI BibTeX RDF
17	Grzegorz Dymek	Fuzzy prime ideals of pseudo- MV algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 06D35
17	Stefan Cernák	Convergence with a fixed regulator in lattice ordered groups and applications to MV-algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Regulator of a convergence, Dedekind completion, Cauchy completion, MV-algebra, Lattice ordered group
17	Michiro Kondo, Wieslaw A. Dudek	Filter theory of BL algebras.	Soft Comput.	2008	DBLP DOI BibTeX RDF	(Positive) implicative filter, Fantastic filter, BL algebra, Boolean filter
17	Hitoshi Furusawa, Norihiro Tsumagari, Koki Nishizawa	A Non-probabilistic Relational Model of Probabilistic Kleene Algebras.	RelMiCS	2008	DBLP DOI BibTeX RDF
17	Yasuo Kawahara	Boolean Algebras and Stone Maps in Schröder Categories.	RelMiCS	2008	DBLP DOI BibTeX RDF
17	José Vander Meulen, Charles Pecheur	Efficient Symbolic Model Checking for Process Algebras.	FMICS	2008	DBLP DOI BibTeX RDF
17	Federica Ciocchetta, Jane Hillston	Process Algebras in Systems Biology.	SFM	2008	DBLP DOI BibTeX RDF
17	Xueling Ma, Jianming Zhan 0001, Yang Xu 0001	On Generalized Fuzzy Filters of MTL-Algebras.	FSKD (1)	2008	DBLP DOI BibTeX RDF
17	Feng-xiao Wang, Lu Chen	On (Alpha, Beta) Fuzzy Subalgebras of BCH-Algebras.	FSKD (3)	2008	DBLP DOI BibTeX RDF
17	Xue-fang Wang, Peishun Liu	A Method for Constructing Lattice Implication Algebras on the Interval [0, 1].	FSKD (1)	2008	DBLP DOI BibTeX RDF
17	Mai Gehrke, Hilary A. Priestley	Duality for Double Quasioperator Algebras via their Canonical Extensions.	Stud Logica	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) primary 06D50, secondary 06A23, 18A99, 06D35
17	Ján Herchl, Danica Jakubíková-Studenovská	Globals of unary algebras.	Soft Comput.	2007	DBLP DOI BibTeX RDF	Unary algebra, Monounary algebra, Global
17	Vilém Novák	EQ-Algebras in Progress.	IFSA (2)	2007	DBLP DOI BibTeX RDF	fuzzy type theory, higher-order fuzzy logic, fuzzy logic, Residuated lattice, fuzzy equality
17	Michael Wachter 0001, Rolf Haenni, Marc Pouly	Optimizing Inference in Bayesian Networks and Semiring Valuation Algebras.	MICAI	2007	DBLP DOI BibTeX RDF
17	Grégory Berhuy, Frédérique E. Oggier	Space-Time Codes from Crossed Product Algebras of Degree 4.	AAECC	2007	DBLP DOI BibTeX RDF
17	A. Zarandi Baghini, Arsham Borumand Saeid	Generalized Fuzzy B-Algebras.	ICFIE	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classification 03G25, 03B05, 06F35, 03B52
17	Allan Clark, Stephen Gilmore, Jane Hillston, Mirco Tribastone	Stochastic Process Algebras.	SFM	2007	DBLP DOI BibTeX RDF
17	Michael O'Connor	Embeddings into Free Heyting Algebras and Translations into Intuitionistic Propositional Logic.	LFCS	2007	DBLP DOI BibTeX RDF
17	Nick Bezhanishvili, Alexander Kurz 0001	Free Modal Algebras: A Coalgebraic Perspective.	CALCO	2007	DBLP DOI BibTeX RDF
17	Manuel Abad, J. Patricio Díaz Varela	Representation of Cubic Lattices by Symmetric Implication Algebras.	Order	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B15, 08B26
17	Ander Murua	The Hopf Algebra of Rooted Trees, Free Lie Algebras, and Lie Series.	Found. Comput. Math.	2006	DBLP DOI BibTeX RDF	Free Lie algebra, Continous BCH function, Hopf algbra of rooted trees, Hall rooted trees, Lie series, Dual PBW basis, Rewritting algorithm, Logarithm of Chenn-Fliess series, Series of vector fields, Rooted tree
17	Stefaan Caenepeel, D. Quinn, S. Raianu	Duality for Finite Hopf Algebras Explained by Corings.	Appl. Categorical Struct.	2006	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 16W30, 16S40
17	Tomasz Kowalski, Marcus Kracht	Semisimple Varieties of Modal Algebras.	Stud Logica	2006	DBLP DOI BibTeX RDF	semisimple varieties, modal logic
17	Masoud Haveshki, Arsham Borumand Saeid, Esfandiar Eslami	Some types of filters in BL algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Implicative filter, Positive implicative filter, Fantastic filter, G?del algebra, Filter, Boolean algebra, MV algebra, BL-algebra, Boolean filter
17	Katarína Lendelová, Jozefína Petrovicová	Representation of IF-probability on MV-algebras.	Soft Comput.	2006	DBLP DOI BibTeX RDF	The IF-probability, The IF-observable, The MV-algebra, The representation theorem
17	Roy Dyckhoff, Sara Negri	Decision methods for linearly ordered Heyting algebras.	Arch. Math. Log.	2006	DBLP DOI BibTeX RDF	Gödel algebra, Gödel-Dummett logic, lattice theory, linear order, Heyting algebra
17	Michael Rathjen	Models of Intuitionistic Set Theories over Partial Combinatory Algebras.	TAMC	2006	DBLP DOI BibTeX RDF
17	Xavier Caicedo	Implicit Operations in MV-Algebras and the Connectives of Lukasiewicz Logic.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
17	Roberto Cignoli	The Algebras of Lukasiewicz Many-Valued Logic: A Historical Overview.	Algebraic and Proof-theoretic Aspects of Non-classical Logics	2006	DBLP DOI BibTeX RDF
17	Leonid Sheremetov, Ildar Z. Batyrshin, Denis M. Filatov, Jorge Martínez Muñoz	An Uncertainty Model for a Diagnostic Expert System Based on Fuzzy Algebras of Strict Monotonic Operations.	MICAI	2006	DBLP DOI BibTeX RDF
17	Gilles Dowek	Truth Values Algebras and Proof Normalization.	TYPES	2006	DBLP DOI BibTeX RDF
17	Michiro Kondo, Kazumi Nakamatsu, Jair Minoro Abe	Logic Determined by Boolean Algebras with Conjugate.	KES (2)	2006	DBLP DOI BibTeX RDF
17	Manindra Agrawal, Nitin Saxena 0001	Equivalence of F-Algebras and Cubic Forms.	STACS	2006	DBLP DOI BibTeX RDF
17	Erik Behrends, Oliver Fritzen, Wolfgang May, Franz Schenk	Combining ECA Rules with Process Algebras for the Semantic Web.	RuleML	2006	DBLP DOI BibTeX RDF
17	Frédéric Chyzak, Alban Quadrat, Daniel Robertz	Effective algorithms for parametrizing linear control systems over Ore algebras.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 93C05, 93B25, 16E30, 68W30, 13P10
17	Rune Gustavsson, Martin Fredriksson	Process algebras as support for sustainable systems of services.	Appl. Algebra Eng. Commun. Comput.	2005	DBLP DOI BibTeX RDF
17	Antonio Di Nola, Francesc Esteva, Lluís Godo, Franco Montagna	Varieties of BL-algebras.	Soft Comput.	2005	DBLP DOI BibTeX RDF
17	Fabiel Zúñiga, Félix F. Ramos Corchado, H. Iván Piza	Specifying Agent's Goals in 3D Scenarios Using Process Algebras.	ISSADS	2005	DBLP DOI BibTeX RDF
17	Simonetta Balsamo, Marta Simeoni	On Relationships Between Stochastic Process Algebras with Æmilia and Queueing Network Models.	FIRB-Perf	2005	DBLP DOI BibTeX RDF
17	Richard Zuber	More Algebras for Determiners.	LACL	2005	DBLP DOI BibTeX RDF
17	Xiaohong Zhang 0001, Yongquan Wang, Yong Lin Liu	Fuzzy Ultra Filters and Fuzzy G-Filters of MTL-Algebras.	FSKD (1)	2005	DBLP DOI BibTeX RDF
17	Be Birchall	Duals of Simple and Subdirectly Irreducible Distributive Modal Algebras.	TbiLLC	2005	DBLP DOI BibTeX RDF
17	Maria Manuel Clementino, Dirk Hofmann	Effective Descent Morphisms in Categories of Lax Algebras.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	effective descent morphism, lax algebra, monad
17	George Janelidze, Walter Tholen	Facets of Descent III: Monadic Descent for Rings and Algebras.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	monadic functor, action of a monoidal category, pure monomorphism, effective descent morphism
17	Vladimir V. Kornyak	A Modular Algorithm for Computing Cohomologies of Lie Algebras and Superalgebras.	Program. Comput. Softw.	2004	DBLP DOI BibTeX RDF
17	Constantine Tsinakis, Han Zhang	Order Algebras as Models of Linear Logic.	Stud Logica	2004	DBLP DOI BibTeX RDF	net semantics, partially ordered monoids, Petri nets, linear logic, quantales
17	Jan Jakubik	On the Schröder-Bernstein problem for abelian lattice ordered groups and for MV-algebras.	Soft Comput.	2004	DBLP DOI BibTeX RDF	Direct factor, Convex -subgroup, Lattice ordered group
17	Eduardo Bayro-Corrochano, Jaime Ortegón-Aguilar	Template Tracking with Lie Algebras.	ICRA	2004	DBLP DOI BibTeX RDF
17	Simon Colton, Andreas Meier 0002, Volker Sorge, Roy L. McCasland	Automatic Generation of Classification Theorems for Finite Algebras.	IJCAR	2004	DBLP DOI BibTeX RDF
17	Anna Avallone, Paolo Vitolo	Congruences and Ideals of Effect Algebras.	Order	2003	DBLP DOI BibTeX RDF	Riesz ideal, Sasaki projection, central element, congruence, ideal, effect algebra
17	David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický	On Quantales and Spectra of C*-Algebras.	Appl. Categorical Struct.	2003	DBLP DOI BibTeX RDF	noncommutative space, C*-algebra, noncommutative spectrum, spatial quantale
17	Saharon Shelah	On ultraproducts of Boolean algebras and irr.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF
17	Renate A. Schmidt, Ewa Orlowska, Ullrich Hustadt	Two Proof Systems for Peirce Algebras.	RelMiCS	2003	DBLP DOI BibTeX RDF
17	Saeed Salehi	A Completeness Property of Wilke's Tree Algebras.	MFCS	2003	DBLP DOI BibTeX RDF
17	Jan A. Bergstra	Machine Function Based Control Code Algebras.	FMCO	2003	DBLP DOI BibTeX RDF
17	Dan A. Simovici	Several Remarks on Non-Boolean Functions over Boolean Algebras.	ISMVL	2003	DBLP DOI BibTeX RDF
17	K. J. Adams, J. McGregor	New Information on the Effectiveness of Different Reed-Muller Algebras on the Representation of Quaternary Functions.	ISMVL	2003	DBLP DOI BibTeX RDF
17	Vladimir V. Kornyak	A Method of Splitting Cochain Complexes to Compute Cohomologies of Lie (Super)algebras.	Program. Comput. Softw.	2002	DBLP DOI BibTeX RDF
17	Elena Castiñeira, Susana Cubillo, Enric Trillas	On possibility and probability measures in finite Boolean algebras.	Soft Comput.	2002	DBLP DOI BibTeX RDF	Necessity, Probability, Distance, Possibility
17	Antonio Di Nola, Francesc Esteva, Pere Garcia, Lluís Godo, Salvatore Sessa 0002	Subvarieties of BL-algebras generated by single-component chains.	Arch. Math. Log.	2002	DBLP DOI BibTeX RDF
17	Natalia López, Manuel Núñez 0001, Ismael Rodríguez, Fernando Rubio 0001	A Formal Framework for E-Barter Based on Microeconomic Theory and Process Algebras.	IICS	2002	DBLP DOI BibTeX RDF
17	Simonetta Balsamo, Marco Bernardo 0001, Marta Simeoni	Combining stochastic process algebras and queueing networks for software architecture analysis.	Workshop on Software and Performance	2002	DBLP DOI BibTeX RDF
17	Gianpiero Cattaneo, Davide Ciucci	Heyting Wajsberg Algebras as an Abstract Environment Linking Fuzzy and Rough Sets.	Rough Sets and Current Trends in Computing	2002	DBLP DOI BibTeX RDF	Wajsberg algebra, rough approximation space, rough sets, fuzzy sets, Heyting algebra
17	Piotr Chrzastowski-Wachtel, Jerzy Tyszkiewicz	A Maple Package for Conditional Event Algebras.	WCII	2002	DBLP DOI BibTeX RDF
17	Gejza Jenca, Sylvia Pulmannová	Ideals and quotients in lattice ordered effect algebras.	Soft Comput.	2001	DBLP DOI BibTeX RDF
17	Maria Jurecková	On the conditional expectation on probability MV-Algebras with product.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Product MV algebra, Conditional expectation
17	Furio Honsell, Marino Miculan, Ivan Scagnetto	An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS.	ICALP	2001	DBLP DOI BibTeX RDF	induction, logical frameworks, higher-order abstract syntax
17	G. Chevalier, Sylvia Pulmannová	Some Ideal Lattices in Partial Abelian Monoids and Effect Algebras.	Order	2000	DBLP DOI BibTeX RDF	dimension equivalence, lattice of ideals, partial Abelian monoid, R 1-ideal, Riesz ideal, Sasaki projection, congruence, ideal, effect algebra
17	Marcel Erné	Prime Ideal Theory for General Algebras.	Appl. Categorical Struct.	2000	DBLP DOI BibTeX RDF	closure system, cm-lattice, semiprime, locale, distributive, residuated, ideal, prime, quantale, radical
17	Elisa Bertino, Danilo Montesi, Alberto Trombetta	Fuzzy and Presentation Algebras for Web and Multimedia Data.	IDEAS	2000	DBLP DOI BibTeX RDF	fuzzy algebra, presentation algebra, containment rules, query languages, query languages, relational algebra, equivalence, multimedia data
17	Konstantin Korovin, Andrei Voronkov	A Decision Procedure for the Existential Theory of Term Algebras with the Knuth-Bendix Ordering.	LICS	2000	DBLP DOI BibTeX RDF
17	Clifford Bergman, Giora Slutzki	Computational Complexity of Some Problems Involving Congruences on Algebras.	LICS	2000	DBLP DOI BibTeX RDF	fully invariant, subdirectly irreducible, nondeterministic log-space, nondeterministic polynomial time, congruence, simple
17	Andrei A. Bulatov, Andrei A. Krokhin, Peter Jeavons 0001	Constraint Satisfaction Problems and Finite Algebras.	ICALP	2000	DBLP DOI BibTeX RDF
17	Werner Kuich	Formal Series over Algebras.	MFCS	2000	DBLP DOI BibTeX RDF
17	Peter Aczel	Algebras and Coalgebras.	Algebraic and Coalgebraic Methods in the Mathematics of Program Construction	2000	DBLP DOI BibTeX RDF
17	Jitka Stríbrná	Approximating Weak Bisimulation on Basic Process Algebras.	MFCS	1999	DBLP DOI BibTeX RDF
17	Luis Fernando Llana Díaz, David de Frutos-Escrig	Relating May and Must Testing Semantics for Discrete Timed Process Algebras.	ASIAN	1999	DBLP DOI BibTeX RDF	testing semantics, must, may, time, process algebra
17	Frank S. de Boer, Gianluigi Zavattaro	Generic Process Algebras for Asynchronous Communication.	CONCUR	1999	DBLP DOI BibTeX RDF
17	Holger Hermanns, Markus Siegle	Bisimulation Algorithms for Stochastic Process Algebras and Their BDD-Based Implementation.	ARTS	1999	DBLP DOI BibTeX RDF
17	Yohji Akama	SN Combinators and Partial Combinatory Algebras.	RTA	1998	DBLP DOI BibTeX RDF
17	Jean-François Dufourd	Algebras and formal specifications in geometric modelling.	Vis. Comput.	1997	DBLP DOI BibTeX RDF	Extended ?-calculus, Formal specification, Geometric modeling, Parameterization, Constructive solid geometry, Boundary representation, Universal algebra
17	Martín Hötzel Escardó, Thomas Streicher	Induction and Recursion on the Partial Real Line via Biquotients of Bifree Algebras.	LICS	1997	DBLP DOI BibTeX RDF
17	Peter Pepper	Deriving Parallel Numerical Algorithms using Data Distribution Algebras: Wang's Algorithm.	HICSS (1)	1997	DBLP DOI BibTeX RDF
17	Till Mossakowski	Equivalences among Various Logical Frameworks of Partial Algebras.	CSL	1995	DBLP DOI BibTeX RDF
17	Rocco De Nicola, Anna Labella	A Completeness Theorem fro Nondeterministic Kleene Algebras.	MFCS	1994	DBLP DOI BibTeX RDF
17	Arend Rensink, Heike Wehrheim	Weak Sequential Composition in Process Algebras.	CONCUR	1994	DBLP DOI BibTeX RDF
17	Zinovy Diskin, Ilya Beylin	Lambda Substitution Algebras.	MFCS	1993	DBLP DOI BibTeX RDF
17	Stéphane Grumbach, Tova Milo	Towards Tractable Algebras for Bags.	PODS	1993	DBLP DOI BibTeX RDF
17	Flemming Nielson, Hanne Riis Nielson	From CML to Process Algebras (Extended Abstract).	CONCUR	1993	DBLP DOI BibTeX RDF
17	Frits W. Vaandrager	Expressive Results for Process Algebras.	REX Workshop	1992	DBLP DOI BibTeX RDF	process graphs, effective process graphs, effective operational semantics, trace equivalence, action transducers, process algebra, expressiveness, labeled transition systems, PC, structural operational semantics, bisimulation equivalence
17	Huimin Lin	An Interactive Proof Tool for Process Algebras.	STACS	1992	DBLP DOI BibTeX RDF
17	Axel Poigné	Once More on Order-Sorted Algebras.	MFCS	1991	DBLP DOI BibTeX RDF
17	Jean-Louis Lassez, Michael J. Maher, Kim Marriott	Elimination of Negation in Term Algebras.	MFCS	1991	DBLP DOI BibTeX RDF
17	Tommaso Bolognesi, Ferdinando Lucidi	Timed Process Algebras with Urgent Interactions and a Unique Powerful Binary Operator.	REX Workshop	1991	DBLP DOI BibTeX RDF	timed process algebra, timed Petri Net
17	Rocco De Nicola	Action and State-based Logics for Process Algebras.	CONCUR	1991	DBLP DOI BibTeX RDF
17	Zhenyu Qian	Higher-Order Order-Sorted Algebras.	ALP	1990	DBLP DOI BibTeX RDF
17	Egon Börger, Dean Rosenzweig	From Prolog Algebras Towards WAM - A Mathematical Study of Implementation.	CSL	1990	DBLP DOI BibTeX RDF
17	Martin Große-Rhode, Hartmut Ehrig	Transformation of Combined Data Type and Process Specifications Using Projection Algebras.	REX Workshop	1989	DBLP DOI BibTeX RDF	Projection Specification, Projection Algebra (Continuous Algebra), Parameterized Projection Specification, Horizontal and Vertical Operations, R-Implementation, Refinement
17	Hubert Comon	An Effective Method for Handling Initial Algebras.	ALP	1988	DBLP DOI BibTeX RDF