Micah Halter is an author at Topos specializing in semantic web, computational linguistics, and automated reasoning.
Top concepts
EngineeringData ScienceSemantic WebData ModelingFormal MethodsSoftware DesignComputer ScienceAutomated ReasoningSystems EngineeringDomain-specific Modeling
Publications per year
2020–2022
2
2
Compositional Scientific Computing with Catlab and SemanticModels
Micah Halter, Evan Patterson, Andrew Baas et al. · arXiv (Cornell University) · 2020 · 10 citations · Full text
Rows per page
1–2 of 2