Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 chapter "Origins of bisimulation and coinduction".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 editor1First "Davide".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 editor1Last "Sangiorgi".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 editor2First "Jan".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 editor2Last "Rutten".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 first "Davide".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 isCitedBy Axiom_of_regularity.
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 last "Sangiorgi".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 publisher "Cambridge University Press".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 title "Advanced Topics in Bisimulation and Coinduction".
- 133ae652e76be3ce18cc97bd1bf870490f495769b7366622fa54abd464cfdff8 year "2011".