Working with ARMs: Complexity Results on Atomic Representations of Herbrand Models
Main Authors: | , |
---|---|
פורמט: | Journal article |
יצא לאור: |
2001
|
Search Result 1
Working with Arms: Complexity Results on Atomic Representations of Herbrand Models
יצא לאור 1999
Conference item