Paper Info
Title
Termination Checking in the Presence of Nested Inductive and Coinductive Types.
Year
Venue
Field
2010
PAR@ITP
Programming language,Computer science,Coinduction
DocType
Citations 
PageRank 
Conference
6
0.50
References 
Authors
0
2
Name
Order
Citations
PageRank
Thorsten Altenkirch166856.85
Nils Anders Danielsson21008.26