Publications
194 total
No publications found.
Research Topics
Logic, programming, and type systems
Formal Methods in Verification
Logic, Reasoning, and Knowledge
Computability, Logic, AI Algorithms
semigroups and automata theory
Affiliations
Theodore Roosevelt High School
External Profiles
Continue on JournalsHub
Put what you just read into practice with these free tools.