Search for persons
X
?
Logic-Based Program Synthesis and Transformation; Lecture Notes in Computer Science ,
4
Confluence Framework: Proving Confluence with CONFident:
, In:
?
Lecture Notes in Networks and Systems; Advances in Artificial Intelligence, Software and Systems Engineering ,
15