From post

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.

 

Другие публикации лиц с тем же именем

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