Search Results for Abstracts - Narrowed by: Models of Computation. SirsiDynix Enterprise https://katalog.hacettepe.edu.tr/client/en_US/default/default/qu$003dAbstracts$0026qf$003dSUBJECT$002509Subject$002509Models$002bof$002bComputation.$002509Models$002bof$002bComputation.$0026ps$003d300?dt=list 2026-03-31T14:40:14Z Rewriting Logic and Its Applications 11th International Workshop, WRLA 2016, Held as a Satellite Event of ETAPS, Eindhoven, The Netherlands, April 2-3, 2016, Revised Selected Papers ent://SD_ILS/0/SD_ILS:616329 2026-03-31T14:40:14Z 2026-03-31T14:40:14Z Author&#160;Lucanu, Dorel. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-319-44802-2">https://doi.org/10.1007/978-3-319-44802-2</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/> Algorithmic Game Theory 9th International Symposium, SAGT 2016, Liverpool, UK, September 19-21, 2016, Proceedings ent://SD_ILS/0/SD_ILS:616306 2026-03-31T14:40:14Z 2026-03-31T14:40:14Z Author&#160;Gairing, Martin. editor.&#160;Savani, Rahul. editor.&#160;SpringerLink (Online service)<br/>Preferred Shelf Number&#160;ONLINE<br/>Electronic Access&#160;<a href="https://doi.org/10.1007/978-3-662-53354-3">https://doi.org/10.1007/978-3-662-53354-3</a><br/>Format:&#160;Electronic Resources<br/>Availability&#160;Online Library~1<br/>