Crossing the Undecidability Border with Extensions of Propositional Neighborhood Logic over Natural Numbers
Year: | 2012 |
---|---|
Pages: | 2798-2831 |
ISSN: | 0948-695X |
DTU users get better search results including licensed content and discounts on order fees.
Anyone can log in and get personalized features such as favorites, tags and feeds.
Year: | 2012 |
---|---|
Pages: | 2798-2831 |
ISSN: | 0948-695X |