- Queries
- All Stories
- Search
- Advanced Search
- Transactions
- Transaction Logs
Feed Advanced Search
Advanced Search
Advanced Search
Mar 27 2024
Mar 27 2024
Go: website updates
Dec 12 2023
Dec 12 2023
more website for LTL and PD
website for LTL and PD
Labeled_Transition_Systems and Pushdown_Systems
Jul 27 2023
Jul 27 2023
Some additions to IICF by Valentin Springsklee
Mar 21 2022
Mar 21 2022
Fixed wrong sign handling in fmul-add
Dec 17 2020
Dec 17 2020
tuned running time functions
Dec 16 2020
Dec 16 2020
peter_lammich committed rISABELLE1dc01c11aa86: simplified complexity proofs. Increased precision of T_del_min_bound. (though….
simplified complexity proofs. Increased precision of T_del_min_bound. (though…
added missing +1 to T_insert (for function call)
Dec 15 2020
Dec 15 2020
removed redundant T_xxx_bound_aux lemmas
Dec 4 2020
Dec 4 2020
removed session name
peter_lammich committed rISABELLEba65dc3e35af: summarized structural and ordering invariant for trees.
summarized structural and ordering invariant for trees
Nov 26 2020
Nov 26 2020