"théorie type." . . "modèle fini." . . "Association for Symbolic Logic (Urbana, Illinois)" . . "Informatik." . . "IEEE Annual Symposium on Logic in Computer Science (10th : June 1995 : San Diego,)" . . . . . "Informatique Mathématiques Congrès." . . "Lógica simbólica y matemática Congresos." . . "Logique mathématique." . . "Association for Computing Machinery (Nueva York). Special Interest Group on Automata and Computability Theory." . . "Symposium on Logic in Computer Science (10º. 1995. San Diego, Estados Unidos)" . . . "unification." . . "Théorie des modèles finis." . . "intelligence artificielle." . . "Intelligence artificielle." . "programmation en logique." . . "concurrence." . . "lambda calcul." . . "Lambda-calcul." . "Symposium on Logic in Computer Science (10th : 1995 : San Diego, Calif.)" . . . "Informatique." . . "réécriture." . . "European Association for Theoretical Computer Science." . . "IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing." . . "Symposium on Logic in Computer Science (10e : 1995 : San Diego, Calif.)" . . . "Logique symbolique et mathématique Congrès." . . "démonstration théorème." . . "vérification." . . "Kongreß." . . "Ordenadores Matemáticas Congresos." . . "Mathematische Logik." . . "logique linéaire." . . "Logique linéaire." . "LICS'95" . . . . . "1995 IEEE 10th Annual Symposium on Logic in Computer Science" . "1995 IEEE 10th Annual Symposium on Logic in Computer Science"@en . "Logic in Computer Science, 1995, LICS '95, proceedings, Tenth Annual IEEE Symposium on" . . . . "Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science"@en . "Proceedings, Tenth Annual IEEE Symposium on Logic in Computer Science" . . . . . . . "Proceedings tenth Annual IEEE Symposium on Logic in Computer Science, June 26-29, 1995, San Diego, California" . . . . . "10th Annual IEEE Symposium on Logic in Computer Science"@en . "Conference papers and proceedings"@en . . "10th Annual IEEE Symposium on Logic in Computer Science" . . . . . "LICS '95"@en . "LICS '95" . . . . . . . "Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings : june 26-29, 1995, San Diego, California" . "Ressource Internet (Descripteur de forme)" . . . "Tenth Annual IEEE Symposium on Logic in Computer Science : proceedings, June 26-29, 1995, San Diego, California"@en . . . . . . . . . . . "Logic in computer science" . "Logic in computer science"@en . . . . "Tenth Annual IEEE Symposium on Logic in Computer Science proceedings, June 26-29, 1995, San Diego, California" . "Tenth Annual IEEE Symposium on Logic in Computer Science proceedings, June 26-29, 1995, San Diego, California"@en . "Annual IEEE Symposium on Logic in Computer Science" . . . . "San Diego (Calif., 1995)"@en . . . . "Symposium on Logic in computer Science" . . "Tenth Annual IEEE Symposium on Logic in Computer Science proceedings : June 26-29, 1995, San Diego, California" . . "sémantique." . .