Pages that link to "Item:Q926451"
From MaRDI portal
The following pages link to Computer science -- theory and applications. Second international symposium on computer science in Russia, CSR 2007, Ekaterinburg, Russia, September 3--7, 2007. Proceedings (Q926451):
Displaying 4 items.
- The higher-order prover \textsc{Leo}-II (Q287283) (← links)
- Computer science -- theory and applications. Fourth international computer science symposium in Russia, CSR 2009, Novosibirsk, Russia, August 18--23, 2009. Proceedings (Q2271106) (← links)
- Extensional higher-order paramodulation in Leo-III (Q2666959) (← links)
- A classification of aperiodic order via spectral metrics and Jarník sets (Q5235119) (← links)