Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Parametric Descriptive Types for CLP., , and . JFPLC, page 239-256. Hermes, (2001)Modélisation du flot de données par des schémas d'attributs dans les programmes logiques., and . SPLT, (1984)Unification-Free Execution of Logic Programs., and . SLP, page 78-86. IEEE-CS, (1985)A Logic Programming Framework for Rough Sets., and . Rough Sets and Current Trends in Computing, volume 2475 of Lecture Notes in Computer Science, page 205-212. Springer, (2002)A Contribution to Error Recovery.. MFCS, volume 32 of Lecture Notes in Computer Science, page 302-307. Springer, (1975)Reduction goals in bottom-up recognition.. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 294-300. Springer, (1973)Our LIPS Are Sealed: Interfacing Functional and Logic Programming Systems., , and . PLILP, volume 631 of Lecture Notes in Computer Science, page 428-442. Springer, (1992)Static and Dynamic Slicing of Constraint Logic Programs., , and . Autom. Softw. Eng., 9 (1): 41-65 (2002)Living with Inconsistency and Taming Nonmonotonicity., and . Datalog, volume 6702 of Lecture Notes in Computer Science, page 384-398. Springer, (2010)Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging., , and . AADEBUG, volume 749 of Lecture Notes in Computer Science, page 350-367. Springer, (1993)