Précédent : Systèmes polynomiaux Remonter : Actions de recherche Suivant : Application de la déduction automatique

Preuve

• Application de la déduction automatique aux protocoles de communication
• Études des substitutions explicites et de leurs applications
• Complexité de la déduction automatique
• Logique, théorie de la démonstration