Undecidability of Equality for Codata Types
Work
Year: 2018
Type: book-chapter
Authors Ulrich Berger, Anton Setzer
Institution Swansea University
Cites: 37
Cited by: 3
Related to: 10
FWCI: 0.45
Citation percentile (by year/subfield): 56.11
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Sustainable Development Goal Quality education
Open Access status: closed