Anne C. Morel
University of California System(US)University of California, Davis(US)
Research Areas
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Advanced Algebra and Logic
Logic, programming, and type systems, Logic, Reasoning, and Knowledge, Advanced Algebra and Logic