Howard C. Wasserman

11 papers B 1Misc 3Journal 6Unranked 1
YearRankTypeTitle / Venue / Authors
2003 J jnl
Generalized linear recursive networks: topological and routing properties.
Comput. Electr. Eng.
Howard C. Wasserman, S. A. Ghozati
2002 B conf
A Theoretical Foundation and a Method for Document Table Structure Extraction and Decompositon.
Document Analysis Systems
Howard C. Wasserman, Keitaro Yukawa, Bon K. Sy, Kui-Lam Kwok, Ihsin T. Phillips
1996 Misc conf
On quantitative measurement of negation in logic programming.
SAC
Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen
1995 Misc conf
An alternative transformation rule for logic programs.
SAC
Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen
1995 J jnl
The Essential Inadequacy of Deduction in Logic Programming.
Log. J. IGPL
Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen
1994 Misc conf
The locality principle and completeness in logic programming.
SAC
Howard C. Wasserman, Zhizhang Shen
1993 — conf
The Essential Inadequacy of Deductions in Logic Programming.
ILPS
Howard C. Wasserman, Keitaro Yukawa, Zhizhang Shen
1978 J jnl
A second-order axiomatic theory of strings.
Notre Dame J. Formal Log.
Howard C. Wasserman
1976 J jnl
A note on evaluation mappings.
Notre Dame J. Formal Log.
Howard C. Wasserman
1976 J jnl
An analysis of the counterfactual conditional.
Notre Dame J. Formal Log.
Howard C. Wasserman
1974 J jnl
Admissible rules, derivable rules, and extendible logistic systems.
Notre Dame J. Formal Log.
Howard C. Wasserman