default search action
Wesley Calvert
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [i6]Wesley Calvert, Valentina S. Harizanov, Eugenio G. Omodeo, Alberto Policriti
, Alexandra Shlapentokh:
In Memory of Martin Davis. CoRR abs/2401.10154 (2024) - 2023
- [j22]Wesley Calvert
Structural Highness Notions. J. Symb. Log. 88(4): 1692-1724 (2023) - [c3]Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
Generically Computable Abelian Groups. UCNC 2023: 32-45 - [i5]Wesley Calvert, Emma Grunner, Elvira Mayordomo, Daniel Turetsky, Java Darleen Villano:
Normality, Relativization, and Randomness. CoRR abs/2312.10204 (2023) - 2022
- [j21]Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
Generically and coarsely computable isomorphisms. Comput. 11(3-4): 223-239 (2022) - [j20]Rachael Alvir, Wesley Calvert, Grant Goodman, Valentina S. Harizanov, Julia F. Knight, Russell G. Miller, Andrey S. Morozov, Alexandra A. Soskova
Interpreting a field in its Heisenberg Group. J. Symb. Log. 87(3): 1215-1230 (2022) - [j19]Wesley Calvert, Douglas Cenzer, Valentina S. Harizanov:
Densely computable structures. J. Log. Comput. 32(3): 581-607 (2022)
2010 – 2019
- 2018
- [j18]Wesley Calvert, Andrey N. Frolov, Valentina S. Harizanov, Julia F. Knight, Charles F. D. McCoy, Alexandra A. Soskova
Strong jump inversion. J. Log. Comput. 28(7): 1499-1522 (2018) - 2015
- [j17]Wesley Calvert
PAC learning, VC dimension, and the arithmetic hierarchy. Arch. Math. Log. 54(7-8): 871-883 (2015) - [j16]Wesley Calvert, Johanna N. Y. Franklin:
Genericity and UD-random reals. J. Log. Anal. 7 (2015) - 2014
- [j15]Wesley Calvert, Valentina S. Harizanov, Alexandra Shlapentokh:
Turing Degrees of Isomorphism Types of Geometric Objects. Comput. 3(2): 105-134 (2014) - [i4]Wesley Calvert:
PAC Learning, VC Dimension, and the Arithmetic Hierarchy. CoRR abs/1406.1111 (2014) - 2013
- [j14]Wesley Calvert:
Review of universal semantic communication by B. Juba. SIGACT News 44(3): 12-15 (2013) - [j13]Elham Sahebkar Khorasani, Shahram Rahimi, Wesley Calvert
Formalization of Generalized Constraint Language: A Crucial Prelude to Computing With Words. IEEE Trans. Cybern. 43(1): 246-258 (2013) - 2012
- [j12]Wesley Calvert
Review of process algebra: equational theories of communicating processes by J. C. M. Baeten, T. Basten, and M. A. Reniers. SIGACT News 43(2): 36-38 (2012) - 2011
- [j11]Wesley Calvert
Noncomputable functions in the Blum-Shub-Smale model. Log. Methods Comput. Sci. 7(2) (2011) - [j10]Wesley Calvert
Metric structures and probabilistic computation. Theor. Comput. Sci. 412(25): 2766-2775 (2011) - [i3]Wesley Calvert, Russell G. Miller, Jennifer Chubb Reimann:
The Distance Function on a Computable Graph. CoRR abs/1111.2480 (2011) - 2010
- [j9]Wesley Calvert
Computability of julia sets by Mark Braverman and Michael Yampolsky, Publisher: Springer, 2009. SIGACT News 41(1): 51-53 (2010) - [c2]Wesley Calvert
The Cardinality of an Oracle in Blum-Shub-Smale Computation. CCA 2010: 56-66
2000 – 2009
- 2009
- [j8]Wesley Calvert, Sergei S. Goncharov, Julia F. Knight, Jessica Millar:
Categoricity of computable infinitary theories. Arch. Math. Log. 48(1): 25-38 (2009) - [j7]Wesley Calvert
Effective categoricity of Abelian p-groups. Ann. Pure Appl. Log. 159(1-2): 187-197 (2009) - [c1]Wesley Calvert, Russell G. Miller:
Real Computable Manifolds and Homotopy Groups. UC 2009: 98-109 - 2008
- [i2]Wesley Calvert, John E. Porter:
Infinitary Queries in Spatial Databases. CoRR abs/0803.3404 (2008) - [i1]Wesley Calvert:
Metric Structures and Probabilistic Computation. CoRR abs/0806.0398 (2008) - 2007
- [j6]Wesley Calvert, Ekaterina B. Fokina
Index sets for classes of high rank structures. J. Symb. Log. 72(4): 1418-1432 (2007) - 2006
- [j5]Wesley Calvert
Effective categoricity of equivalence structures. Ann. Pure Appl. Log. 141(1-2): 61-78 (2006) - [j4]Wesley Calvert
Classification from a Computable Viewpoint. Bull. Symb. Log. 12(2): 191-218 (2006) - [j3]Wesley Calvert
Computable trees of Scott rank ω1CK, and computable approximation. J. Symb. Log. 71(1): 283-298 (2006) - 2005
- [j2]Wesley Calvert
The isomorphism problem for computable Abelian p-groups of bounded length. J. Symb. Log. 70(1): 331-345 (2005) - 2004
- [j1]Wesley Calvert
The isomorphism problem for classes of computable fields. Arch. Math. Log. 43(3): 327-336 (2004)
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-08-05 20:22 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: