31 citations · 149 across the 30 of their papers we have counts for
Showing 2011 · cs.LOShow all
2 papers · 2 filters
cs.LO2011★ 7 cited
A Foundational View on Integration Problems
Florian Rabe, Michael Kohlhase, Claudio Sacerdoti Coen
The integration of reasoning and computation services across system and language boundaries is a challenging problem of computer science. In this paper, we use integration for the…
cs.LO2011★ 5 cited
A Scalable Module System
Florian Rabe, Michael Kohlhase
Symbolic and logic computation systems ranging from computer algebra systems to theorem provers are finding their way into science, technology, mathematics and engineering. But suc…