Matches in DBpedia 2015-10 for { <http://books.google.com/books?vid=ISBN978-1-107-00497-9> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- books?vid=ISBN978-1-107-00497-9 chapter "Origins of bisimulation and coinduction".
- books?vid=ISBN978-1-107-00497-9 editor1First "Davide".
- books?vid=ISBN978-1-107-00497-9 editor1Last "Sangiorgi".
- books?vid=ISBN978-1-107-00497-9 editor2First "Jan".
- books?vid=ISBN978-1-107-00497-9 editor2Last "Rutten".
- books?vid=ISBN978-1-107-00497-9 first "Davide".
- books?vid=ISBN978-1-107-00497-9 isCitedBy Non-well-founded_set_theory.
- books?vid=ISBN978-1-107-00497-9 isbn "978-1-107-00497-9".
- books?vid=ISBN978-1-107-00497-9 last "Sangiorgi".
- books?vid=ISBN978-1-107-00497-9 publisher "Cambridge University Press".
- books?vid=ISBN978-1-107-00497-9 title "Advanced Topics in Bisimulation and Coinduction".
- books?vid=ISBN978-1-107-00497-9 year "2011".