Pages that link to "Item:Q808273"
From MaRDI portal
The following pages link to Using information systems to solve recursive domain equations (Q808273):
Displaying 8 items.
- Quasi-prime algebraic domains (Q672133) (← links)
- Program extraction from normalization proofs (Q817701) (← links)
- Configuration structures, event structures and Petri nets (Q843106) (← links)
- A notion of information related to computation (Q1127395) (← links)
- Notions from rough set theory in a generalized dependency relation context (Q1644893) (← links)
- New perspectives of granular computing in relation geometry induced by pairings (Q2000596) (← links)
- A category of quantum posets (Q2088113) (← links)
- Bounded complete domains and their logical form (Q2105444) (← links)
