Library

Export 20 results:
Filters: Author is Anthony K. Seda  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
Ultrametrics
Anthony K. Seda, Pascal Hitzler. Generalized Metrics and Uniquely Determined Logic Programs. Theoretical Computer Science. 2003 ;:187-219.  (419.06 KB)
supported-model semantics
Anthony K. Seda, Pascal Hitzler. Unique Supported-Model Classes of Logic Programs. Information. 2001 ;:295-302.  (177.12 KB)
Priess-Crampe and Ribenboim Fixed-Point Theorem
Anthony K. Seda, Pascal Hitzler. Generalized Metrics and Uniquely Determined Logic Programs. Theoretical Computer Science. 2003 ;:187-219.  (419.06 KB)
l and o and g and i and c and and p and r and o and g and r and a and m and s
Anthony K. Seda, Pascal Hitzler. Acceptable Programs Revisited. In Workshop on Verification in Logic Programming, 16th International Conference on Logic Programming (ICLP'99),; 1999.  (1.1 MB)
Banach contraction mapping theorem
Pascal Hitzler, Anthony K. Seda. A "Converse" of the Bananch Contraction Mapping Theorem. Journal of Electrical Engineering. 2001 ;:3-6.  (172.7 KB)