Olivier Bastonero

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

1 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)

1999
1		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)

Coauthor Index

1 Xavier Gouy [1]