Xavier Gouy

List of publications from the DBLP Bibliography Server - FAQ

1999

2 Olivier Bastonero, Xavier Gouy: Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. Ann. Pure Appl. Logic 100(1-3): 247-277 (1999)

1995

1 Xavier Gouy, Ying Jiang: Universal Retractions on DI-Domains Inf. Comput. 119(2): 252-257 (1995)

1999
2		Olivier Bastonero, Xavier Gouy: Strong Stability and the Incompleteness of Stable Models for lambda-Calculus. Ann. Pure Appl. Logic 100(1-3): 247-277 (1999)
1995
1		Xavier Gouy, Ying Jiang: Universal Retractions on DI-Domains Inf. Comput. 119(2): 252-257 (1995)

Coauthor Index