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