Logic and functional programming by retractions
M. Bellia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
M. Bellia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Fabio Alessi, Franco Barbanera (1994)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Uwe Rösler (1991)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
M. Bellia (1988)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
G. Berry (1976)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
M. Rittri (1993)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity:
Manfred Broy, Martin Wirsing (1983)
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Similarity: