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

Equational type logic:

Manca, V. ; Salibra, A. ; Scollo, G.
Theoretical Computer Science.  77 (1990)  1-2 - p. 131-159 , 1990
Link: https://doi.org/10.1016/0304-3975(90)90118-2