A direct proof of the confluence of combinatory strong reduction
Work
Year: 2009
Type: article
Source: Theoretical Computer Science
Author René David
Institution Université Savoie Mont Blanc
Cites: 5
Cited by: 2
Related to: 10
FWCI:
Citation percentile (by year/subfield): 38.96
Subfield: Geometry and Topology
Field: Mathematics
Domain: Physical Sciences
Sustainable Development Goal Reduced inequalities
Open Access status: green