A formally verified prover for the ALC description logic in PVS
Revisión del 10:49 2 jun 2010 de Mjoseh (discusión | contribuciones) (New page: {| border="1" | '''Title:''' | |- | '''Authors:''' | {{jalonso}}, {{mjoseh}} and {{fmartin}}. |- | '''Date:''' | |- | '''Description:''' | |- | '''Code:''' | You can find the PVS t...)
Title: | |
Authors: | José A. Alonso, María J. Hidalgo and Francisco J. Martín. |
Date: | |
Description: | |
Code: | You can find the PVS theories in ... |
Documentation: | Proving termination with multiset orderings in PVS: theory, methodology and applications |