Rewriting Techniques and Applications
No description available.
RéécritureAlgebraïsche logicaAlgorithmeInformatique théoriqueLogicielCongrèsComputer programmingTermersetzungssystemDémonstration théorèmeBewijstheorieAlgorithmesRéécriture, Systèmes de (Informatique)