Workshop on Computer Science Logic (2001 Paris, France)

• Computer science logic