I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Variant-based Equational Unification under Constructor Symb..:

Aparicio-Sánchez, Damián ; Escobar Román, Santiago ; Sapiña-Sanchis, Julia
36th International Conference on Logic Programming Special Issue I. Volume 20 - Issue 5 - September 2020.  , 2020
Link: http://hdl.handle.net/10251/179785