Keyword:implementation of logics

Publications
Shared Terms and Cached Rewriting Stephan Schulz In:Proceedings of the 14th and 15th International Workshops on the Implementation of Logics
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz In:Proceedings of the 7th and 8th Vampire Workshop
Lazy and Eager Patterns in High-Performance Automated Theorem Proving Stephan Schulz EasyChair Preprint 10510