


default search action
"Verifying Time and Communication Costs of Rule-Based Reasoners."
Natasha Alechina et al. (2008)
- Natasha Alechina, Brian Logan, Nguyen Hoang Nga, Abdur Rakib
:
Verifying Time and Communication Costs of Rule-Based Reasoners. MoChArt 2008: 1-14

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.