default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJohn Harding
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
[j31]Guram Bezhanishvili, John Harding, Patrick J. Morandi:
Remarks on hyperspaces for Priestley spaces. Theor. Comput. Sci. 943: 187-202 (2023)- 2022
- [j30]Maria D. Cruz-Quinones, John Harding
:
Completions of Pseudo Ordered Sets. Order 39(1): 95-111 (2022) - 2021
- [j29]John Harding, Chris Heunen:
Topos Quantum Theory with Short Posets. Order 38(1): 111-125 (2021) - [j28]John Harding, Frederik Möllerström Lauridsen:
Hyper-MacNeille Completions of Heyting Algebras. Stud Logica 109(5): 1119-1157 (2021) - 2020
- [j27]Guram Bezhanishvili, John Harding:
Raney Algebras and Duality for T0-Spaces. Appl. Categorical Struct. 28(6): 963-973 (2020)
2010 – 2019
- 2019
- [j26]Guram Bezhanishvili, David Gabelaia, John Harding, Mamuka Jibladze:
Compact Hausdorff Spaces with Relations and Gleason Spaces. Appl. Categorical Struct. 27(6): 663-686 (2019) - [j25]John Harding, Chris Heunen, Bert Lindenhovius, Mirko Navara:
Boolean Subalgebras of Orthoalgebras. Order 36(3): 563-609 (2019) - 2018
- [c9]John Harding, Richard Graham, Edwin Park:
CTRL: A Flexible, Precision Interface for Analog Synthesis. NIME 2018: 234-237 - 2017
- [j24]John Harding, Anna B. Romanowska:
Varieties of Birkhoff Systems Part I. Order 34(1): 45-68 (2017) - [j23]John Harding, Anna B. Romanowska:
Varieties of Birkhoff Systems Part II. Order 34(1): 69-89 (2017) - 2016
- [j22]John Harding, Carol L. Walker, Elbert A. Walker:
Overview of Lattices of Convex Normal Functions. Int. J. Intell. Syst. 31(3): 257-275 (2016) - [j21]Guram Bezhanishvili, John Harding:
On the Proof that Compact Hausdorff Boolean Algebras are Powersets. Order 33(2): 263-268 (2016) - [c8]Murat Akser, Brian Bridges, Giuliano Campo, Abbas Cheddad, Kevin Curran, Lisa Fitzpatrick, Linley Hamilton, John Harding, Ted Leath, Tom Lunney, Frank Lyons, Minhua Ma, John MacRae, Tom Maguire, Aiden McCaughey, Eileen McClory, Victoria McCollum, Paul Mc Kevitt, Adam Melvin, Paul Moore, Eleanor Mulholland, Karla Muñoz, Greg O'Hanlon, Laurence Roman:
SceneMaker: Creative Technology for Digital StoryTelling. ArtsIT/DLI 2016: 29-38 - 2015
- [j20]Guram Bezhanishvili, Nick Bezhanishvili, John Harding:
Modal Operators on Compact Regular Frames and de Vries Algebras. Appl. Categorical Struct. 23(3): 365-379 (2015) - [j19]John Harding, Carol L. Walker, Elbert A. Walker:
Partial Orders on Fuzzy Truth Value Algebras. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 23(2): 193-220 (2015) - [j18]John Harding, Carol L. Walker, Elbert A. Walker:
Equations in Type-2 Fuzzy Sets. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 23(Supplement-1): 31-42 (2015) - [j17]Guram Bezhanishvili, Nick Bezhanishvili, John Harding:
Modal compact Hausdorff spaces. J. Log. Comput. 25(1): 1-35 (2015) - [c7]Richard Graham, John Harding:
Septar: audio breakout design for multichannel guitar. NIME 2015: 241-244 - 2014
- [j16]Guram Bezhanishvili, John Harding:
Proximity Frames and Regularization. Appl. Categorical Struct. 22(1): 43-78 (2014) - [j15]John Harding, Carol L. Walker, Elbert A. Walker:
Categories with fuzzy sets and relations. Fuzzy Sets Syst. 256: 149-165 (2014) - [c6]John Harding, Will Pearson, Harri Lewis, Stephen Melville:
The Ongreening Pavilion. AAG 2014: 295-308 - 2013
- [j14]John Harding:
Decidability of the Equational Theory of the Continuous Geometry $CG(\Bbb {F})$. J. Philos. Log. 42(3): 461-465 (2013) - [j13]John Harding:
Daggers, Kernels, Baer *-semigroups, and Orthomodularity. J. Philos. Log. 42(3): 535-549 (2013) - [c5]John Harding, Carol L. Walker, Elbert A. Walker:
Partial orders on the truth value algebra of finite type-2 fuzzy sets. IFSA/NAFIPS 2013: 163-168 - [p2]John Harding, Carol L. Walker, Elbert A. Walker:
Type-2 Fuzzy Sets and Bichains. Advances in Type-2 Fuzzy Sets and Systems 2013: 97-112 - 2012
- [j12]John Harding, Bart Kastermans, Keith A. Kearnes, J. Donald Monk, Ágnes Szendrei:
The 3rd International Conference on Boolean Algebra, Lattice Theory, Universal Algebra, Set Theory and Set-theoretical Topology - BLAST 2010. Order 29(2): 229-230 (2012) - [j11]Guram Bezhanishvili, John Harding:
Modal Logics of Stone Spaces. Order 29(2): 271-292 (2012) - [c4]John Harding, Sam Joyce, Paul Shepherd, Chris Williams:
Thinking Topologically at Early Stage Parametric Design. AAG 2012: 67-76 - 2011
- [j10]John Harding, Mirko Navara:
Subalgebras of Orthomodular Lattices. Order 28(3): 549-563 (2011) - 2010
- [j9]John Harding, Carol L. Walker, Elbert A. Walker:
The variety generated by the truth value algebra of type-2 fuzzy sets. Fuzzy Sets Syst. 161(5): 735-749 (2010) - [j8]John Harding, Carol L. Walker, Elbert A. Walker:
Convex normal functions revisited. Fuzzy Sets Syst. 161(9): 1343-1349 (2010) - [c3]John Harding, Christian Derix:
Associative Spatial Networks in Architectural Design: Artificial Cognition of Space Using Neural Networks with Spectral Graph Theory. DCC 2010: 305-323
2000 – 2009
- 2009
- [j7]Guram Bezhanishvili, John Harding:
The modal logic of beta(N). Arch. Math. Log. 48(3-4): 231-242 (2009) - 2008
- [j6]John Harding, Carol L. Walker, Elbert A. Walker:
Lattices of convex normal functions. Fuzzy Sets Syst. 159(9): 1061-1071 (2008) - [j5]John Harding:
kappa -Complete Uniquely Complemented Lattices. Order 25(2): 121-129 (2008) - [p1]John Harding:
Completions of Ordered Algebraic Structures: A Survey. Interval / Probabilistic Uncertainty and Non-Classical Logics 2008: 231-244 - 2007
- [c2]John Harding, Carol L. Walker, Elbert A. Walker:
On Complete Sublattices of the Algebra of Truth Values of Type-2 Fuzzy Sets. FUZZ-IEEE 2007: 1-5 - 2003
- [j4]John Harding, Michael S. Roddy:
Obituary: Günter Bruns. Order 20(4): 329-332 (2003) - 2000
- [j3]Gunter Bruns, John Harding:
Epimorphisms in Certain Varieties of Algebras. Order 17(2): 195-206 (2000) - [j2]John Harding, Mirko Navara:
Embeddings into Orthomodular Lattices with Given Centers, State Spaces and Automorphism Groups. Order 17(3): 239-254 (2000)
1990 – 1999
- 1999
- [c1]Mouna Nakkar, David G. Bentlage, John Harding, David Schwartz, Paul D. Franzon, Thomas M. Conte:
Dynamically Programmable Cache Evaluation and Virtualization. FPGA 1999: 246 - 1997
- [j1]John Harding, Massimo Marinacci, Nhu T. Nguyen, Tonghui Wang:
Local Radon-Nikodym Derivatives of Set Functions. Int. J. Uncertain. Fuzziness Knowl. Based Syst. 5(3): 379-394 (1997)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 21:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
