|
Eprints más vistos: [2013] [2012] [Todos los años] Métodos de tableaux para lógicas con declaraciones de términos, dominios preordenados y operaciones monótonasPara este eprint: [2013] [2012] [Todos los años] Historial de descargas de este eprint:
Descargas por país (deducidas de la dirección IP solicitante) en todos los años
El código original para la generación de estas estadísticas fue desarrollado en la Universidad de Melbourne. Posteriormente, fue modificado y adaptado por Christian McGee y Arthur Sale en la Universidad de Tasmania. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||