PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Maluszynski, Jan"

Author of the publication

copydeleteadd this publication to your clipboard
Directional Types and the Annotation Method.

, and . J. Log. Program., 33 (3): 179-220 (1997)

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.

Tim Janz University of Stuttgart

PD Dr. phil. Frank Janle University of Stuttgart

Benedikt Janny

Isabel Janowsky University of Stuttgart

Hon. -Prof. Dr. Martin Jansen University of Stuttgart

 

Other publications of authors with the same name

Hybrid rules with well-founded semantics., and . Knowl. Inf. Syst., 25 (1): 137-168 (2010)Reduction goals in bottom-up recognition.. Automatentheorie und Formale Sprachen, volume 2 of Lecture Notes in Computer Science, page 294-300. Springer, (1973)Type-based Diagnosis of CLP Programs., , and . Electr. Notes Theor. Comput. Sci., 30 (4): 215-234 (1999)Unification-Free Execution of Logic Programs., and . SLP, page 78-86. IEEE-CS, (1985)A Contribution to Error Recovery.. MFCS, volume 32 of Lecture Notes in Computer Science, page 302-307. Springer, (1975)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)Hybrid Rules with Well-Founded Semantics, and . CoRR, (2009)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)Logic Programming and Rapid Prototyping., and . Sci. Comput. Program., 9 (2): 179-205 (1987)