Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Reasoning with coincidence grids-A sequent-based logic and an analysis of complexity
Year:2011
Research Areas
Information
Abstract
International
Si
JCR
Si
Title
JOURNAL OF VISUAL LANGUAGES AND COMPUTING
ISBN
1045-926X
Impact factor JCR
0,667
Impact info
Volume
22
10.1016/j.jvlc.2010.11.006
Journal number
1
From page
56
To page
65
Month
Ranking
73/99 COMPUTER SCIENCE, SOFTWARE ENGINEERING (SCI)
Participants
  • Autor: dave barker-plummer
  • Autor: nik swoboda (UPM)
Research Group, Departaments and Institutes related
  • Creador: No seleccionado
  • Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2020 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)