Tyson, Mabry

3 publications

IJCAI 1993 FASTUS: A Finite-State Processor for Information Extraction from Real-World Text Douglas E. Appelt, Jerry R. Hobbs, John Bear, David J. Israel, Mabry Tyson

IJCAI 1985 An Analysis of Consecutively Bounded Depth-First Search with Applications in Automated Deduction Mark E. Stickel, Mabry Tyson

AAAI 1982 Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover Mabry Tyson