Similar Items: Build your own clarithmetic I: Setup and completeness
- Build your own clarithmetic II: Soundness
- The Dangers of Building Your Own Python Applications: False-Positives, Unknown Publishers, and Code Licensing
- Data management for distributed computational workflows: An iRODS-based setup and its performance
- Building Expertise on FAIR Through Evolving Bring Your Own Data (BYOD) Workshops: Describing the Data, Software, and Management-focused Approaches and Their Evolution
- Investigation of the Hybrid Switching Process Using Different Test Setups and Measurement Techniques
- Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA