callback( { "result":{ "query":":facetid:toc:\"db/conf/lics/lics95.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"62.28" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"49", "@dc":"49", "@oc":"49", "@id":"43399957", "text":":facetid:toc:db/conf/lics/lics95.bht" } }, "hits":{ "@total":"49", "@computed":"49", "@sent":"49", "@first":"0", "hit":[{ "@score":"1", "@id":"6766086", "info":{"authors":{"author":[{"@pid":"a/SamsonAbramsky","text":"Samson Abramsky"},{"@pid":"05/4200","text":"Guy McCusker"}]},"title":"Games and Full Abstraction for the Lazy lambda-Calculus","venue":"LICS","pages":"234-243","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/AbramskyM95","doi":"10.1109/LICS.1995.523259","ee":"https://doi.org/10.1109/LICS.1995.523259","url":"https://dblp.org/rec/conf/lics/AbramskyM95"}, "url":"URL#6766086" }, { "@score":"1", "@id":"6766087", "info":{"authors":{"author":[{"@pid":"a/RAlur","text":"Rajeev Alur"},{"@pid":"p/DPeled","text":"Doron A. Peled"},{"@pid":"58/2583","text":"Wojciech Penczek"}]},"title":"Model-Checking of Causality Properties","venue":"LICS","pages":"90-100","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/AlurPP95","doi":"10.1109/LICS.1995.523247","ee":"https://doi.org/10.1109/LICS.1995.523247","url":"https://dblp.org/rec/conf/lics/AlurPP95"}, "url":"URL#6766087" }, { "@score":"1", "@id":"6766088", "info":{"authors":{"author":{"@pid":"77/4535","text":"Henrik Reif Andersen"}},"title":"Partial Model Checking (Extended Abstract)","venue":"LICS","pages":"398-407","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Andersen95","doi":"10.1109/LICS.1995.523274","ee":"https://doi.org/10.1109/LICS.1995.523274","url":"https://dblp.org/rec/conf/lics/Andersen95"}, "url":"URL#6766088" }, { "@score":"1", "@id":"6766089", "info":{"authors":{"author":[{"@pid":"40/6113","text":"Girish Bhat"},{"@pid":"c/RCleaveland","text":"Rance Cleaveland"},{"@pid":"g/OrnaGrumberg","text":"Orna Grumberg"}]},"title":"Efficient On-the-Fly Model Checking for CTL*","venue":"LICS","pages":"388-397","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/BhatCG95","doi":"10.1109/LICS.1995.523273","ee":"https://doi.org/10.1109/LICS.1995.523273","url":"https://dblp.org/rec/conf/lics/BhatCG95"}, "url":"URL#6766089" }, { "@score":"1", "@id":"6766090", "info":{"authors":{"author":[{"@pid":"b/AhmedBouajjani","text":"Ahmed Bouajjani"},{"@pid":"91/3803","text":"Rachid Echahed"},{"@pid":"22/639","text":"Peter Habermehl"}]},"title":"On the Verification Problem of Nonregular Properties for Nonregular Processes","venue":"LICS","pages":"123-133","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/BouajjaniEH95","doi":"10.1109/LICS.1995.523250","ee":"https://doi.org/10.1109/LICS.1995.523250","url":"https://dblp.org/rec/conf/lics/BouajjaniEH95"}, "url":"URL#6766090" }, { "@score":"1", "@id":"6766091", "info":{"authors":{"author":{"@pid":"c/HComonL","text":"Hubert Comon"}},"title":"Sequentiality, Second Order Monadic Logic and Tree Automata","venue":"LICS","pages":"508-517","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Comon95","doi":"10.1109/LICS.1995.523285","ee":"https://doi.org/10.1109/LICS.1995.523285","url":"https://dblp.org/rec/conf/lics/Comon95"}, "url":"URL#6766091" }, { "@score":"1", "@id":"6766092", "info":{"authors":{"author":[{"@pid":"c/HComonL","text":"Hubert Comon"},{"@pid":"n/RobertNieuwenhuis","text":"Robert Nieuwenhuis"},{"@pid":"29/6684","text":"Albert Rubio"}]},"title":"Orderings, AC-Theories and Symbolic Constraint Solving (Extended Abstract)","venue":"LICS","pages":"375-385","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/ComonNR95","doi":"10.1109/LICS.1995.523272","ee":"https://doi.org/10.1109/LICS.1995.523272","url":"https://dblp.org/rec/conf/lics/ComonNR95"}, "url":"URL#6766092" }, { "@score":"1", "@id":"6766093", "info":{"authors":{"author":{"@pid":"c/RobertLConstable","text":"Robert L. Constable"}},"title":"Experience with Type Theory as a Foundation for Computer Science","venue":"LICS","pages":"266-279","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Constable95","doi":"10.1109/LICS.1995.523262","ee":"https://doi.org/10.1109/LICS.1995.523262","url":"https://dblp.org/rec/conf/lics/Constable95"}, "url":"URL#6766093" }, { "@score":"1", "@id":"6766094", "info":{"authors":{"author":[{"@pid":"d/AnujDawar","text":"Anuj Dawar"},{"@pid":"g/ErichGradel","text":"Erich Grädel"}]},"title":"Generalized Quantifiers and 0-1 Laws","venue":"LICS","pages":"54-64","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/DawarG95","doi":"10.1109/LICS.1995.523244","ee":"https://doi.org/10.1109/LICS.1995.523244","url":"https://dblp.org/rec/conf/lics/DawarG95"}, "url":"URL#6766094" }, { "@score":"1", "@id":"6766095", "info":{"authors":{"author":[{"@pid":"11/1963","text":"Daniel J. Dougherty"},{"@pid":"31/5633","text":"Ramesh Subrahmanyam"}]},"title":"Equality between Functionals in the Presence of Coproducts","venue":"LICS","pages":"282-291","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/DoughertyS95","doi":"10.1109/LICS.1995.523263","ee":"https://doi.org/10.1109/LICS.1995.523263","url":"https://dblp.org/rec/conf/lics/DoughertyS95"}, "url":"URL#6766095" }, { "@score":"1", "@id":"6766096", "info":{"authors":{"author":[{"@pid":"50/4956","text":"Gilles Dowek"},{"@pid":"77/39","text":"Thérèse Hardin"},{"@pid":"k/ClaudeKirchner","text":"Claude Kirchner"}]},"title":"Higher-Order Unification via Explicit Substitutions (Extended Abstract)","venue":"LICS","pages":"366-374","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/DowekHK95","doi":"10.1109/LICS.1995.523271","ee":"https://doi.org/10.1109/LICS.1995.523271","url":"https://dblp.org/rec/conf/lics/DowekHK95"}, "url":"URL#6766096" }, { "@score":"1", "@id":"6766097", "info":{"authors":{"author":{"@pid":"d/BDutertre","text":"Bruno Dutertre"}},"title":"Complete Proof Systems for First Order Interval Temporal Logic","venue":"LICS","pages":"36-43","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Dutertre95","doi":"10.1109/LICS.1995.523242","ee":"https://doi.org/10.1109/LICS.1995.523242","url":"https://dblp.org/rec/conf/lics/Dutertre95"}, "url":"URL#6766097" }, { "@score":"1", "@id":"6766098", "info":{"authors":{"author":{"@pid":"e/AbbasEdalat","text":"Abbas Edalat"}},"title":"Domain Theory in Stochastic Processes","venue":"LICS","pages":"244-254","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Edalat95","doi":"10.1109/LICS.1995.523260","ee":"https://doi.org/10.1109/LICS.1995.523260","url":"https://dblp.org/rec/conf/lics/Edalat95"}, "url":"URL#6766098" }, { "@score":"1", "@id":"6766099", "info":{"authors":{"author":[{"@pid":"81/5741","text":"Kousha Etessami"},{"@pid":"i/NeilImmerman","text":"Neil Immerman"}]},"title":"Tree Canonization and Transitive Closure","venue":"LICS","pages":"331-341","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/EtessamiI95","doi":"10.1109/LICS.1995.523268","ee":"https://doi.org/10.1109/LICS.1995.523268","url":"https://dblp.org/rec/conf/lics/EtessamiI95"}, "url":"URL#6766099" }, { "@score":"1", "@id":"6766100", "info":{"authors":{"author":[{"@pid":"30/4430","text":"Simon J. Gay"},{"@pid":"08/3521","text":"Rajagopal Nagarajan"}]},"title":"A Typed Calculus of Synchronous Processes","venue":"LICS","pages":"210-220","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/GayN95","doi":"10.1109/LICS.1995.523258","ee":"https://doi.org/10.1109/LICS.1995.523258","url":"https://dblp.org/rec/conf/lics/GayN95"}, "url":"URL#6766100" }, { "@score":"1", "@id":"6766101", "info":{"authors":{"author":[{"@pid":"g/RobJvanGlabbeek","text":"Rob J. van Glabbeek"},{"@pid":"p/GordonDPlotkin","text":"Gordon D. Plotkin"}]},"title":"Configuration Structures","venue":"LICS","pages":"199-209","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/GlabbeekP95","doi":"10.1109/LICS.1995.523257","ee":"https://doi.org/10.1109/LICS.1995.523257","url":"https://dblp.org/rec/conf/lics/GlabbeekP95"}, "url":"URL#6766101" }, { "@score":"1", "@id":"6766102", "info":{"authors":{"author":{"@pid":"g/MichaelJCGordon","text":"Michael J. C. Gordon"}},"title":"The Semantic Challenge of Verilog HDL","venue":"LICS","pages":"136-145","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Gordon95","doi":"10.1109/LICS.1995.523251","ee":"https://doi.org/10.1109/LICS.1995.523251","url":"https://dblp.org/rec/conf/lics/Gordon95"}, "url":"URL#6766102" }, { "@score":"1", "@id":"6766103", "info":{"authors":{"author":{"@pid":"g/GeorgGottlob","text":"Georg Gottlob"}},"title":"Relativized Logspace and Generalized Quantifiers over Finite Structures","venue":"LICS","pages":"65-78","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Gottlob95","doi":"10.1109/LICS.1995.523245","ee":"https://doi.org/10.1109/LICS.1995.523245","url":"https://dblp.org/rec/conf/lics/Gottlob95"}, "url":"URL#6766103" }, { "@score":"1", "@id":"6766104", "info":{"authors":{"author":{"@pid":"89/740","text":"Alan Jeffrey"}},"title":"A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types","venue":"LICS","pages":"255-264","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Jeffrey95","doi":"10.1109/LICS.1995.523261","ee":"https://doi.org/10.1109/LICS.1995.523261","url":"https://dblp.org/rec/conf/lics/Jeffrey95"}, "url":"URL#6766104" }, { "@score":"1", "@id":"6766105", "info":{"authors":{"author":[{"@pid":"j/BengtJonsson","text":"Bengt Jonsson 0001"},{"@pid":"y/WangYi","text":"Wang Yi 0001"}]},"title":"Compositional Testing Preorders for Probabilistic Processes","venue":"LICS","pages":"431-441","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/JonssonY95","doi":"10.1109/LICS.1995.523277","ee":"https://doi.org/10.1109/LICS.1995.523277","url":"https://dblp.org/rec/conf/lics/JonssonY95"}, "url":"URL#6766105" }, { "@score":"1", "@id":"6766106", "info":{"authors":{"author":{"@pid":"39/5019","text":"Max I. Kanovich"}},"title":"The Complexity of Neutrals in Linear Logic","venue":"LICS","pages":"486-495","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Kanovich95","doi":"10.1109/LICS.1995.523282","ee":"https://doi.org/10.1109/LICS.1995.523282","url":"https://dblp.org/rec/conf/lics/Kanovich95"}, "url":"URL#6766106" }, { "@score":"1", "@id":"6766107", "info":{"authors":{"author":[{"@pid":"11/934","text":"Yonit Kesten"},{"@pid":"p/AmirPnueli","text":"Amir Pnueli"}]},"title":"A Complete Proof Systems for QPTL","venue":"LICS","pages":"2-12","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/KestenP95","doi":"10.1109/LICS.1995.523239","ee":"https://doi.org/10.1109/LICS.1995.523239","url":"https://dblp.org/rec/conf/lics/KestenP95"}, "url":"URL#6766107" }, { "@score":"1", "@id":"6766108", "info":{"authors":{"author":[{"@pid":"k/AssafJKfoury","text":"A. J. Kfoury"},{"@pid":"93/1478","text":"J. B. Wells"}]},"title":"New Notions of Reduction and Non-Semantic Proofs of beta-Strong Normalization in Typed lambda-Calculi","venue":"LICS","pages":"311-321","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/KfouryW95","doi":"10.1109/LICS.1995.523266","ee":"https://doi.org/10.1109/LICS.1995.523266","url":"https://dblp.org/rec/conf/lics/KfouryW95"}, "url":"URL#6766108" }, { "@score":"1", "@id":"6766109", "info":{"authors":{"author":{"@pid":"69/6495","text":"Alexey P. Kopylov"}},"title":"Decidability of Linear Affine Logic","venue":"LICS","pages":"496-504","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Kopylov95","doi":"10.1109/LICS.1995.523283","ee":"https://doi.org/10.1109/LICS.1995.523283","url":"https://dblp.org/rec/conf/lics/Kopylov95"}, "url":"URL#6766109" }, { "@score":"1", "@id":"6766110", "info":{"authors":{"author":[{"@pid":"k/OrnaKupferman","text":"Orna Kupferman"},{"@pid":"p/AmirPnueli","text":"Amir Pnueli"}]},"title":"Once and For All","venue":"LICS","pages":"25-35","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/KupfermanP95","doi":"10.1109/LICS.1995.523241","ee":"https://doi.org/10.1109/LICS.1995.523241","url":"https://dblp.org/rec/conf/lics/KupfermanP95"}, "url":"URL#6766110" }, { "@score":"1", "@id":"6766111", "info":{"authors":{"author":{"@pid":"67/72","text":"François Lamarche"}},"title":"Games Semantics for Full Propositional Linear Logic","venue":"LICS","pages":"464-473","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Lamarche95","doi":"10.1109/LICS.1995.523280","ee":"https://doi.org/10.1109/LICS.1995.523280","url":"https://dblp.org/rec/conf/lics/Lamarche95"}, "url":"URL#6766111" }, { "@score":"1", "@id":"6766112", "info":{"authors":{"author":[{"@pid":"l/PatrickLincoln","text":"Patrick Lincoln"},{"@pid":"39/3354","text":"Andre Scedrov"},{"@pid":"33/1623","text":"Natarajan Shankar"}]},"title":"Decision Problems for Second-Order Linear Logic","venue":"LICS","pages":"476-485","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/LincolnSS95","doi":"10.1109/LICS.1995.523281","ee":"https://doi.org/10.1109/LICS.1995.523281","url":"https://dblp.org/rec/conf/lics/LincolnSS95"}, "url":"URL#6766112" }, { "@score":"1", "@id":"6766113", "info":{"authors":{"author":[{"@pid":"44/3784","text":"Giuseppe Longo"},{"@pid":"34/3075","text":"Kathleen Milsted"},{"@pid":"s/SergeiSoloviev","text":"Sergei Soloviev 0001"}]},"title":"A Logic of Subtyping (Extended Abstract)","venue":"LICS","pages":"292-299","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/LongoMS95","doi":"10.1109/LICS.1995.523264","ee":"https://doi.org/10.1109/LICS.1995.523264","url":"https://dblp.org/rec/conf/lics/LongoMS95"}, "url":"URL#6766113" }, { "@score":"1", "@id":"6766114", "info":{"authors":{"author":{"@pid":"10/2523","text":"Christopher Lynch"}},"title":"Paramodulation without Duplication","venue":"LICS","pages":"167-177","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Lynch95","doi":"10.1109/LICS.1995.523254","ee":"https://doi.org/10.1109/LICS.1995.523254","url":"https://dblp.org/rec/conf/lics/Lynch95"}, "url":"URL#6766114" }, { "@score":"1", "@id":"6766115", "info":{"authors":{"author":[{"@pid":"63/1748","text":"James F. Lynch"},{"@pid":"68/5160","text":"Jerzy Tyszkiewicz"}]},"title":"The Infinitary Logic of Sparse Random Graphs","venue":"LICS","pages":"46-53","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/LynchT95","doi":"10.1109/LICS.1995.523243","ee":"https://doi.org/10.1109/LICS.1995.523243","url":"https://dblp.org/rec/conf/lics/LynchT95"}, "url":"URL#6766115" }, { "@score":"1", "@id":"6766116", "info":{"authors":{"author":[{"@pid":"m/VictorWMarek","text":"V. Wiktor Marek"},{"@pid":"n/AnilNerode","text":"Anil Nerode"},{"@pid":"81/1919","text":"Jeffrey B. Remmel"}]},"title":"Complexity of Normal Default Logic and Related Modes of Nonmonotonic Reasoning","venue":"LICS","pages":"178-185","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/MarekNR95","doi":"10.1109/LICS.1995.523255","ee":"https://doi.org/10.1109/LICS.1995.523255","url":"https://dblp.org/rec/conf/lics/MarekNR95"}, "url":"URL#6766116" }, { "@score":"1", "@id":"6766117", "info":{"authors":{"author":[{"@pid":"m/MarinoMiculan","text":"Marino Miculan"},{"@pid":"g/FabioGadducci","text":"Fabio Gadducci"}]},"title":"Modal mu-Types for Processes","venue":"LICS","pages":"221-231","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/MiculanG95","doi":"10.1109/LICS.1995.523701","ee":"https://doi.org/10.1109/LICS.1995.523701","url":"https://dblp.org/rec/conf/lics/MiculanG95"}, "url":"URL#6766117" }, { "@score":"1", "@id":"6766118", "info":{"authors":{"author":[{"@pid":"65/1417","text":"Alex Mifsud"},{"@pid":"m/RobinMilner","text":"Robin Milner"},{"@pid":"p/JohnPower","text":"A. John Power"}]},"title":"Control Structures","venue":"LICS","pages":"188-198","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/MifsudMP95","doi":"10.1109/LICS.1995.523256","ee":"https://doi.org/10.1109/LICS.1995.523256","url":"https://dblp.org/rec/conf/lics/MifsudMP95"}, "url":"URL#6766118" }, { "@score":"1", "@id":"6766119", "info":{"authors":{"author":[{"@pid":"95/6990","text":"Gopalan Nadathur"},{"@pid":"23/1767","text":"Donald W. Loveland"}]},"title":"Uniform Proofs and Disjunctive Logic Programming (Extended Abstract)","venue":"LICS","pages":"148-155","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/NadathurL95","doi":"10.1109/LICS.1995.523252","ee":"https://doi.org/10.1109/LICS.1995.523252","url":"https://dblp.org/rec/conf/lics/NadathurL95"}, "url":"URL#6766119" }, { "@score":"1", "@id":"6766120", "info":{"authors":{"author":{"@pid":"o/MartinOtto","text":"Martin Otto 0001"}},"title":"Ptime Canonization for Two Variables with Counting","venue":"LICS","pages":"342-352","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Otto95","doi":"10.1109/LICS.1995.523269","ee":"https://doi.org/10.1109/LICS.1995.523269","url":"https://dblp.org/rec/conf/lics/Otto95"}, "url":"URL#6766120" }, { "@score":"1", "@id":"6766121", "info":{"authors":{"author":[{"@pid":"07/5282","text":"Erik Palmgren"},{"@pid":"69/3272","text":"Viggo Stoltenberg-Hansen"}]},"title":"Logically Presented Domains","venue":"LICS","pages":"455-463","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/PalmgrenS95","doi":"10.1109/LICS.1995.523279","ee":"https://doi.org/10.1109/LICS.1995.523279","url":"https://dblp.org/rec/conf/lics/PalmgrenS95"}, "url":"URL#6766121" }, { "@score":"1", "@id":"6766122", "info":{"authors":{"author":[{"@pid":"p/JParedaens","text":"Jan Paredaens"},{"@pid":"b/JVdBussche","text":"Jan Van den Bussche"},{"@pid":"g/DirkVanGucht","text":"Dirk Van Gucht"}]},"title":"First-order Queries on Finite Structures over the Reals","venue":"LICS","pages":"79-87","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/ParedaensBG95","doi":"10.1109/LICS.1995.523246","ee":"https://doi.org/10.1109/LICS.1995.523246","url":"https://dblp.org/rec/conf/lics/ParedaensBG95"}, "url":"URL#6766122" }, { "@score":"1", "@id":"6766123", "info":{"authors":{"author":{"@pid":"p/FPfenning","text":"Frank Pfenning"}},"title":"Structural Cut Elimination","venue":"LICS","pages":"156-166","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Pfenning95","doi":"10.1109/LICS.1995.523253","ee":"https://doi.org/10.1109/LICS.1995.523253","url":"https://dblp.org/rec/conf/lics/Pfenning95"}, "url":"URL#6766123" }, { "@score":"1", "@id":"6766124", "info":{"authors":{"author":{"@pid":"84/356","text":"Adolfo Piperno"}},"title":"Normalization and Extensionality (Extended Abstract)","venue":"LICS","pages":"300-310","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Piperno95","doi":"10.1109/LICS.1995.523265","ee":"https://doi.org/10.1109/LICS.1995.523265","url":"https://dblp.org/rec/conf/lics/Piperno95"}, "url":"URL#6766124" }, { "@score":"1", "@id":"6766125", "info":{"authors":{"author":{"@pid":"p/VRPratt","text":"Vaughan R. Pratt"}},"title":"The Stone Gamut: A Coordinatization of Mathematics","venue":"LICS","pages":"444-454","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Pratt95","doi":"10.1109/LICS.1995.523278","ee":"https://doi.org/10.1109/LICS.1995.523278","url":"https://dblp.org/rec/conf/lics/Pratt95"}, "url":"URL#6766125" }, { "@score":"1", "@id":"6766126", "info":{"authors":{"author":{"@pid":"75/359","text":"Anil Seth"}},"title":"When Do Fixed Point Logics Capture Complexity Classes?","venue":"LICS","pages":"353-363","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Seth95","doi":"10.1109/LICS.1995.523270","ee":"https://doi.org/10.1109/LICS.1995.523270","url":"https://dblp.org/rec/conf/lics/Seth95"}, "url":"URL#6766126" }, { "@score":"1", "@id":"6766127", "info":{"authors":{"author":{"@pid":"s/AlexKSimpson","text":"Alex K. Simpson"}},"title":"Compositionality via Cut-Elimination: Hennessy-Milner Logic for an Arbitrary GSOS","venue":"LICS","pages":"420-430","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Simpson95","doi":"10.1109/LICS.1995.523276","ee":"https://doi.org/10.1109/LICS.1995.523276","url":"https://dblp.org/rec/conf/lics/Simpson95"}, "url":"URL#6766127" }, { "@score":"1", "@id":"6766128", "info":{"authors":{"author":{"@pid":"51/4285","text":"Alexei P. Stolboushkin"}},"title":"Finitely Monotone Properties","venue":"LICS","pages":"324-330","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Stolboushkin95","doi":"10.1109/LICS.1995.523267","ee":"https://doi.org/10.1109/LICS.1995.523267","url":"https://dblp.org/rec/conf/lics/Stolboushkin95"}, "url":"URL#6766128" }, { "@score":"1", "@id":"6766129", "info":{"authors":{"author":{"@pid":"44/280","text":"Boris A. Trakhtenbrot"}},"title":"Origins and Metamorphoses of the Trinity: Logic, Nets, Automata","venue":"LICS","pages":"506-507","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Trakhtenbrot95","doi":"10.1109/LICS.1995.523284","ee":"https://doi.org/10.1109/LICS.1995.523284","url":"https://dblp.org/rec/conf/lics/Trakhtenbrot95"}, "url":"URL#6766129" }, { "@score":"1", "@id":"6766130", "info":{"authors":{"author":{"@pid":"76/1427","text":"Enrico Tronci"}},"title":"Hardware Verification, Boolean Logic Programming, Boolean Functional Programming","venue":"LICS","pages":"408-418","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Tronci95","doi":"10.1109/LICS.1995.523275","ee":"https://doi.org/10.1109/LICS.1995.523275","url":"https://dblp.org/rec/conf/lics/Tronci95"}, "url":"URL#6766130" }, { "@score":"1", "@id":"6766131", "info":{"authors":{"author":{"@pid":"v/MosheYVardi","text":"Moshe Y. Vardi"}},"title":"On the Complexity of Modular Model Checking","venue":"LICS","pages":"101-111","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Vardi95","doi":"10.1109/LICS.1995.523248","ee":"https://doi.org/10.1109/LICS.1995.523248","url":"https://dblp.org/rec/conf/lics/Vardi95"}, "url":"URL#6766131" }, { "@score":"1", "@id":"6766132", "info":{"authors":{"author":{"@pid":"27/7046","text":"Igor Walukiewicz"}},"title":"Completeness of Kozen's Axiomatisation of the Propositional mu-Calculus","venue":"LICS","pages":"14-24","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Walukiewicz95","doi":"10.1109/LICS.1995.523240","ee":"https://doi.org/10.1109/LICS.1995.523240","url":"https://dblp.org/rec/conf/lics/Walukiewicz95"}, "url":"URL#6766132" }, { "@score":"1", "@id":"6766133", "info":{"authors":{"author":{"@pid":"27/3868","text":"Farn Wang"}},"title":"Timing Behavior Analysis for Real-Time Systems","venue":"LICS","pages":"112-122","year":"1995","type":"Conference and Workshop Papers","access":"closed","key":"conf/lics/Wang95","doi":"10.1109/LICS.1995.523249","ee":"https://doi.org/10.1109/LICS.1995.523249","url":"https://dblp.org/rec/conf/lics/Wang95"}, "url":"URL#6766133" }, { "@score":"1", "@id":"6773449", "info":{"title":"Proceedings, 10th Annual IEEE Symposium on Logic in Computer Science, San Diego, California, USA, June 26-29, 1995","venue":"LICS","publisher":"IEEE Computer Society","year":"1995","type":"Editorship","key":"conf/lics/1995","ee":"https://ieeexplore.ieee.org/xpl/conhome/3961/proceeding","url":"https://dblp.org/rec/conf/lics/1995"}, "url":"URL#6773449" } ] } } } )