Matches in Library of Congress for { <http://lccn.loc.gov/2011027493> ?p ?o. }
Showing items 1 to 29 of
29
with 100 items per page.
- 2011027493 contributor B12132052.
- 2011027493 created "2012.".
- 2011027493 date "2012".
- 2011027493 date "2012.".
- 2011027493 dateCopyrighted "2012.".
- 2011027493 description "Includes bibliographical references and index.".
- 2011027493 description "Machine generated contents note: Preface; List of contributors; 1. Origins of bisimulation and coinduction Davide Sangiorgi; 2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten; 3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiři; Srba; 4. Bisimulation and logic Colin Stirling; 5. Howe's method for higher-order languages Andrew Pitts; 6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi; 7. Probabilistic bisimulation Prakash Panangaden.".
- 2011027493 extent "xiii, 326 p. :".
- 2011027493 identifier "9781107004979".
- 2011027493 identifier 9781107004979.jpg.
- 2011027493 identifier 2011027493-b.html.
- 2011027493 identifier 2011027493-d.html.
- 2011027493 identifier 2011027493-t.html.
- 2011027493 isPartOf "Cambridge tracts in theoretical computer science ; 52".
- 2011027493 issued "2012".
- 2011027493 issued "2012.".
- 2011027493 language "eng".
- 2011027493 publisher "Cambridge ; New York : Cambridge University Press,".
- 2011027493 subject "004.01/5113 23".
- 2011027493 subject "Bisimulation.".
- 2011027493 subject "COMPUTERS / Networking / General. bisacsh".
- 2011027493 subject "Coinduction (Mathematics)".
- 2011027493 subject "Computer science.".
- 2011027493 subject "Induction (Mathematics)".
- 2011027493 subject "Modality (Logic)".
- 2011027493 subject "QA76.9.A96 S365 2012".
- 2011027493 tableOfContents "Machine generated contents note: Preface; List of contributors; 1. Origins of bisimulation and coinduction Davide Sangiorgi; 2. An introduction to (co)algebra and (co)induction Bart Jacobs and Jan Rutten; 3. The algorithmics of bisimilarity Luca Aceto, Anna Ingolfsdottir and Jiři; Srba; 4. Bisimulation and logic Colin Stirling; 5. Howe's method for higher-order languages Andrew Pitts; 6. Enhancements of the bisimulation proof method Damien Pous and Davide Sangiorgi; 7. Probabilistic bisimulation Prakash Panangaden.".
- 2011027493 title "Advanced topics in bisimulation and coinduction / edited by Davide Sangiorgi, Jan Rutten.".
- 2011027493 type "text".
