[IEEE 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Wroclaw, Poland (2007.07.10-2007.07.14)] 22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007) - Principles of Superdeduction
Brauner, Paul, Houtmann, Clement, Kirchner, ClaudeAnnée:
2007
Langue:
english
DOI:
10.1109/lics.2007.37
Fichier:
PDF, 298 KB
english, 2007