Term rewriting characterisation of LOGSPACE for finite and infinite data
Project: InfTy
Updated at: 28-04-2024
Show more
information
Project acronym
InfTy