Pages that link to "Item:Q5705927"
From MaRDI portal
The following pages link to Logic for Programming, Artificial Intelligence, and Reasoning (Q5705927):
Displaying 6 items.
- Equational theory of positive numbers with exponentiation is not finitely axiomatizable (Q918968) (← links)
- QPCF: higher-order languages and quantum circuits (Q2331073) (← links)
- On models of exponentiation. Identities in the HSI-algebra of posets (Q3506325) (← links)
- (Q3992263) (← links)
- (Q4531090) (← links)
- (Q4601873) (← links)