Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
| Հիմնական հեղինակներ: | , |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
2001
|
Search Result 1
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
Հրապարակվել է 1999
Conference item