◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Flash Sheridan

4 papers hereh-index 374 citations7 works total

Matching runs newest-first, so older work may not be attached to this profile yet.

author position
  • sole author4

Across the 4 of 4 papers where every author was matched, so the position is known.

fields
  • cs.SE3
  • math.LO1

identity via Semantic Scholar / OpenAlex

most citedPractical Testing of a C99 Compiler Using Output Comparison

21 citations · 21 across the 4 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2021

A Closer Look at the Russell Paradox

Flash Sheridan

Two types of approximation to the paradoxical Russell Set are presented, one approximating it from below, one from above. It is shown that any lower approximation gives rise to a b…

◍wovepaper

Papers, researchers and institutions, woven together.

Explore
  • Search
  • Researchers
  • Institutions
Account
  • Library
  • Chat
Data
  • arXiv.org
  • Semantic Scholar
  • OpenAlex
  • Latest RSS
AboutContactPrivacyDevelopersllms.txtopenapi.json
Not affiliated with arXiv. Researcher data from Semantic Scholar (ODC-BY) and OpenAlex.