Paper Info
Title
Implementing the Synthesis of Properties in Unfold/Fold Transformations
Abstract
Without Abstract
Year
DOI
Venue
1994
10.1007/3-540-58402-1_37
PLILP
Keywords
Field
DocType
fold transformations
Logic program,Algebra,Computer science,Automated theorem proving,Recursive definition
Conference
ISBN
Citations 
PageRank 
3-540-58402-1
0
0.34
References 
Authors
3
1
Name
Order
Citations
PageRank
K. Bsaïes14512.46