callback( { "result":{ "query":":facetid:toc:\"db/journals/tcs/tcs269.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"190.47" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"15", "@dc":"15", "@oc":"15", "@id":"43485854", "text":":facetid:toc:db/journals/tcs/tcs269.bht" } }, "hits":{ "@total":"15", "@computed":"15", "@sent":"15", "@first":"0", "hit":[{ "@score":"1", "@id":"6346511", "info":{"authors":{"author":[{"@pid":"b/GBarthe","text":"Gilles Barthe"},{"@pid":"52/5739","text":"John Hatcliff"},{"@pid":"s/MortenHeineSorensen","text":"Morten Heine Sørensen"}]},"title":"Weak normalization implies strong normalization in a class of non-dependent pure type systems.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"317-361","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/BartheHS01a","doi":"10.1016/S0304-3975(01)00012-3","ee":"https://doi.org/10.1016/S0304-3975(01)00012-3","url":"https://dblp.org/rec/journals/tcs/BartheHS01a"}, "url":"URL#6346511" }, { "@score":"1", "@id":"6346517", "info":{"authors":{"author":[{"@pid":"b/JanABergstra","text":"Jan A. Bergstra"},{"@pid":"p/APonse","text":"Alban Ponse"}]},"title":"Non-regular iterators in process algebra.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"203-229","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/BergstraP01","doi":"10.1016/S0304-3975(00)00413-8","ee":"https://doi.org/10.1016/S0304-3975(00)00413-8","url":"https://dblp.org/rec/journals/tcs/BergstraP01"}, "url":"URL#6346517" }, { "@score":"1", "@id":"6346571", "info":{"authors":{"author":[{"@pid":"00/6390","text":"Flavio Corradini"},{"@pid":"f/GianLuigiFerrari","text":"Gian-Luigi Ferrari 0002"},{"@pid":"01/649","text":"Marco Pistore"}]},"title":"On the semantics of durational actions.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"47-82","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/CorradiniFP01","doi":"10.1016/S0304-3975(00)00375-3","ee":"https://doi.org/10.1016/S0304-3975(00)00375-3","url":"https://dblp.org/rec/journals/tcs/CorradiniFP01"}, "url":"URL#6346571" }, { "@score":"1", "@id":"6346592", "info":{"authors":{"author":[{"@pid":"95/3489","text":"Ivo Düntsch"},{"@pid":"m/SzabolcsMikulas","text":"Szabolcs Mikulás"}]},"title":"Cylindric structures and dependencies in relational databases.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"451-468","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/DuntschM01","doi":"10.1016/S0304-3975(01)00016-0","ee":"https://doi.org/10.1016/S0304-3975(01)00016-0","url":"https://dblp.org/rec/journals/tcs/DuntschM01"}, "url":"URL#6346592" }, { "@score":"1", "@id":"6346611", "info":{"authors":{"author":{"@pid":"f/OlivierFinkel","text":"Olivier Finkel"}},"title":"Wadge hierarchy of omega context-free languages.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"283-315","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Finkel01b","doi":"10.1016/S0304-3975(01)00008-1","ee":"https://doi.org/10.1016/S0304-3975(01)00008-1","url":"https://dblp.org/rec/journals/tcs/Finkel01b"}, "url":"URL#6346611" }, { "@score":"1", "@id":"6346691", "info":{"authors":{"author":{"@pid":"45/5222","text":"Rainer Kerth"}},"title":"On the construction of stable models of untyped lambda-calculus.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"23-46","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Kerth01","doi":"10.1016/S0304-3975(00)00371-6","ee":"https://doi.org/10.1016/S0304-3975(00)00371-6","url":"https://dblp.org/rec/journals/tcs/Kerth01"}, "url":"URL#6346691" }, { "@score":"1", "@id":"6346719", "info":{"authors":{"author":{"@pid":"80/5437","text":"Ingo Lepper"}},"title":"Derivation lengths and order types of Knuth-Bendix orders.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"433-450","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Lepper01","doi":"10.1016/S0304-3975(01)00015-9","ee":"https://doi.org/10.1016/S0304-3975(01)00015-9","url":"https://dblp.org/rec/journals/tcs/Lepper01"}, "url":"URL#6346719" }, { "@score":"1", "@id":"6346745", "info":{"authors":{"author":[{"@pid":"24/2374","text":"Dragan Masulovic"},{"@pid":"18/3516","text":"Boza Tasic"}]},"title":"Operators on classes of coalgebras.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"419-431","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/MasulovicT01","doi":"10.1016/S0304-3975(01)00014-7","ee":"https://doi.org/10.1016/S0304-3975(01)00014-7","url":"https://dblp.org/rec/journals/tcs/MasulovicT01"}, "url":"URL#6346745" }, { "@score":"1", "@id":"6346746", "info":{"authors":{"author":[{"@pid":"64/133","text":"Joaquín Mateos-Lago"},{"@pid":"r/MRodriguezA","text":"Mario Rodríguez-Artalejo"}]},"title":"A declarative framework for object-oriented programming with genetic inheritance.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"363-417","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Mateos-LagoR01","doi":"10.1016/S0304-3975(01)00013-5","ee":"https://doi.org/10.1016/S0304-3975(01)00013-5","url":"https://dblp.org/rec/journals/tcs/Mateos-LagoR01"}, "url":"URL#6346746" }, { "@score":"1", "@id":"6346758", "info":{"authors":{"author":[{"@pid":"m/OegedeMoor","text":"Oege de Moor"},{"@pid":"10/5699","text":"Ganesh Sittampalam"}]},"title":"Higher-order matching for program transformation.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"135-162","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/MoorS01","doi":"10.1016/S0304-3975(00)00402-3","ee":"https://doi.org/10.1016/S0304-3975(00)00402-3","url":"https://dblp.org/rec/journals/tcs/MoorS01"}, "url":"URL#6346758" }, { "@score":"1", "@id":"6346785", "info":{"authors":{"author":{"@pid":"85/3701","text":"Paola Quaglia"}},"title":"Explicit substitutions for pi-congruences.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"83-134","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Quaglia01","doi":"10.1016/S0304-3975(00)00376-5","ee":"https://doi.org/10.1016/S0304-3975(00)00376-5","url":"https://dblp.org/rec/journals/tcs/Quaglia01"}, "url":"URL#6346785" }, { "@score":"1", "@id":"6346795", "info":{"authors":{"author":[{"@pid":"73/3370","text":"Yaron Riany"},{"@pid":"s/NirShavit","text":"Nir Shavit"},{"@pid":"52/4113","text":"Dan Touitou"}]},"title":"Towards a practical snapshot algorithm.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"163-201","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/RianyST01","doi":"10.1016/S0304-3975(00)00412-6","ee":"https://doi.org/10.1016/S0304-3975(00)00412-6","url":"https://dblp.org/rec/journals/tcs/RianyST01"}, "url":"URL#6346795" }, { "@score":"1", "@id":"6346799", "info":{"authors":{"author":{"@pid":"30/1875","text":"Michel Rigo"}},"title":"Numeration systems on a regular language: arithmetic operations, recognizability and formal power series.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"469-498","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Rigo01","doi":"10.1016/S0304-3975(01)00184-0","ee":"https://doi.org/10.1016/S0304-3975(01)00184-0","url":"https://dblp.org/rec/journals/tcs/Rigo01"}, "url":"URL#6346799" }, { "@score":"1", "@id":"6346804", "info":{"authors":{"author":[{"@pid":"s/ReihanehSafaviNaini","text":"Reihaneh Safavi-Naini"},{"@pid":"52/4513","text":"Huaxiong Wang"}]},"title":"Broadcast authentication for group communication.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"1-21","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Safavi-NainiW01","doi":"10.1016/S0304-3975(00)00184-5","ee":"https://doi.org/10.1016/S0304-3975(00)00184-5","url":"https://dblp.org/rec/journals/tcs/Safavi-NainiW01"}, "url":"URL#6346804" }, { "@score":"1", "@id":"6346836", "info":{"authors":{"author":{"@pid":"40/840","text":"Simone Tini"}},"title":"An axiomatic semantics for Esterel.","venue":"Theor. Comput. Sci.","volume":"269","number":"1-2","pages":"231-282","year":"2001","type":"Journal Articles","access":"open","key":"journals/tcs/Tini01","doi":"10.1016/S0304-3975(00)00420-5","ee":"https://doi.org/10.1016/S0304-3975(00)00420-5","url":"https://dblp.org/rec/journals/tcs/Tini01"}, "url":"URL#6346836" } ] } } } )