ProV Logo
0
eBooks from Lemonjar Open Access | Back
Runs in labelled tr... by Lackner, Marie-Louise...
Putting Logic-Based... by Ameloot, Tom J....
Explicit cost bound... by Dexter, Nick...
Fractal AC circuits... by Akkermans, Eric...
Horn Clauses as an ... by Gange, Graeme...
Terrestrial Gravity... by Harms, Jan...
Proving Correctness... by De Angelis, Emanuele...
Generalized Totaliz... by Joshi, Saurabh...
Functional equation... by Spilioti, Polyxeni...
Practical Run-time ... by Stulova, Nataliia...