callback( { "result":{ "query":":facetid:toc:\"db/conf/hcat/hcat2000.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"195.72" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"8", "@dc":"8", "@oc":"8", "@id":"43384432", "text":":facetid:toc:db/conf/hcat/hcat2000.bht" } }, "hits":{ "@total":"8", "@computed":"8", "@sent":"8", "@first":"0", "hit":[{ "@score":"1", "@id":"6478917", "info":{"authors":{"author":[{"@pid":"b/JABrzozowski","text":"Janusz A. Brzozowski"},{"@pid":"e/ZoltanEsik","text":"Zoltán Ésik"}]},"title":"Hazard Algebras (Extended Abstract).","venue":"A Half-Century of Automata Theory","pages":"1-19","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/BrzozowskiE00","url":"https://dblp.org/rec/conf/hcat/BrzozowskiE00"}, "url":"URL#6478917" }, { "@score":"1", "@id":"6478918", "info":{"authors":{"author":{"@pid":"84/5656","text":"Juris Hartmanis"}},"title":"Undecidability and Incompleteness Results in Automata Theory.","venue":"A Half-Century of Automata Theory","pages":"21-35","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/Hartmanis00","url":"https://dblp.org/rec/conf/hcat/Hartmanis00"}, "url":"URL#6478918" }, { "@score":"1", "@id":"6478919", "info":{"authors":{"author":{"@pid":"h/JohnEHopcroft","text":"John E. Hopcroft"}},"title":"Automata Theory: Its Past and Future.","venue":"A Half-Century of Automata Theory","pages":"37-47","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/Hopcroft00","url":"https://dblp.org/rec/conf/hcat/Hopcroft00"}, "url":"URL#6478919" }, { "@score":"1", "@id":"6478920", "info":{"authors":{"author":{"@pid":"55/65","text":"Werner Kuich"}},"title":"Forty Years of Formal Power Series in Automata Theory.","venue":"A Half-Century of Automata Theory","pages":"49-71","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/Kuich00","url":"https://dblp.org/rec/conf/hcat/Kuich00"}, "url":"URL#6478920" }, { "@score":"1", "@id":"6478921", "info":{"authors":{"author":{"@pid":"80/5501","text":"Robert McNaughton"}},"title":"Playing Infinite Games in Finite Time.","venue":"A Half-Century of Automata Theory","pages":"73-91","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/McNaughton00","url":"https://dblp.org/rec/conf/hcat/McNaughton00"}, "url":"URL#6478921" }, { "@score":"1", "@id":"6478922", "info":{"authors":{"author":{"@pid":"r/GrzegorzRozenberg","text":"Grzegorz Rozenberg"}},"title":"Gene Assembly in Ciliates: Computing by Folding.","venue":"A Half-Century of Automata Theory","pages":"93-130","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/Rozenberg00","url":"https://dblp.org/rec/conf/hcat/Rozenberg00"}, "url":"URL#6478922" }, { "@score":"1", "@id":"6478923", "info":{"authors":{"author":{"@pid":"s/ArtoSalomaa","text":"Arto Salomaa"}},"title":"Compositions over a Finite Domain: From Completeness to Synchronizable Automata.","venue":"A Half-Century of Automata Theory","pages":"131-143","year":"2000","type":"Parts in Books or Collections","access":"unavailable","key":"conf/hcat/Salomaa00","url":"https://dblp.org/rec/conf/hcat/Salomaa00"}, "url":"URL#6478923" }, { "@score":"1", "@id":"6479246", "info":{"authors":{"author":[{"@pid":"s/ArtoSalomaa","text":"Arto Salomaa"},{"@pid":"w/DerickWood","text":"Derick Wood"},{"@pid":"y/ShengYu","text":"Sheng Yu 0001"}]},"title":"A Half-Century of Automata Theory: Celebration and Inspiration","venue":"A Half-Century of Automata Theory","publisher":"World Scientific","year":"2000","type":"Editorship","access":"unavailable","key":"conf/hcat/2000","url":"https://dblp.org/rec/conf/hcat/2000"}, "url":"URL#6479246" } ] } } } )