Stop the war!
Остановите войну!
for scientists:
default search action
"The Beauty and the Beast Algorithm: Testing Entailment and Disentailment ..."
Andreas Podelski, Peter Van Roy (1993)
- Andreas Podelski, Peter Van Roy:
The Beauty and the Beast Algorithm: Testing Entailment and Disentailment Incrementally. ICLP Workshop on Concurrent Constraint Programming 1993
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.