callback( { "result":{ "query":":facetid:toc:\"db/conf/csl/csl2004.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"201.07" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"39", "@dc":"39", "@oc":"39", "@id":"43387460", "text":":facetid:toc:db/conf/csl/csl2004.bht" } }, "hits":{ "@total":"39", "@computed":"39", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"6029333", "info":{"authors":{"author":[{"@pid":"99/2595-1","text":"Andreas Abel 0001"},{"@pid":"m/RalphMatthes","text":"Ralph Matthes"}]},"title":"Fixed Points of Type Constructors and Primitive Recursion.","venue":"CSL","pages":"190-204","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/AbelM04","doi":"10.1007/978-3-540-30124-0_17","ee":"https://doi.org/10.1007/978-3-540-30124-0_17","url":"https://dblp.org/rec/conf/csl/AbelM04"}, "url":"URL#6029333" }, { "@score":"1", "@id":"6029334", "info":{"authors":{"author":[{"@pid":"a/RobertoMAmadio","text":"Roberto M. Amadio"},{"@pid":"c/SolangeCoupetGrimal","text":"Solange Coupet-Grimal"},{"@pid":"20/5526","text":"Silvano Dal-Zilio"},{"@pid":"98/447","text":"Line Jakubiec"}]},"title":"A Functional Scenario for Bytecode Verification of Resource Bounds.","venue":"CSL","pages":"265-279","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/AmadioCDJ04","doi":"10.1007/978-3-540-30124-0_22","ee":"https://doi.org/10.1007/978-3-540-30124-0_22","url":"https://dblp.org/rec/conf/csl/AmadioCDJ04"}, "url":"URL#6029334" }, { "@score":"1", "@id":"6029335", "info":{"authors":{"author":[{"@pid":"76/6735","text":"Marcelo Arenas"},{"@pid":"29/5169","text":"Pablo Barceló"},{"@pid":"l/LeonidLibkin","text":"Leonid Libkin"}]},"title":"Game-Based Notions of Locality Over Finite Models.","venue":"CSL","pages":"175-189","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/ArenasBL04","doi":"10.1007/978-3-540-30124-0_16","ee":"https://doi.org/10.1007/978-3-540-30124-0_16","url":"https://dblp.org/rec/conf/csl/ArenasBL04"}, "url":"URL#6029335" }, { "@score":"1", "@id":"6029336", "info":{"authors":{"author":{"@pid":"66/5890","text":"Albert Atserias"}},"title":"Notions of Average-Case Complexity for Random 3-SAT.","venue":"CSL","pages":"1-5","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Atserias04","doi":"10.1007/978-3-540-30124-0_1","ee":"https://doi.org/10.1007/978-3-540-30124-0_1","url":"https://dblp.org/rec/conf/csl/Atserias04"}, "url":"URL#6029336" }, { "@score":"1", "@id":"6029337", "info":{"authors":{"author":[{"@pid":"51/6650","text":"Alessandro Avellone"},{"@pid":"56/2765","text":"Camillo Fiorentini"},{"@pid":"25/1037","text":"Guido Fiorino"},{"@pid":"48/1342","text":"Ugo Moscato"}]},"title":"A Space Efficient Implementation of a Tableau Calculus for a Logic with a Constructive Negation.","venue":"CSL","pages":"488-502","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/AvelloneFFM04","doi":"10.1007/978-3-540-30124-0_37","ee":"https://doi.org/10.1007/978-3-540-30124-0_37","url":"https://dblp.org/rec/conf/csl/AvelloneFFM04"}, "url":"URL#6029337" }, { "@score":"1", "@id":"6029338", "info":{"authors":{"author":{"@pid":"53/4804","text":"Mikolaj Bojanczyk"}},"title":"A Bounding Quantifier.","venue":"CSL","pages":"41-55","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Bojanczyk04","doi":"10.1007/978-3-540-30124-0_7","ee":"https://doi.org/10.1007/978-3-540-30124-0_7","url":"https://dblp.org/rec/conf/csl/Bojanczyk04"}, "url":"URL#6029338" }, { "@score":"1", "@id":"6029339", "info":{"authors":{"author":[{"@pid":"92/5602","text":"Krishnendu Chatterjee"},{"@pid":"71/1981","text":"Rupak Majumdar"},{"@pid":"42/2563","text":"Marcin Jurdzinski"}]},"title":"On Nash Equilibria in Stochastic Games.","venue":"CSL","pages":"26-40","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/ChatterjeeMJ04","doi":"10.1007/978-3-540-30124-0_6","ee":"https://doi.org/10.1007/978-3-540-30124-0_6","url":"https://dblp.org/rec/conf/csl/ChatterjeeMJ04"}, "url":"URL#6029339" }, { "@score":"1", "@id":"6029340", "info":{"authors":{"author":{"@pid":"44/6796","text":"Agata Ciabattoni"}},"title":"Automated Generation of Analytic Calculi for Logics with Linearity.","venue":"CSL","pages":"503-517","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Ciabattoni04","doi":"10.1007/978-3-540-30124-0_38","ee":"https://doi.org/10.1007/978-3-540-30124-0_38","url":"https://dblp.org/rec/conf/csl/Ciabattoni04"}, "url":"URL#6029340" }, { "@score":"1", "@id":"6029341", "info":{"authors":{"author":[{"@pid":"16/3135","text":"Andrés Cordón-Franco"},{"@pid":"87/2608","text":"Alejandro Fernández-Margarit"},{"@pid":"91/4816","text":"Francisco Félix Lara Martín"}]},"title":"Provably Total Primitive Recursive Functions: Theories with Induction.","venue":"CSL","pages":"355-369","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Cordon-FrancoFM04","doi":"10.1007/978-3-540-30124-0_28","ee":"https://doi.org/10.1007/978-3-540-30124-0_28","url":"https://dblp.org/rec/conf/csl/Cordon-FrancoFM04"}, "url":"URL#6029341" }, { "@score":"1", "@id":"6029342", "info":{"authors":{"author":[{"@pid":"73/3188","text":"Jeremy E. Dawson"},{"@pid":"g/RajeevGore","text":"Rajeev Goré"}]},"title":"A General Theorem on Termination of Rewriting.","venue":"CSL","pages":"100-114","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/DawsonG04","doi":"10.1007/978-3-540-30124-0_11","ee":"https://doi.org/10.1007/978-3-540-30124-0_11","url":"https://dblp.org/rec/conf/csl/DawsonG04"}, "url":"URL#6029342" }, { "@score":"1", "@id":"6029343", "info":{"authors":{"author":[{"@pid":"e/EAllenEmerson","text":"E. Allen Emerson"},{"@pid":"64/3264","text":"Vineet Kahlon"}]},"title":"Parameterized Model Checking of Ring-Based Message Passing Systems.","venue":"CSL","pages":"325-339","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/EmersonK04","doi":"10.1007/978-3-540-30124-0_26","ee":"https://doi.org/10.1007/978-3-540-30124-0_26","url":"https://dblp.org/rec/conf/csl/EmersonK04"}, "url":"URL#6029343" }, { "@score":"1", "@id":"6029344", "info":{"authors":{"author":[{"@pid":"g/HaraldGanzinger","text":"Harald Ganzinger"},{"@pid":"k/KonstantinKorovin","text":"Konstantin Korovin"}]},"title":"Integrating Equational Reasoning into Instantiation-Based Theorem Proving.","venue":"CSL","pages":"71-84","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/GanzingerK04","doi":"10.1007/978-3-540-30124-0_9","ee":"https://doi.org/10.1007/978-3-540-30124-0_9","url":"https://dblp.org/rec/conf/csl/GanzingerK04"}, "url":"URL#6029344" }, { "@score":"1", "@id":"6029345", "info":{"authors":{"author":[{"@pid":"g/RobertoGiacobazzi","text":"Roberto Giacobazzi"},{"@pid":"25/5944","text":"Isabella Mastroeni"}]},"title":"Proving Abstract Non-interference.","venue":"CSL","pages":"280-294","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/GiacobazziM04","doi":"10.1007/978-3-540-30124-0_23","ee":"https://doi.org/10.1007/978-3-540-30124-0_23","url":"https://dblp.org/rec/conf/csl/GiacobazziM04"}, "url":"URL#6029345" }, { "@score":"1", "@id":"6029346", "info":{"authors":{"author":{"@pid":"96/4344","text":"Pietro Di Gianantonio"}},"title":"Structures for Multiplicative Cyclic Linear Logic: Deepness vs Cyclicity.","venue":"CSL","pages":"130-144","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Gianantonio04","doi":"10.1007/978-3-540-30124-0_13","ee":"https://doi.org/10.1007/978-3-540-30124-0_13","url":"https://dblp.org/rec/conf/csl/Gianantonio04"}, "url":"URL#6029346" }, { "@score":"1", "@id":"6029347", "info":{"authors":{"author":{"@pid":"22/250","text":"Hugo Gimbert"}},"title":"Parity and Exploration Games on Infinite Graphs.","venue":"CSL","pages":"56-70","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Gimbert04","doi":"10.1007/978-3-540-30124-0_8","ee":"https://doi.org/10.1007/978-3-540-30124-0_8","url":"https://dblp.org/rec/conf/csl/Gimbert04"}, "url":"URL#6029347" }, { "@score":"1", "@id":"6029348", "info":{"authors":{"author":[{"@pid":"g/JGoubaultLarrecq","text":"Jean Goubault-Larrecq"},{"@pid":"97/3803","text":"Slawomir Lasota 0001"},{"@pid":"n/DavidNowak","text":"David Nowak"},{"@pid":"50/671","text":"Yu Zhang"}]},"title":"Complete Lax Logical Relations for Cryptographic Lambda-Calculi.","venue":"CSL","pages":"400-414","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Goubault-LarrecqLNZ04","doi":"10.1007/978-3-540-30124-0_31","ee":"https://doi.org/10.1007/978-3-540-30124-0_31","url":"https://dblp.org/rec/conf/csl/Goubault-LarrecqLNZ04"}, "url":"URL#6029348" }, { "@score":"1", "@id":"6029349", "info":{"authors":{"author":[{"@pid":"g/PhilippedeGroote","text":"Philippe de Groote"},{"@pid":"53/7006","text":"Sylvain Salvati"}]},"title":"Higher-Order Matching in the Linear lambda-calculus with Pairing.","venue":"CSL","pages":"220-234","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/GrooteS04","doi":"10.1007/978-3-540-30124-0_19","ee":"https://doi.org/10.1007/978-3-540-30124-0_19","url":"https://dblp.org/rec/conf/csl/GrooteS04"}, "url":"URL#6029349" }, { "@score":"1", "@id":"6029350", "info":{"authors":{"author":{"@pid":"h/JMEHyland","text":"Martin Hyland"}},"title":"Abstract Interpretation of Proofs: Classical Propositional Calculus.","venue":"CSL","pages":"6-21","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Hyland04","doi":"10.1007/978-3-540-30124-0_2","ee":"https://doi.org/10.1007/978-3-540-30124-0_2","url":"https://dblp.org/rec/conf/csl/Hyland04"}, "url":"URL#6029350" }, { "@score":"1", "@id":"6029351", "info":{"authors":{"author":{"@pid":"11/2275","text":"Pierre Hyvernat"}},"title":"Predicate Transformers and Linear Logic: Yet Another Denotational Model.","venue":"CSL","pages":"115-129","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Hyvernat04","doi":"10.1007/978-3-540-30124-0_12","ee":"https://doi.org/10.1007/978-3-540-30124-0_12","url":"https://dblp.org/rec/conf/csl/Hyvernat04"}, "url":"URL#6029351" }, { "@score":"1", "@id":"6029352", "info":{"authors":{"author":[{"@pid":"i/NeilImmerman","text":"Neil Immerman"},{"@pid":"r/AlexanderMosheRabinovich","text":"Alexander Moshe Rabinovich"},{"@pid":"r/TWReps","text":"Thomas W. Reps"},{"@pid":"s/SSagiv","text":"Shmuel Sagiv"},{"@pid":"50/6710","text":"Greta Yorsh"}]},"title":"The Boundary Between Decidability and Undecidability for Transitive-Closure Logics.","venue":"CSL","pages":"160-174","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/ImmermanRRSY04","doi":"10.1007/978-3-540-30124-0_15","ee":"https://doi.org/10.1007/978-3-540-30124-0_15","url":"https://dblp.org/rec/conf/csl/ImmermanRRSY04"}, "url":"URL#6029352" }, { "@score":"1", "@id":"6029353", "info":{"authors":{"author":{"@pid":"81/6507","text":"Yukiyoshi Kameyama"}},"title":"Axioms for Delimited Continuations in the CPS Hierarchy.","venue":"CSL","pages":"442-457","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Kameyama04","doi":"10.1007/978-3-540-30124-0_34","ee":"https://doi.org/10.1007/978-3-540-30124-0_34","url":"https://dblp.org/rec/conf/csl/Kameyama04"}, "url":"URL#6029353" }, { "@score":"1", "@id":"6029354", "info":{"authors":{"author":[{"@pid":"30/3563","text":"Margarita V. Korovina"},{"@pid":"v/NVorobjov","text":"Nicolai N. Vorobjov Jr."}]},"title":"Pfaffian Hybrid Systems.","venue":"CSL","pages":"430-441","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/KorovinaV04","doi":"10.1007/978-3-540-30124-0_33","ee":"https://doi.org/10.1007/978-3-540-30124-0_33","url":"https://dblp.org/rec/conf/csl/KorovinaV04"}, "url":"URL#6029354" }, { "@score":"1", "@id":"6029355", "info":{"authors":{"author":{"@pid":"10/2523","text":"Christopher Lynch"}},"title":"Unsound Theorem Proving.","venue":"CSL","pages":"473-487","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Lynch04","doi":"10.1007/978-3-540-30124-0_36","ee":"https://doi.org/10.1007/978-3-540-30124-0_36","url":"https://dblp.org/rec/conf/csl/Lynch04"}, "url":"URL#6029355" }, { "@score":"1", "@id":"6029356", "info":{"authors":{"author":{"@pid":"04/5127","text":"Patrick Maier 0001"}},"title":"Intuitionistic LTL and a New Characterization of Safety and Liveness.","venue":"CSL","pages":"295-309","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Maier04","doi":"10.1007/978-3-540-30124-0_24","ee":"https://doi.org/10.1007/978-3-540-30124-0_24","url":"https://dblp.org/rec/conf/csl/Maier04"}, "url":"URL#6029356" }, { "@score":"1", "@id":"6029357", "info":{"authors":{"author":{"@pid":"m/KennethLMcMillan","text":"Kenneth L. McMillan"}},"title":"Applications of Craig Interpolation to Model Checking.","venue":"CSL","pages":"22-23","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/McMillan04","doi":"10.1007/978-3-540-30124-0_3","ee":"https://doi.org/10.1007/978-3-540-30124-0_3","url":"https://dblp.org/rec/conf/csl/McMillan04"}, "url":"URL#6029357" }, { "@score":"1", "@id":"6029358", "info":{"authors":{"author":[{"@pid":"49/3739","text":"George Metcalfe"},{"@pid":"o/NicolaOlivetti","text":"Nicola Olivetti"},{"@pid":"g/DovMGabbay","text":"Dov M. Gabbay"}]},"title":"Goal-Directed Methods for Lukasiewicz Logic.","venue":"CSL","pages":"85-99","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/MetcalfeOG04","doi":"10.1007/978-3-540-30124-0_10","ee":"https://doi.org/10.1007/978-3-540-30124-0_10","url":"https://dblp.org/rec/conf/csl/MetcalfeOG04"}, "url":"URL#6029358" }, { "@score":"1", "@id":"6029359", "info":{"authors":{"author":{"@pid":"m/DaleMiller","text":"Dale Miller 0001"}},"title":"Bindings, Mobility of Bindings, and the "generic judgments"-Quantifier: An Abstract.","venue":"CSL","pages":"24","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Miller04","doi":"10.1007/978-3-540-30124-0_4","ee":"https://doi.org/10.1007/978-3-540-30124-0_4","url":"https://dblp.org/rec/conf/csl/Miller04"}, "url":"URL#6029359" }, { "@score":"1", "@id":"6029360", "info":{"authors":{"author":{"@pid":"r/DavidRicherby","text":"David Richerby"}},"title":"Logical Characterizations of PSPACE.","venue":"CSL","pages":"370-384","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Richerby04","doi":"10.1007/978-3-540-30124-0_29","ee":"https://doi.org/10.1007/978-3-540-30124-0_29","url":"https://dblp.org/rec/conf/csl/Richerby04"}, "url":"URL#6029360" }, { "@score":"1", "@id":"6029361", "info":{"authors":{"author":{"@pid":"25/6258","text":"Philipp Rohde"}},"title":"Moving in a Crumbling Network: The Balanced Case.","venue":"CSL","pages":"310-324","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/Rohde04","doi":"10.1007/978-3-540-30124-0_25","ee":"https://doi.org/10.1007/978-3-540-30124-0_25","url":"https://dblp.org/rec/conf/csl/Rohde04"}, "url":"URL#6029361" }, { "@score":"1", "@id":"6029362", "info":{"authors":{"author":[{"@pid":"39/2666","text":"Pawel Rychlikowski"},{"@pid":"61/3560","text":"Tomasz Truderung"}]},"title":"Set Constraints on Regular Terms.","venue":"CSL","pages":"458-472","year":"2004","type":"Conference and Workshop Papers","access":"closed","key":"conf/csl/RychlikowskiT04","doi":"10.1007/978-3-540-30124-0_35","ee":"https://doi.org/10.1007/978-3-540-30124-0_35","url":"https://dblp.org/rec/conf/csl/RychlikowskiT04"}, "url":"URL#6029362" } ] } } } )