◍wovepaper
SearchResearchersInstitutions
Sign in
researcher

Brett McLean

18 papers hereh-index 682 citations23 works total

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

author position
  • sole author5
  • first author1
  • middle author1
  • last author11

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

fields
  • math.LO8
  • cs.LO5
  • math.RA5

identity via Semantic Scholar / OpenAlex

activity
20142025
most citedTime and Gödel: Fuzzy temporal reasoning in PSPACE

6 citations · 42 across the 18 of their papers we have counts for

collaborators
Showing 2015Show all

2 papers · 1 filter

math.RA2015★ 3 cited

Algebras of multiplace functions for signatures containing antidomain

Brett McLean

We define antidomain operations for algebras of multiplace partial functions. For all signatures containing composition, the antidomain operations and any subset of intersection, p…

math.RA2015★ 4 cited

The finite representation property for composition, intersection, domain and range

Brett McLean, Szabolcs Mikulás

We prove that the finite representation property holds for representation by partial functions for the signature consisting of composition, intersection, domain and range and for a…

◍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.