Pages that link to "Item:Q5742242"
From MaRDI portal
The following pages link to Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes (Q5742242):
Displaying 2 items.
The following pages link to Polynomial and Exponential Bounded Logic Programs with Function Symbols: Some New Decidable Classes (Q5742242):
Displaying 2 items.