Title
A Unification Algorithm for GP 2.
Year
DOI
Venue
2014
10.14279/tuj.eceasst.71.1002
ECEASST
Field
DocType
Volume
Discrete mathematics,Finite set,Associative property,Expression (mathematics),Computer science,Modulo,Unification,Algorithm,Theoretical computer science,Finitary,Concatenation,Soundness
Journal
71
Citations 
PageRank 
References 
0
0.34
0
Authors
2
Name
Order
Citations
PageRank
Ivaylo Hristakiev100.68
Detlef Plump260462.14