callback( { "result":{ "query":":facetid:toc:\"db/conf/stacs/stacs86.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"222.64" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"31", "@dc":"31", "@oc":"31", "@id":"43313968", "text":":facetid:toc:db/conf/stacs/stacs86.bht" } }, "hits":{ "@total":"31", "@computed":"31", "@sent":"30", "@first":"0", "hit":[{ "@score":"1", "@id":"7010930", "info":{"authors":{"author":[{"@pid":"95/330","text":"Emile H. L. Aarts"},{"@pid":"22/4660","text":"F. M. J. de Bont"},{"@pid":"20/5062","text":"J. H. A. Habers"},{"@pid":"82/5334","text":"Peter J. M. van Laarhoven"}]},"title":"A Parallel Statistical Cooling Algorithm.","venue":"STACS","pages":"87-97","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/AartsBHL86","doi":"10.1007/3-540-16078-7_67","ee":"https://doi.org/10.1007/3-540-16078-7_67","url":"https://dblp.org/rec/conf/stacs/AartsBHL86"}, "url":"URL#7010930" }, { "@score":"1", "@id":"7010931", "info":{"authors":{"author":{"@pid":"15/1760","text":"M. A. Nait Abdallah"}},"title":"Icons and Local Definitions in Logic Programming.","venue":"STACS","pages":"60-72","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Abdallah86","doi":"10.1007/3-540-16078-7_65","ee":"https://doi.org/10.1007/3-540-16078-7_65","url":"https://dblp.org/rec/conf/stacs/Abdallah86"}, "url":"URL#7010931" }, { "@score":"1", "@id":"7010932", "info":{"authors":{"author":[{"@pid":"b/JoseLBalcazar","text":"José L. Balcázar"},{"@pid":"58/2261","text":"Ronald V. Book"}]},"title":"On Generalized Kolmogorov Complexity.","venue":"STACS","pages":"334-340","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/BalcazarB86","doi":"10.1007/3-540-16078-7_87","ee":"https://doi.org/10.1007/3-540-16078-7_87","url":"https://dblp.org/rec/conf/stacs/BalcazarB86"}, "url":"URL#7010932" }, { "@score":"1", "@id":"7010933", "info":{"authors":{"author":[{"@pid":"88/556","text":"Gilles Bernot"},{"@pid":"b/MichelBidoit","text":"Michel Bidoit"},{"@pid":"c/CChoppy","text":"Christine Choppy"}]},"title":"Abstract Implementations and Correctness Proofs.","venue":"STACS","pages":"236-251","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/BernotBC86","doi":"10.1007/3-540-16078-7_80","ee":"https://doi.org/10.1007/3-540-16078-7_80","url":"https://dblp.org/rec/conf/stacs/BernotBC86"}, "url":"URL#7010933" }, { "@score":"1", "@id":"7010934", "info":{"authors":{"author":[{"@pid":"b/HLBodlaender","text":"Hans L. Bodlaender"},{"@pid":"l/JvLeeuwen","text":"Jan van Leeuwen"}]},"title":"New Upperbounds for Decentralized Extrema-Finding in a Ring of Processors.","venue":"STACS","pages":"119-129","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/BodlaenderL86","doi":"10.1007/3-540-16078-7_70","ee":"https://doi.org/10.1007/3-540-16078-7_70","url":"https://dblp.org/rec/conf/stacs/BodlaenderL86"}, "url":"URL#7010934" }, { "@score":"1", "@id":"7010935", "info":{"authors":{"author":[{"@pid":"02/5164","text":"Allan Borodin"},{"@pid":"f/FEFich","text":"Faith E. Fich"},{"@pid":"h/FMaufderHeide","text":"Friedhelm Meyer auf der Heide"},{"@pid":"u/EliUpfal","text":"Eli Upfal"},{"@pid":"w/AviWigderson","text":"Avi Wigderson"}]},"title":"A Time-Space Tradeoff for Element Distinctness.","venue":"STACS","pages":"353-358","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/BorodinFHUW86","doi":"10.1007/3-540-16078-7_89","ee":"https://doi.org/10.1007/3-540-16078-7_89","url":"https://dblp.org/rec/conf/stacs/BorodinFHUW86"}, "url":"URL#7010935" }, { "@score":"1", "@id":"7010936", "info":{"authors":{"author":{"@pid":"66/871","text":"Didier Caucal"}},"title":"Décidabiité de l'égalité des Languages Algébriques Infinitaires Simples.","venue":"STACS","pages":"37-48","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Caucal86","doi":"10.1007/3-540-16078-7_63","ee":"https://doi.org/10.1007/3-540-16078-7_63","url":"https://dblp.org/rec/conf/stacs/Caucal86"}, "url":"URL#7010936" }, { "@score":"1", "@id":"7010937", "info":{"authors":{"author":[{"@pid":"05/4330","text":"Christian Choffrut"},{"@pid":"99/4730","text":"Marcel Paul Schützenberger"}]},"title":"Décomposition de Fonctions Rationnelles.","venue":"STACS","pages":"213-226","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/ChoffrutS86","doi":"10.1007/3-540-16078-7_78","ee":"https://doi.org/10.1007/3-540-16078-7_78","url":"https://dblp.org/rec/conf/stacs/ChoffrutS86"}, "url":"URL#7010937" }, { "@score":"1", "@id":"7010938", "info":{"authors":{"author":{"@pid":"00/1116","text":"Philippe Darondeau"}},"title":"Separating and Testing.","venue":"STACS","pages":"203-212","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Darondeau86","doi":"10.1007/3-540-16078-7_77","ee":"https://doi.org/10.1007/3-540-16078-7_77","url":"https://dblp.org/rec/conf/stacs/Darondeau86"}, "url":"URL#7010938" }, { "@score":"1", "@id":"7010939", "info":{"authors":{"author":{"@pid":"94/712","text":"Christine Duboc"}},"title":"Equations in Free Partially Commutative Monoids.","venue":"STACS","pages":"192-202","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Duboc86","doi":"10.1007/3-540-16078-7_76","ee":"https://doi.org/10.1007/3-540-16078-7_76","url":"https://dblp.org/rec/conf/stacs/Duboc86"}, "url":"URL#7010939" }, { "@score":"1", "@id":"7010940", "info":{"authors":{"author":[{"@pid":"e/EAllenEmerson","text":"E. Allen Emerson"},{"@pid":"31/3229","text":"Chin-Laung Lei"}]},"title":"Temporal Reasoning Under Generalized Fairness Constraints.","venue":"STACS","pages":"21-36","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/EmersonL86","doi":"10.1007/3-540-16078-7_62","ee":"https://doi.org/10.1007/3-540-16078-7_62","url":"https://dblp.org/rec/conf/stacs/EmersonL86"}, "url":"URL#7010940" }, { "@score":"1", "@id":"7010941", "info":{"authors":{"author":{"@pid":"02/6709","text":"David de Frutos-Escrig"}},"title":"Some Probabilistic Powerdomains in the Category SFP.","venue":"STACS","pages":"49-59","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Escrig86","doi":"10.1007/3-540-16078-7_64","ee":"https://doi.org/10.1007/3-540-16078-7_64","url":"https://dblp.org/rec/conf/stacs/Escrig86"}, "url":"URL#7010941" }, { "@score":"1", "@id":"7010942", "info":{"authors":{"author":{"@pid":"96/911","text":"B. Gamatie"}},"title":"Towards Specification and Proof of Asynchronous Systems.","venue":"STACS","pages":"262-276","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Gamatie86","doi":"10.1007/3-540-16078-7_82","ee":"https://doi.org/10.1007/3-540-16078-7_82","url":"https://dblp.org/rec/conf/stacs/Gamatie86"}, "url":"URL#7010942" }, { "@score":"1", "@id":"7010943", "info":{"authors":{"author":[{"@pid":"84/5656","text":"Juris Hartmanis"},{"@pid":"h/LaneAHemaspaandra","text":"Lane A. Hemachandra"}]},"title":"On Sparse Oracles Separating Feasible Complexity Classes.","venue":"STACS","pages":"321-333","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/HartmanisH86","doi":"10.1007/3-540-16078-7_86","ee":"https://doi.org/10.1007/3-540-16078-7_86","url":"https://dblp.org/rec/conf/stacs/HartmanisH86"}, "url":"URL#7010943" }, { "@score":"1", "@id":"7010944", "info":{"authors":{"author":[{"@pid":"47/3155","text":"Johan Håstad"},{"@pid":"82/6200","text":"Bettina Helfrich"},{"@pid":"l/JeffreyCLagarias","text":"J. C. Lagarias 0001"},{"@pid":"s/ClausPeterSchnorr","text":"Claus-Peter Schnorr"}]},"title":"Polynomial Time Algorithms for Finding Integer Relations Among Real Numbers.","venue":"STACS","pages":"105-118","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/HastadHLS86","doi":"10.1007/3-540-16078-7_69","ee":"https://doi.org/10.1007/3-540-16078-7_69","url":"https://dblp.org/rec/conf/stacs/HastadHLS86"}, "url":"URL#7010944" }, { "@score":"1", "@id":"7010945", "info":{"authors":{"author":{"@pid":"h/FMaufderHeide","text":"Friedhelm Meyer auf der Heide"}},"title":"Speeding up Random Access Machines by Few Processors.","venue":"STACS","pages":"142-152","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Heide86","doi":"10.1007/3-540-16078-7_72","ee":"https://doi.org/10.1007/3-540-16078-7_72","url":"https://dblp.org/rec/conf/stacs/Heide86"}, "url":"URL#7010945" }, { "@score":"1", "@id":"7010946", "info":{"authors":{"author":[{"@pid":"h/HarryBHuntIII","text":"Harry B. Hunt III"},{"@pid":"s/RichardEdwinStearns","text":"Richard Edwin Stearns"}]},"title":"Monotone Boolean Formulas, Distributive Lattices, and the Complexities of Logics, Algebraic Structures, and Computation Structures (Preliminary Report).","venue":"STACS","pages":"277-290","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/HuntS86","doi":"10.1007/3-540-16078-7_83","ee":"https://doi.org/10.1007/3-540-16078-7_83","url":"https://dblp.org/rec/conf/stacs/HuntS86"}, "url":"URL#7010946" }, { "@score":"1", "@id":"7010947", "info":{"authors":{"author":[{"@pid":"i/OscarHIbarra","text":"Oscar H. Ibarra"},{"@pid":"24/3232","text":"Bala Ravikumar"}]},"title":"On Sparseness, Ambiguity and other Decision Problems for Acceptors and Transducers.","venue":"STACS","pages":"171-179","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/IbarraR86","doi":"10.1007/3-540-16078-7_74","ee":"https://doi.org/10.1007/3-540-16078-7_74","url":"https://dblp.org/rec/conf/stacs/IbarraR86"}, "url":"URL#7010947" }, { "@score":"1", "@id":"7010948", "info":{"authors":{"author":{"@pid":"k/UdoKelter","text":"Udo Kelter"}},"title":"Strictness and Serializability.","venue":"STACS","pages":"252-261","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Kelter86","doi":"10.1007/3-540-16078-7_81","ee":"https://doi.org/10.1007/3-540-16078-7_81","url":"https://dblp.org/rec/conf/stacs/Kelter86"}, "url":"URL#7010948" }, { "@score":"1", "@id":"7010949", "info":{"authors":{"author":[{"@pid":"35/3888","text":"Chandra M. R. Kintala"},{"@pid":"35/5696","text":"Detlef Wotschke"}]},"title":"Concurrent Conciseness of Degree, Probabilistic, Nondeterministic and Deterministic Finite Automata (Extended Abstract).","venue":"STACS","pages":"291-305","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/KintalaW86","doi":"10.1007/3-540-16078-7_84","ee":"https://doi.org/10.1007/3-540-16078-7_84","url":"https://dblp.org/rec/conf/stacs/KintalaW86"}, "url":"URL#7010949" }, { "@score":"1", "@id":"7010950", "info":{"authors":{"author":{"@pid":"l/TLengauer","text":"Thomas Lengauer"}},"title":"Efficient Algorithms for Finding Minimum Spanning Forests of Hierarchically Defined Graphs.","venue":"STACS","pages":"153-170","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Lengauer86","doi":"10.1007/3-540-16078-7_73","ee":"https://doi.org/10.1007/3-540-16078-7_73","url":"https://dblp.org/rec/conf/stacs/Lengauer86"}, "url":"URL#7010950" }, { "@score":"1", "@id":"7010951", "info":{"authors":{"author":{"@pid":"l/AndrzejLingas","text":"Andrzej Lingas"}},"title":"Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time.","venue":"STACS","pages":"98-103","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Lingas86","doi":"10.1007/3-540-16078-7_68","ee":"https://doi.org/10.1007/3-540-16078-7_68","url":"https://dblp.org/rec/conf/stacs/Lingas86"}, "url":"URL#7010951" }, { "@score":"1", "@id":"7010952", "info":{"authors":{"author":[{"@pid":"m/KurtMehlhorn","text":"Kurt Mehlhorn"},{"@pid":"p/FPPreparata","text":"Franco P. Preparata"}]},"title":"Area-time Optimal Division for T=Omega(log n)1+epsilon","venue":"STACS","pages":"341-352","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/MehlhornP86","doi":"10.1007/3-540-16078-7_88","ee":"https://doi.org/10.1007/3-540-16078-7_88","url":"https://dblp.org/rec/conf/stacs/MehlhornP86"}, "url":"URL#7010952" }, { "@score":"1", "@id":"7010953", "info":{"authors":{"author":{"@pid":"n/FlemmingNielson","text":"Flemming Nielson"}},"title":"Abstract Interpretation of Denotational Definions (A Survey).","venue":"STACS","pages":"1-20","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Nielson86","doi":"10.1007/3-540-16078-7_61","ee":"https://doi.org/10.1007/3-540-16078-7_61","url":"https://dblp.org/rec/conf/stacs/Nielson86"}, "url":"URL#7010953" }, { "@score":"1", "@id":"7010954", "info":{"authors":{"author":{"@pid":"74/2393","text":"Jean-Pierre Pécuchet"}},"title":"Variétés de Semis Groupes et Mots Infinis.","venue":"STACS","pages":"180-191","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Pecuchet86","doi":"10.1007/3-540-16078-7_75","ee":"https://doi.org/10.1007/3-540-16078-7_75","url":"https://dblp.org/rec/conf/stacs/Pecuchet86"}, "url":"URL#7010954" }, { "@score":"1", "@id":"7010955", "info":{"authors":{"author":{"@pid":"r/RReischuk","text":"Rüdiger Reischuk"}},"title":"Parallel Machines and their Communication Theoretical Limits.","venue":"STACS","pages":"359-368","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Reischuk86","doi":"10.1007/3-540-16078-7_90","ee":"https://doi.org/10.1007/3-540-16078-7_90","url":"https://dblp.org/rec/conf/stacs/Reischuk86"}, "url":"URL#7010955" }, { "@score":"1", "@id":"7010956", "info":{"authors":{"author":[{"@pid":"47/6497","text":"Louis E. Rosier"},{"@pid":"y/HsuChunYen","text":"Hsu-Chun Yen"}]},"title":"Logspace Hierarchies, Polynomial Time and the Complexity of Fairness Problems Concerning omega-Machines.","venue":"STACS","pages":"306-320","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/RosierY86","doi":"10.1007/3-540-16078-7_85","ee":"https://doi.org/10.1007/3-540-16078-7_85","url":"https://dblp.org/rec/conf/stacs/RosierY86"}, "url":"URL#7010956" }, { "@score":"1", "@id":"7010957", "info":{"authors":{"author":{"@pid":"41/2377","text":"Ursula Schmidt"}},"title":"Long Unavoidable Patterns.","venue":"STACS","pages":"227-235","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Schmidt86","doi":"10.1007/3-540-16078-7_79","ee":"https://doi.org/10.1007/3-540-16078-7_79","url":"https://dblp.org/rec/conf/stacs/Schmidt86"}, "url":"URL#7010957" }, { "@score":"1", "@id":"7010958", "info":{"authors":{"author":{"@pid":"s/PaulGSpirakis","text":"Paul G. Spirakis"}},"title":"Input Sensitive, Optimal Parallel Randomized Algorithms for Addition and Identification.","venue":"STACS","pages":"73-86","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/Spirakis86","doi":"10.1007/3-540-16078-7_66","ee":"https://doi.org/10.1007/3-540-16078-7_66","url":"https://dblp.org/rec/conf/stacs/Spirakis86"}, "url":"URL#7010958" }, { "@score":"1", "@id":"7010959", "info":{"authors":{"author":[{"@pid":"t/RobertoTamassia","text":"Roberto Tamassia"},{"@pid":"55/5488","text":"Ioannis G. Tollis"}]},"title":"Algorithms for Visibility Representations of Planar Graphs.","venue":"STACS","pages":"130-141","year":"1986","type":"Conference and Workshop Papers","access":"closed","key":"conf/stacs/TamassiaT86","doi":"10.1007/3-540-16078-7_71","ee":"https://doi.org/10.1007/3-540-16078-7_71","url":"https://dblp.org/rec/conf/stacs/TamassiaT86"}, "url":"URL#7010959" } ] } } } )