Manuel Carro Liñares

Archive Network Publication Hotspot Collaboration

Network

Latest external collaboration on country level. Dive into details by clicking on the dots.

Explore More

Hotspot

Dive into the research topics where Manuel Carro Liñares is active.

Explore More

Publication

Featured researches published by Manuel Carro Liñares.

Archive | 2002

The ciao prolog system

Francisco Bueno Carrillo; Daniel Cabeza Gras; Manuel Carro Liñares; Manuel V. Hermenegildo; Pedro López García; Alvaro Germán Puebla Sánchez

Archive | 1997

CP debugging needs and tools

Abderrahmane Aggoun; Francisco Bueno Carrillo; Manuel Carro Liñares; Pierre Deransart; Massimo Fabris; Wlodek Drabent; Gerard Ferrand; Manuel V. Hermenegildo; Claude Lai; J. Lloyd; Jan Maluszynski; Alvaro Germán Puebla Sánchez; Alexandre Tessier

Tools for Search Tree Visualization: The APT Tool | En: Analysis and Visualization Tools for Constraint Programming | pag. 237-252 | Springer Berlin Heidelberg | 2000-09 | 2000

Tools for Search Tree Visualization: The APT Tool

Manuel Carro Liñares; Manuel V. Hermenegildo

international conference on lightning protection | 2002

A simple approach to distributed objects in prolog

Manuel Carro Liñares; Manuel V. Hermenegildo

Archive | 2013

The ciao system

Francisco Bueno Carrillo; Manuel Carro Liñares; R. Haemmerlé; Manuel V. Hermenegildo; Pedro López García; E. Mera; José Francisco Morales Caballero; Alvaro Germán Puebla Sánchez

Proceedings of the 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies | 1994 COMPULOG-NET Workshop Parallelism and Implementation Technologies | September 1994 | Madrid, Spain | 1994

On the uses of attributed variables in parallel and concurrent logic programming systems

Manuel V. Hermenegildo; Daniel Cabeza Gras; Manuel Carro Liñares

Lecture Notes in Computer Science, ISSN 0302-9743, 2008-12, Vol. 4902 | 2008

An Improved Continuation Call-Based Implementation of Tabling

Manuel V. Hermenegildo; Manuel Carro Liñares; Cláudio T. Silva; Ricardo Rocha

Proceedings of CICLOPS 2007: 7th International Colloquium on Implementation of Constraint and Logic Programming Systems | 7th International Colloquium on Implementation of Constraint and Logic Programming Systems | September 8, 2007 | Porto, Portugal | 2007

Towards high-level execution primitives for and-parallelism: preliminary results

Amadeo Casas; Manuel Carro Liñares; Manuel V. Hermenegildo

Archive | 1998

An Introductory Course on Constraint Logic Programming

Manuel Carro Liñares; Manuel V. Hermenegildo; Francisco Bueno Carrillo; Daniel Cabeza Gras; M. García de la Banda; Pedro López García

Proceedings of CICLOPS 2009 | 9 th International Colloquium on Implementation of Constraint and LOgic Programming Systems | 14 th July, 2009 | Pasadena, CA, USA | 2009