Found 6 Documents (Results 1–6)
An automated approach to the Collatz conjecture. (English) Zbl 07702721
MSC:
68V15
Automatic synthesis of logical models for order-sorted first-order theories. (English) Zbl 1398.68095
Termination of string rewriting proved automatically. (English) Zbl 1102.68649
MSC:
68T15
68Q42
Filter Results by …
all
top 5
Author
- Aaronson, Scott (1)
- Aschermann, Cornelius (1)
- Frohn, Florian (1)
- Geser, Alfons (1)
- Giesl, Jürgen (1)
- Gutiérrez, Raúl (1)
- Hensel, Jera (1)
- Heule, Marijn J. H. (1)
- Hofbauer, Dieter (1)
- Lucas, Salvador (1)
- Payet, Étienne (1)
- Ströder, Thomas (1)
- Waldmann, Johannes (1)
- Yolcu, Emre (1)
- Zantema, Hans (1)
all
top 5
Volume
- 68, No. 1 (2024) (1)
- 67, No. 2 (2023) (1)
- 60, No. 4 (2018) (1)
- 59, No. 1 (2017) (1)
- 34, No. 4 (2005) (1)
- 34, No. 2 (2005) (1)