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):
Displaying 4 items.
The following pages link to FO(FD): Extending classical logic with rule-based fixpoint definitions (Q3585169):
Displaying 4 items.