Observatorio de I+D+i UPM

Memorias de investigación
Research Publications in journals:
Higher Order Logic Programming Languages with Constraints: A Semantics
Year:2007
Research Areas
  • Programming language
Information
Abstract
Articulo en actas
International
Si
JCR
No
Title
Proc. TLCA (LNCS)
ISBN
0302-9743
Impact factor JCR
0
Impact info
Volume
4583
Journal number
0
From page
272
To page
289
Month
JUNIO
Ranking
Participants
  • Autor: Susana Nieva
  • Autor: Manuel de Hermenegildo Salinas (UPM)
  • Autor: James Lipton (CLIP)
Research Group, Departaments and Institutes related
  • Creador: 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)