Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

JELIA
2004
Springer

favoriteEmaildiscussreport

91views Artificial Intelligence» more JELIA 2004»

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

13 years 9 months ago

Sorted Multi-adjoint Logic Programs: Termination Results and Applications

Download sevein.matap.uma.es

Carlos Viegas Damásio, Jesús Medina,

Real-time Traffic

Artificial Intelligence | JELIA 2004 |

claim paper

Related Content

» Inference of WellTypings for Logic Programs with Application to Termination Analysis

» Language Independence and Language Tolerance in Logic Programs

» NonFailure Analysis for Logic Programs

» Static Analysis of Android Programs

» XSB Extending Prolog with Tabled Logic Programming

» Applications of Polytypism in Theorem Proving

» Programming Languages For Interactive Computing

» Variance analyses from invariance analyses

» Higherorder semantic labelling for inductive datatype systems

Post Info
More Details (n/a)

Added	02 Jul 2010
Updated	02 Jul 2010
Type	Conference
Year	2004
Where	JELIA
Authors	Carlos Viegas Damásio, Jesús Medina, Manuel Ojeda-Aciego

Comments (0)