Search results for "MV-algebras"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
17	Ludmila Cherkasova	On Models and Algebras for Concurrent Processes.	MFCS	1988	DBLP DOI BibTeX RDF
17	Isabelle Gnaedig, Claude Kirchner, Hélène Kirchner	Equational Completion in Order-Sorted Algebras (Extended Abstract).	CAAP	1988	DBLP DOI BibTeX RDF
17	Gregor Snelting, Wolfgang Henhapl	Unification in Many-Sorted Algebras as a Device for Incremental Semantic Analysis.	POPL	1986	DBLP DOI BibTeX RDF
17	Peter Dybjer	Using Domain Algebras to Prove the Correctness of a Compiler.	STACS	1985	DBLP DOI BibTeX RDF
17	Patrick A. V. Hall	Relational Algebras, Logic, and Functional Programming.	SIGMOD Conference	1984	DBLP DOI BibTeX RDF
17	Jan A. Bergstra, Jan Willem Klop	Algebraic Specifications for Parametrized Data Types with Minimal Parameter and Target Algebras.	ICALP	1982	DBLP DOI BibTeX RDF
14	Katarína Cunderlíková	The individual ergodic theorem on the IF-events with product.	Soft Comput.	2010	DBLP DOI BibTeX RDF	The IF-event, The IF-probability, The IF-observable, The product, The upper and lower limits, The individual ergodic theorem, The almost everywhere convergence, The -preserving transformation
14	Vummintala Shashidhar, B. Sundar Rajan, P. Vijay Kumar	Asymptotic-Information-Lossless Designs and the Diversity-Multiplexing Tradeoff.	IEEE Trans. Inf. Theory	2009	DBLP DOI BibTeX RDF
14	Sylvia Pulmannová	MV-pairs and states.	Soft Comput.	2009	DBLP DOI BibTeX RDF	R-generated Boolean algebra, MV-pair, MV-algebra, State, Effect algebra
14	Aleksandar Perovic, Zoran Ognjanovic, Miodrag Raskovic, Zoran Markovic	Qualitative Possibilities and Necessities.	ECSQARU	2009	DBLP DOI BibTeX RDF
14	Lavinia Corina Ciungu	On the Convergence with Fixed Regulator in Residuated Structures.	ECSQARU	2009	DBLP DOI BibTeX RDF
14	Jürg Kohlas, Christian Eichenberger	Uncertain Information.	Formal Theories of Information	2009	DBLP DOI BibTeX RDF
14	Antonio Blanco, Enrique Freire Brañas, José Luis Freire, Javier París	The Foldl Operator as a Coequalizer Using Coq.	EUROCAST	2009	DBLP DOI BibTeX RDF
14	Jörg Endrullis, Roel C. de Vrijer, Johannes Waldmann	Local Termination.	RTA	2009	DBLP DOI BibTeX RDF
14	Guram Bezhanishvili, Jacob Vosmaer	Comparison of MacNeille, Canonical, and Profinite Completions.	Order	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 06B23, 06D20, 06D50
14	Anthony M. Bloch, Peter E. Crouch, Jerrold E. Marsden, Amit K. Sanyal	Optimal Control and Geodesics on Quadratic Matrix Lie Groups.	Found. Comput. Math.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 34H05, 70E40, 49K15
14	Stephen Gilmore, Jane Hillston	Foreword.	SIGMETRICS Perform. Evaluation Rev.	2008	DBLP DOI BibTeX RDF
14	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. II.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, algebra, residuated lattice, substructural logic, strong negation, Constructive logic
14	Antoni Torrens	An Approach to Glivenko's Theorem in Algebraizable Logics.	Stud Logica	2008	DBLP DOI BibTeX RDF	Glivenko’s Theorem, equivalential deductive system, compatible expansion, algebraic semantics, quasivariety, algebraizable logic
14	Matthew Spinks, Robert Veroff	Constructive Logic with Strong Negation is a Substructural Logic. I.	Stud Logica	2008	DBLP DOI BibTeX RDF	Nelson algebra, FL ew -algebra, residuated lattice, substructural logic, strong negation, Constructive logic
14	Esfandiar Eslami, Hamid Khosravi, Faramarz Sadeghi	Very and more or less in non-commutative fuzzy logic.	Soft Comput.	2008	DBLP DOI BibTeX RDF	L-fuzzy modifier, Very, More or less, Non-commutative fuzzy logic, Pseudo-BL algebra, Linguistic hedges
14	Sylvia Pulmannová, Elena Vinceková	Ideals in MV-pairs.	Soft Comput.	2008	DBLP DOI BibTeX RDF
14	Xiangnan Zhou, Qingguo Li	Partial residuated structures and quantum structures.	Soft Comput.	2008	DBLP DOI BibTeX RDF	Partial residuated lattice, Partial adjoint pair, Residuated mapping, Residuated lattice, Effect algebra
14	Natalia López, Manuel Núñez 0001, Fernando L. Pelayo	A Comparative Study of STOPA and RTPA.	Trans. Comput. Sci.	2008	DBLP DOI BibTeX RDF
14	Hector Freytes	Pavelka-style completeness in expansions of Lukasiewicz logic.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematical Subject Classification (2000) 03B50, 03B52, 06D35
14	Steven Awodey, Andrej Bauer	Sheaf toposes for realizability.	Arch. Math. Log.	2008	DBLP DOI BibTeX RDF	Mathematics Subject Classification (2000) 03G30, 03D65
14	Peter Höfner	Automated Reasoning for Hybrid Systems - Two Case Studies -.	RelMiCS	2008	DBLP DOI BibTeX RDF
14	Jules Desharnais, Georg Struth	Domain Axioms for a Family of Near-Semirings.	AMAST	2008	DBLP DOI BibTeX RDF
14	Jörg Endrullis, Clemens Grabmayer, Dimitri Hendriks, Jan Willem Klop, Roel C. de Vrijer	Proving Infinitary Normalization.	TYPES	2008	DBLP DOI BibTeX RDF
14	Sreekanth Malladi, Gurdeep S. Hura 0001	What is the best way to prove a cryptographic protocol correct?	IPDPS	2008	DBLP DOI BibTeX RDF
14	Peter Höfner, Georg Struth	On Automating the Calculus of Relations.	IJCAR	2008	DBLP DOI BibTeX RDF
14	Ivo Düntsch, Michael Winter 0001	Moving Spaces.	TIME	2008	DBLP DOI BibTeX RDF
14	Zurab Janelidze	Closedness Properties of Internal Relations III: Pointed Protomodular Categories.	Appl. Categorical Struct.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 18C99, 08B05
14	Ivo Düntsch, Dimiter Vakarelov	Region-based theory of discrete spaces: A proximity approach.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03G05, 06E25, 68T30
14	Jerzy Tomasik, Jerzy Weyman	Category localization semantics for specification refinements.	Ann. Math. Artif. Intell.	2007	DBLP DOI BibTeX RDF	Mathematics Subject Classifications (2000) 03C98, 8C05, 18C10, 18E35, 68Q85
14	Qing Liu 0011, Hui Sun	The Impact of Rough Set Research in China: In Commemoration of Professor Zdzislaw Pawlak.	Trans. Rough Sets	2007	DBLP DOI BibTeX RDF
14	Anatolij Dvurecenskij	Every Linear Pseudo BL-Algebra Admits a State.	Soft Comput.	2007	DBLP DOI BibTeX RDF	AMS Classification 06D35, 03G12, 03B50
14	Ralph G. Selfridge	A small part of lattice theory.	ACM SIGAPL APL Quote Quad	2007	DBLP DOI BibTeX RDF
14	Cristiano Calcagno, Peter W. O'Hearn, Hongseok Yang	Local Action and Abstract Separation Logic.	LICS	2007	DBLP DOI BibTeX RDF
14	Frank Puhlmann	Soundness Verification of Business Processes Specified in the Pi-Calculus.	OTM Conferences (1)	2007	DBLP DOI BibTeX RDF
14	Michel A. Reniers, Muck van Weerdenburg	Action Abstraction in Timed Process Algebra.	FSEN	2007	DBLP DOI BibTeX RDF
14	Peter Höfner, Georg Struth	Automated Reasoning in Kleene Algebra.	CADE	2007	DBLP DOI BibTeX RDF
14	Paolo Baldan, Andrea Bracciali, Linda Brodo, Roberto Bruni	Deducing Interactions in Partially Unspecified Biological Systems.	AB	2007	DBLP DOI BibTeX RDF
14	Agata Ciabattoni, George Metcalfe	Density Elimination and Rational Completeness for First-Order Logics.	LFCS	2007	DBLP DOI BibTeX RDF
14	Zohar Manna, Henny B. Sipma, Ting Zhang 0001	Verifying Balanced Trees.	LFCS	2007	DBLP DOI BibTeX RDF
14	Andreas Glausch, Wolfgang Reisig	A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines.	CALCO	2007	DBLP DOI BibTeX RDF
14	Anton Wijs	Achieving Discrete Relative Timing with Untimed Process Algebra.	ICECCS	2007	DBLP DOI BibTeX RDF
14	Larisa Maksimova	Definability and Interpolation in Non-Classical Logics.	Stud Logica	2006	DBLP DOI BibTeX RDF	interpolation, modal logic, intuitionistic logic, definability, non-classical logics, amalgamation
14	Vilém Vychodil	A note on congruence permutability and fuzzy logic.	Soft Comput.	2006	DBLP DOI BibTeX RDF	Mal'cev-condition, Fuzzy logic, Permutability, Fuzzy equality
14	Makoto Hamana	An initial algebra approach to term rewriting systems with variable binders.	High. Order Symb. Comput.	2006	DBLP DOI BibTeX RDF	Abstract syntax with variable binding, Term rewriting systems, Higher-order abstract syntax, Initial algebra semantics
14	Uwe Wolter	A (Co)Algebraic Analysis of Synchronization in CSP.	WADT	2006	DBLP DOI BibTeX RDF
14	Ivo Düntsch, Wendy MacCaull, Dimiter Vakarelov, Michael Winter 0001	Topological Representation of Contact Lattices.	RelMiCS	2006	DBLP DOI BibTeX RDF
14	Jean-Lou De Carufel, Jules Desharnais	Demonic Algebra with Domain.	RelMiCS	2006	DBLP DOI BibTeX RDF
14	Joanna Golinska-Pilarek, Ewa Orlowska	Relational Logics and Their Applications.	Theory and Applications of Relational Structures as Knowledge Instruments	2006	DBLP DOI BibTeX RDF
14	Kim Solin, Joakim von Wright	Refinement Algebra with Operators for Enabledness and Termination.	MPC	2006	DBLP DOI BibTeX RDF
14	Ben Cohen, Martín Hötzel Escardó, Klaus Keimel	The Extended Probabilistic Powerdomain Monad over Stably Compact Spaces.	TAMC	2006	DBLP DOI BibTeX RDF
14	Daniel Fontijne	Gaigen 2: a geometric algebra implementation generator.	GPCE	2006	DBLP DOI BibTeX RDF	conformal model, profiling program transformation, synthesis from specification, object-oriented, geometric algebra
14	Ricardo Grau Ábalo, María del Carmen Chávez, Robersy Sanchez, Eberto Morgado, Gladys Casas, Isis Bonet	Boolean Algebraic Structures of the Genetic Code: Possibilities of Applications.	KDECB	2006	DBLP DOI BibTeX RDF	mutant sequence analysis, splice site prediction, Bayesian networks, decision trees, Boolean algebra, Genetic code
14	Sergiu Rudeanu, Dan A. Simovici	On the Ranges of Algebraic Functions in Lattices - A Preliminary Report.	ISMVL	2006	DBLP DOI BibTeX RDF
14	Yingxu Wang 0001	Cognitive Informatics and Contemporary Mathematics for Knowledge Manipulation.	RSKT	2006	DBLP DOI BibTeX RDF
14	Dumitru Busneag, Dana Piciu	BL-algebra of fractions and maximal BL-algebra of quotients.	Soft Comput.	2005	DBLP DOI BibTeX RDF	AMS Subject Classification 2000 06D35, 03G25
14	Rostislav Horcík	Standard completeness theorem for PiMTL.	Arch. Math. Log.	2005	DBLP DOI BibTeX RDF	MTL logic, Product logic, Left-continuous t-norm, Cancellative left-continuous t-norm, Fuzzy logic, Many-valued logic
14	Bernhard Burgeth, Joachim Weickert	An Explanation for the Logarithmic Connection between Linear and Morphological System Theory.	Int. J. Comput. Vis.	2005	DBLP DOI BibTeX RDF	linear system theory, min-plus algebra, slope transform, Cramer transform, morphology, convex analysis, max-plus algebra
14	Hitoshi Furusawa	A Framework for Kleene Algebra with an Embedded Structure.	RelMiCS	2005	DBLP DOI BibTeX RDF
14	Jos C. M. Baeten, Mohammad Reza Mousavi 0001, Michel A. Reniers	Timing the Untimed: Terminating Successfully While Being Conservative.	Processes, Terms and Cycles	2005	DBLP DOI BibTeX RDF
14	Marcello M. Bonsangue, Alexander Kurz 0001	Duality for Logics of Transition Systems.	FoSSaCS	2005	DBLP DOI BibTeX RDF
14	Ruggero Lanotte, Simone Tini	Probabilistic Congruence for Semistochastic Generative Processes.	FoSSaCS	2005	DBLP DOI BibTeX RDF
14	Michiro Kondo, Mayuka F. Kawaguchi	Partially Ordered Set with Residuated t-norm.	ISMVL	2005	DBLP DOI BibTeX RDF
14	Ivan Lanese, Emilio Tuosto	Synchronized Hyperedge Replacement for Heterogeneous Systems.	COORDINATION	2005	DBLP DOI BibTeX RDF
14	Carlos Cid, Sean Murphy, Matthew J. B. Robshaw	An Algebraic Framework for Cipher Embeddings.	IMACC	2005	DBLP DOI BibTeX RDF
14	Maria Manuel Clementino, Dirk Hofmann, Walter Tholen	One Setting for All: Metric, Topology, Uniformity, Approach Structure.	Appl. Categorical Struct.	2004	DBLP DOI BibTeX RDF	V-matrix, V-promatrix, (T,V)-algebra, (T,V)-proalgebra, co-Kleisli composition, uniform space, approach space, prometric space, protopological space, proapproach space, topological category, metric space, ordered set, topological space
14	Brian A. Davey, Miroslav Haviar	Applications of Priestley duality in transferring optimal dualities.	Stud Logica	2004	DBLP DOI BibTeX RDF	Natural duality, optimal duality, Priestley duality, endodualisability, endoprimality, retraction, entailment
14	Miklós Maróti, Ralph McKenzie	Finite basis problems and results for quasivarieties.	Stud Logica	2004	DBLP DOI BibTeX RDF	finite axiomatizability, pseudo-complemented congruence lattices, Willard terms, quasivarieties
14	Richard Holzer	On subdirectly irreducible OMAs.	Stud Logica	2004	DBLP DOI BibTeX RDF	orthomodular partial algebra, epi-subdirect representation
14	Tomasz Kowalski	Semisimplicity, EDPC and Discriminator Varieties of Residuated Lattices.	Stud Logica	2004	DBLP DOI BibTeX RDF	FL ew-algebra, semisimple, EDPC, discriminator, residuated lattice
14	Andrea Ferrara	Web services: a process algebra approach.	ICSOC	2004	DBLP DOI BibTeX RDF	web services, formal methods, process algebra, BPEL4WS
14	Bernhard Möller	Lazy Kleene Algebra.	MPC	2004	DBLP DOI BibTeX RDF
14	C. A. R. Hoare	Process Algebra: A Unifying Approach.	25 Years Communicating Sequential Processes	2004	DBLP DOI BibTeX RDF
14	Gwen Salaün, Lucas Bordeaux, Marco Schaerf	Describing and Reasoning on Web Services using Process Algebra.	ICWS	2004	DBLP DOI BibTeX RDF
14	Thomas Arts, Clara Benac Earle, Juan José Sánchez Penas	Translating Erlang to µCRL.	ACSD	2004	DBLP DOI BibTeX RDF
14	Anton Leykin	On Parallel Computation of Gröbner Bases.	ICPP Workshops	2004	DBLP DOI BibTeX RDF
14	Ning Zhang 0002	XML Query Processing and Optimization.	EDBT Workshops	2004	DBLP DOI BibTeX RDF
14	S. H. Schmieta, Farid Alizadeh	Extension of primal-dual interior point algorithms to symmetric cones.	Math. Program.	2003	DBLP DOI BibTeX RDF
14	Radim Belohlávek	Birkhoff variety theorem and fuzzy logic.	Arch. Math. Log.	2003	DBLP DOI BibTeX RDF	Fuzzy logic, Variety, Universal algebra, Fuzzy equality
14	Wolfram Kahl	Calculational Relation-Algebraic Proofs in Isabelle/Isar.	RelMiCS	2003	DBLP DOI BibTeX RDF
14	Wojciech Buszkowski	Relational Models of Lambek Logics.	Theory and Applications of Relational Structures as Knowledge Instruments	2003	DBLP DOI BibTeX RDF
14	Makoto Hamana	Term rewriting with variable binding: an initial algebra approach.	PPDP	2003	DBLP DOI BibTeX RDF	abstract syntax with variable binding, monadic semantics of term rewriting systems, term rewriting systems, higher-order abstract syntax, initial algebra semantics
14	Larisa Maksimova, Andrei Voronkov	Complexity of Some Problems in Modal and Intuitionistic Calculi.	CSL	2003	DBLP DOI BibTeX RDF
14	Sujoe Bose, Leonidas Fegaras, David Levine, Vamsi Chaluvadi	A Query Algebra for Fragmented XML Stream Data.	DBPL	2003	DBLP DOI BibTeX RDF
14	Elizabeth L. Mansfield, Ágnes Szántó	Elimination theory for differential difference polynomials.	ISSAC	2003	DBLP DOI BibTeX RDF	Gröbner basis, differential polynomial, ore algebra, difference equation
14	Yngve Lamo, Michal Walicki	Combining Specification Formalisms in the ?General Logic? of Multialgebras.	WADT	2002	DBLP DOI BibTeX RDF
14	Kathrin Hoffmann, Till Mossakowski	Algebraic Higher-Order Nets: Graphs and Petri Nets as Tokens.	WADT	2002	DBLP DOI BibTeX RDF
14	Paolo Manghi, Fabio Simeoni, David Lievens, Richard Connor 0001	Hybrid applications over XML: integrating the procedural and declarative approaches.	WIDM	2002	DBLP DOI BibTeX RDF	XML high-level bindings, XML programming, advanced web applications, XML querying, web data integration
14	Dexter Kozen	Some Results in Dynamic Model Theory.	MPC	2002	DBLP DOI BibTeX RDF
14	Luca Aceto, Zoltán Ésik, Anna Ingólfsdóttir	Equational Axioms for Probabilistic Bisimilarity.	AMAST	2002	DBLP DOI BibTeX RDF
14	Anthony J. Roy, John G. Stell	A Qualitative Account of Discrete Space.	GIScience	2002	DBLP DOI BibTeX RDF
14	Richard P. Hopkins, Peter J. B. King	A Visual Formalism for the Composition of Stochastic Petri Nets.	Computer Performance Evaluation / TOOLS	2002	DBLP DOI BibTeX RDF
14	Elizabeth L. Mansfield	Algorithms for Symmetric Differential Systems.	Found. Comput. Math.	2001	DBLP DOI BibTeX RDF
14	Jan Jakubik	Basic elements in a pseudo MV-algebra.	Soft Comput.	2001	DBLP DOI BibTeX RDF	Basic element, B-atomicity, Direct product decomposition, Strong subdirect product, Pseudo MV-algebra
14	Luca Alberucci	Strictness of the Modal µ-Calculus Hierarchy.	Automata, Logics, and Infinite Games	2001	DBLP DOI BibTeX RDF