Title
A Formalism for Treating Equivalence of Recursive Procedures
Year
Venue
Field
1985
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS
Combinatorics,Algebra,Computer science,Equivalence (measure theory),Artificial intelligence,Formalism (philosophy),Recursion,Semantics of logic,Branching (version control)
DocType
Volume
Issue
Journal
19
3
ISSN
Citations 
PageRank 
0988-3754
0
0.34
References 
Authors
0
1
Name
Order
Citations
PageRank
Alex Pelin100.68