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

Generalized linear recursive networks: topological and routing properties., and . Comput. Electr. Eng., 29 (1): 121-134 (2003)A Theoretical Foundation and a Method for Document Table Structure Extraction and Decompositon., , , , and . Document Analysis Systems, volume 2423 of Lecture Notes in Computer Science, page 291-294. Springer, (2002)A second-order axiomatic theory of strings.. Notre Dame J. Formal Log., 19 (4): 629-633 (1978)Admissible rules, derivable rules, and extendible logistic systems.. Notre Dame J. Formal Log., 15 (2): 265-278 (1974)The Essential Inadequacy of Deduction in Logic Programming., , and . Logic Journal of the IGPL, 3 (1): 107-110 (1995)A note on evaluation mappings.. Notre Dame J. Formal Log., 17 (4): 613-614 (1976)An analysis of the counterfactual conditional.. Notre Dame J. Formal Log., 17 (3): 395-400 (1976)The locality principle and completeness in logic programming., and . SAC, page 286-291. ACM, (1994)On quantitative measurement of negation in logic programming., , and . SAC, page 58-62. ACM, (1996)An alternative transformation rule for logic programs., , and . SAC, page 364-368. ACM, (1995)