ImpactU - Detalle del Producto

Fundadores:

Producto desarrollado por:

@colav
Contacto

ImpactU:

Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación

Información:

ImpactU Versión 3.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia

Tableaux sin refutación

Acceso Cerrado

Idioma: Español

Publicado: 01/01/2005

APC (est): No disponible

JSON

HTML

Abstract:

Resumen en: Motivated by H. Currys well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus w...

Tópico:

Logic, programming, and type systems

Citaciones:

Citaciones por año:

No hay datos de citaciones disponibles

Altmétricas:

No hay DOI disponible para mostrar altmétricas

Información de la Fuente:

FuenteMatemáticas: Enseñanza Universitaria	Cuartil año de publicaciónNo disponible	VolumenNo disponible
Issue2	Páginas81 - 99	pISSNNo disponible
ISSNNo disponible	Perfil OpenAlexhttps://openalex.org/S4306519279

Enlaces e Identificadores:

Uri URL	https://hdl.handle.net/10893/1718	Oaipmh URL	https://bibliotecadigital.univalle.edu.co/server/oai/request?verb=GetRecord&metadataPrefix=dim&identifier=oai:bibliotecadigital.univalle.edu.co:10893/1718	Dspace URL	https://bibliotecadigital.univalle.edu.co/handle/10893/1718
Openalex URL	https://openalex.org/W1606628894

Artículo de revista