Pages that link to "Item:Q3585169"
From MaRDI portal
The following pages link to FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169):
Displayed 1 item.
The following pages link to FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169):
Displayed 1 item.