Pages that link to "Item:Q3532471"
From MaRDI portal
The following pages link to Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness (Q3532471):
Displaying 4 items.
- A fibrational framework for possible-world semantics of \textsc{Algol}-like languages (Q879351) (← links)
- Coalgebraic Semantics for Parallel Derivation Strategies in Logic Programming (Q3067470) (← links)
- Fibrational Semantics for Many-Valued Logic Programs: Grounds for Non-Groundness (Q3532471) (← links)
- (Q4873969) (← links)