The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for quantales with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1990-2001 (16) 2002-2009 (16) 2010-2014 (16) 2015-2020 (18) 2021-2023 (19) 2024 (2)
Publication types (Num. hits)
article(60) incollection(1) inproceedings(26)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 29 occurrences of 21 keywords

Results
Found 87 publication records. Showing 87 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
96Constantine Tsinakis, Han Zhang Order Algebras as Models of Linear Logic. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF net semantics, partially ordered monoids, Petri nets, linear logic, quantales
77Norihiro Kamide Quantized Linear Logic, Involutive Quantales and Strong Negation. Search on Bibsonomy Stud Logica The full citation details ... 2004 DBLP  DOI  BibTeX  RDF involutive quantales, quantization principle, linear logic, strong negation
74Makoto Tanabe Timed Petri Nets and Temporal Linear Logic. Search on Bibsonomy ICATPN The full citation details ... 1997 DBLP  DOI  BibTeX  RDF temporal linear logic, timed Petri nets, quantales
73Georg Struth, Cameron Calk Modal quantales, involutive quantales, Dedekind Quantales. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2023 DBLP  BibTeX  RDF
68Bernhard Möller, Peter Höfner, Georg Struth Quantales and Temporal Logics. Search on Bibsonomy AMAST The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
48Wolfgang Rump Frobenius Quantales, Serre Quantales and the Riemann-Roch Theorem. Search on Bibsonomy Stud Logica The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
48Hans Heymans Sheaves on involutive quantales: Grothendieck quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
46David Kruml Distributive Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF algebraic quantale, spatial quantale, distributive quantale, prime
46David Kruml Spatial Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF simple quantale, spatial quantale, C *-algebra, quantale module, prime, quantale
24George Georgescu mz-elements in coherent quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2024 DBLP  DOI  BibTeX  RDF
24Cameron Calk, Georg Struth Higher Globular Catoids and Quantales. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2024 DBLP  BibTeX  RDF
24Saqib Mazher Qurashi, Bander N. Almutairi, Rani Sumaira Kanwal, Mladen Krstic, Muhammad Yousaf Rough Substructures Based on Overlaps of Successor in Quantales Under Serial Fuzzy Relations. Search on Bibsonomy IEEE Access The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Cédric de Lacroix, Luigi Santocanale Unitless Frobenius Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Francesco Dagnino, Amin Farjudian, Eugenio Moggi Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Cameron Calk, Philippe Malbos, Damien Pous, Georg Struth Higher Catoids, Higher Quantales and their Correspondences. Search on Bibsonomy CoRR The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Xia Zhang, Jan Paseka, Jianjun Feng, Yudong Chen Reflectors to quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Saqib Mazher Qurashi, Muhammad Gulzar, Rani Sumaira Kanwal, Dilruba Akter, Muhammad Shawaiz Safdar A Novel Characterization of Fuzzy Soft Substructures in Quantales Theory. Search on Bibsonomy Complex. The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Arman Shamsgovara Enumerating, Cataloguing and Classifying All Quantales on up to Nine Elements. Search on Bibsonomy RAMiCS The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24Francesco Dagnino, Amin Farjudian, Eugenio Moggi Robustness in Metric Spaces over Continuous Quantales and the Hausdorff-Smyth Monad. Search on Bibsonomy ICTAC The full citation details ... 2023 DBLP  DOI  BibTeX  RDF
24George Georgescu Lifting Elements in Coherent Quantales. Search on Bibsonomy TFSS The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Cédric de Lacroix, Luigi Santocanale Unitless Frobenius quantales. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Derek S. Cook, Ittay Weiss Diagrams of quantales and Lipschitz norms. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
24Saqib Mazher Qurashi, Rani Sumaira Kanwal, Muhammad Shabir, Kashan Ali Generalized roughness of fuzzy substructures in quantales with respect to soft relations. Search on Bibsonomy J. Intell. Fuzzy Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Juan Pablo Quijano, Pedro Resende Functoriality of Groupoid Quantales. II. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24George Georgescu Flat topology on the spectra of quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Callum Bannister, Peter Höfner, Georg Struth Effect Algebras, Girard Quantales and Complementation in Separation Logic. Search on Bibsonomy RAMiCS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Cameron Calk, Uli Fahrenberg, Christian Johansen, Georg Struth, Krzysztof Ziemianski ℓ r-Multisemigroups, Modal Quantales and the Origin of Locality. Search on Bibsonomy RAMiCS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Patrik Eklund Quantales in Circuit Design. Search on Bibsonomy ISMVL The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
24Daniela Cheptea, George Georgescu Boolean lifting property in quantales. Search on Bibsonomy Soft Comput. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Rani Sumaira Kanwal, Saqib Mazher Qurashi, Muhammad Shabir Generalized approximation of substructures in quantales by soft relations. Search on Bibsonomy Comput. Appl. Math. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Saqib Mazher Qurashi, Muhammad Shabir Some studies in the approximation of $$(\in _{\gamma }, \in _{\gamma }\vee q_{\delta })$$-fuzzy substructures in quantales. Search on Bibsonomy Comput. Appl. Math. The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Flaulles Boone Bergamaschi, Regivan H. N. Santiago Fuzzy Primeness in Quantales. Search on Bibsonomy Decision Making under Constraints The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Koki Nishizawa, Koji Yasuda, Hitoshi Furusawa Preorders, Partial Semigroups, and Quantales. Search on Bibsonomy RAMiCS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Jan Paseka, Sergejs Solovjovs, Milan Stehlík Sugeno Integral over Generalized Semi-quantales. Search on Bibsonomy NAFIPS The full citation details ... 2020 DBLP  DOI  BibTeX  RDF
24Daniela Cheptea, George Georgescu Boolean lifting property in quantales. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
24Pedro Resende Open Maps of Involutive Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Maria João Gouveia, Luigi Santocanale Mix ⋆-autonomous quantales and the continuous weak order. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
24Sheng-Wei Han, Changchun Xia, Bin Zhao Semitopological groups, semiclosure semigroups and quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Georg Struth Quantales. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2018 DBLP  BibTeX  RDF
24Maria João Gouveia, Luigi Santocanale MIX \star -Autonomous Quantales and the Continuous Weak Order. Search on Bibsonomy RAMiCS The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
24Jorge Bruno, Paul Szeptycki Quantales, Generalised Premetrics and Free Locales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Bin Zhao, Supeng Wu, Kaiyun Wang Quantale algebras as lattice-valued quantales. Search on Bibsonomy Soft Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Javier Gutiérrez García, Ulrich Höhle, Tomasz Kubiak Tensor products of complete lattices and their application in constructing quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
24Patrik Eklund, Ulrich Höhle, Jari Kortelainen Non-commutative Quantales for Many-Valuedness in Applications. Search on Bibsonomy IPMU (1) The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
24Ulrich Höhle Prime Elements of Non-integral Quantales and their Applications. Search on Bibsonomy Order The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Mustafa Demirci Fuzzy Semi-Quantales, (L, M) Quasi-Fuzzy Topological Spaces and Their Duality. Search on Bibsonomy IJCCI (FCTA) The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
24Qingjun Luo, Guojun Wang Roughness and fuzziness in quantales. Search on Bibsonomy Inf. Sci. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Wolfgang Rump, Yichuan Yang Non-commutative logical algebras and algebraic quantales. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
24Alessandra Palmigiano, Riccardo Re Relational Representation of Groupoid Quantales. Search on Bibsonomy Order The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Lingyun Yang, Luoshan Xu Roughness in quantales. Search on Bibsonomy Inf. Sci. The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
24Qimei Xiao, Qingguo Li Generalized Lower and Upper Approximations in Quantales. Search on Bibsonomy J. Appl. Math. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Remigijus Petras Gylys Extensions of states on MV-quantales. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Koki Nishizawa, Hitoshi Furusawa Relational Representation Theorem for Powerset Quantales. Search on Bibsonomy RAMiCS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Hongliang Lai, Dexue Zhang Construction Quantaloids from Quantales. Search on Bibsonomy QLSC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Zhi-Lian Guo, Hai-Long Yang Soft Quantales. Search on Bibsonomy QLSC The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Marcos Eduardo Valle, Peter Sussner, Estevão Laureano Esmi Spherical CIELab QAMs: Associative Memories Based on the CIELab System and Quantales for the Storage of Color Images. Search on Bibsonomy HAIS (2) The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
24Shaohui Liang Ideal-Convergence in Quantales. Search on Bibsonomy NL-MUA The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
24Jeffrey M. Egger, David Kruml Girard Couples of Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Alessandra Palmigiano, R. Re Topological Groupoid Quantales. Search on Bibsonomy Stud Logica The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Mustafa Demirci Pointed semi-quantales and lattice-valued topological spaces. Search on Bibsonomy Fuzzy Sets Syst. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Han-Hing Dang, Peter Höfner Automated Higher-order Reasoning about Quantales. Search on Bibsonomy PAAR@IJCAR The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
24Pawel Waszkiewicz On Domain Theory over Girard Quantales. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
24Hans Heymans, Isar Stubbe Modules on Involutive Quantales: Canonical Hilbert Structure, Applications to Sheaf Theory. Search on Bibsonomy Order The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Principal element, Principal symmetry, Sheaf, Module, Inner product, Quantale
24Mark Hopkins The Algebraic Approach II: Dioids, Quantales and Monads. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Monad, Category, Ideal, Semiring, Adjunction, Quantale, Dioid
24Giulia Battilotti, Giovanni Sambin Pretopologies and a uniform presentation of sup-lattices, quantales and frames. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Robert Goldblatt A Kripke-Joyal Semantics for Noncommutative Logic in Quantales. Search on Bibsonomy Advances in Modal Logic The full citation details ... 2006 DBLP  BibTeX  RDF
24Norihiro Kamide On a logic of involutive quantales. Search on Bibsonomy Math. Log. Q. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
24David Kruml, Joan Wick Pelletier, Pedro Resende, Jirí Rosický On Quantales and Spectra of C*-Algebras. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 2003 DBLP  DOI  BibTeX  RDF noncommutative space, C*-algebra, noncommutative spectrum, spatial quantale
24Pedro Resende Quantales, finite observations and strong bisimulation. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Gerard Allwein, Wendy MacCaull A Kripke Semantics for the Logic of Gelfand Quantales. Search on Bibsonomy Stud Logica The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Marcelo E. Coniglio, Francisco Miraglia Modules in the category of sheaves over quantales. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
24Marcelo E. Coniglio, Francisco Miraglia Non-Commutative Topology and Quantales. Search on Bibsonomy Stud Logica The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
24Dominique Larchey-Wendling, Didier Galmiche Quantales as completions of ordered monoids - Revised semantics for Intuitionistic Linear Logic. Search on Bibsonomy Workshop on Domains The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Ulrich Höhle GL-Quantales: Q-Valued Sets and Their Singletons. Search on Bibsonomy Stud Logica The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24Francisco Miraglia, Ugo Solitro Sheaves over Right Sided Idempotent Quantales. Search on Bibsonomy Log. J. IGPL The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
24J. Wick Pelletier Von Neumann Algebras and Hilbert Quantales. Search on Bibsonomy Appl. Categorical Struct. The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
24Mario Piazza, Maurizio Castellan Quantales and Structural Rules. Search on Bibsonomy J. Log. Comput. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
24Silvio Valentini Representation Theorems for Quantales. Search on Bibsonomy Math. Log. Q. The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
24Samson Abramsky, Steven Vickers Quantales, Observational Logic and Process Semantics. Search on Bibsonomy Math. Struct. Comput. Sci. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24Gianfranco Mascari, F. Pucci Autonomous Posets and Quantales. Search on Bibsonomy RAIRO Theor. Informatics Appl. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
24David N. Yetter Quantales and (Noncommutative) Linear Logic. Search on Bibsonomy J. Symb. Log. The full citation details ... 1990 DBLP  DOI  BibTeX  RDF
22Roland Glück, Bernhard Möller, Michel Sintzoff A Semiring Approach to Equivalences, Bisimulations and Control. Search on Bibsonomy RelMiCS The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
22Mark Hopkins The Algebraic Approach I: The Algebraization of the Chomsky Hierarchy. Search on Bibsonomy RelMiCS The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Kleene, Language, Regular Expression, Grammar, Rational, Semigroup, Monoid, Quantale, Dioid, Context-Free
22Jan Paseka Rieffel induction and strong Morita equivalence in the context of Hilbert modules. Search on Bibsonomy Soft Comput. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Peter Höfner, Bernhard Möller Towards an Algebra of Hybrid Systems. Search on Bibsonomy RelMiCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
22Pedro Resende Modular Specification of Concurrent Systems with Observational Logic. Search on Bibsonomy WADT The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
22Roberto Giacobazzi, Francesco Ranzato, Francesca Scozzari Building Complete Abstract Interpretations in a Linear Logic-based Setting. Search on Bibsonomy SAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #87 of 87 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license