:facetid:toc:\"db/conf/lics/lics2007.bht\"OK:facetid:toc:db/conf/lics/lics2007.bhtAndreas Abel 0001Thierry CoquandPeter DybjerNormalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements.LICS3-122007Conference and Workshop Papersclosedconf/lics/AbelCD0710.1109/LICS.2007.33https://doi.org/10.1109/LICS.2007.33https://dblp.org/rec/conf/lics/AbelCD07URL#5586590Luca de AlfaroRupak MajumdarVishwanath RamanMariëlle StoelingaGame Relations and Metrics.LICS99-1082007Conference and Workshop Papersclosedconf/lics/AlfaroMRS0710.1109/LICS.2007.22https://doi.org/10.1109/LICS.2007.22https://dblp.org/rec/conf/lics/AlfaroMRS07URL#5586591Rajeev AlurMarcelo ArenasPablo BarcelóKousha EtessamiNeil ImmermanLeonid LibkinFirst-Order and Temporal Logics for Nested Words.LICS151-1602007Conference and Workshop Papersclosedconf/lics/AlurABEIL0710.1109/LICS.2007.19https://doi.org/10.1109/LICS.2007.19https://dblp.org/rec/conf/lics/AlurABEIL07URL#5586592Patrick BaillotPaolo Coppola 0001Ugo Dal LagoLight Logics and Optimal Reduction: Completeness and Complexity.LICS421-4302007Conference and Workshop Papersclosedconf/lics/BaillotCL0710.1109/LICS.2007.27https://doi.org/10.1109/LICS.2007.27https://dblp.org/rec/conf/lics/BaillotCL07URL#5586593Manuel BodirskyHubie ChenQuantified Equality Constraints.LICS203-2122007Conference and Workshop Papersclosedconf/lics/BodirskyC0710.1109/LICS.2007.38https://doi.org/10.1109/LICS.2007.38https://dblp.org/rec/conf/lics/BodirskyC07URL#5586594Mikolaj BojanczykTwo-way unary temporal logic over trees.LICS121-1302007Conference and Workshop Papersclosedconf/lics/Bojanczyk0710.1109/LICS.2007.51https://doi.org/10.1109/LICS.2007.51https://dblp.org/rec/conf/lics/Bojanczyk07URL#5586595Marcello M. BonsangueAlexander Kurz 0001Pi-Calculus in Logical Form.LICS303-3122007Conference and Workshop Papersclosedconf/lics/BonsangueK0710.1109/LICS.2007.36https://doi.org/10.1109/LICS.2007.36https://dblp.org/rec/conf/lics/BonsangueK07URL#5586596Patricia BouyerNicolas MarkeyJoël OuaknineJames Worrell 0001The Cost of Punctuality.LICS109-1202007Conference and Workshop Papersclosedconf/lics/BouyerMOW0710.1109/LICS.2007.49https://doi.org/10.1109/LICS.2007.49https://dblp.org/rec/conf/lics/BouyerMOW07URL#5586597Paul BraunerClément HoutmannClaude KirchnerPrinciples of Superdeduction.LICS41-502007Conference and Workshop Papersclosedconf/lics/BraunerHK0710.1109/LICS.2007.37https://doi.org/10.1109/LICS.2007.37https://dblp.org/rec/conf/lics/BraunerHK07URL#5586598James BrotherstonAlex SimpsonComplete Sequent Calculi for Induction and Infinite Descent.LICS51-622007Conference and Workshop Papersclosedconf/lics/BrotherstonS0710.1109/LICS.2007.16https://doi.org/10.1109/LICS.2007.16https://dblp.org/rec/conf/lics/BrotherstonS07URL#5586599Cristiano CalcagnoPeter W. O'HearnHongseok YangLocal Action and Abstract Separation Logic.LICS366-3782007Conference and Workshop Papersclosedconf/lics/CalcagnoOY0710.1109/LICS.2007.30https://doi.org/10.1109/LICS.2007.30https://dblp.org/rec/conf/lics/CalcagnoOY07URL#5586600Balder ten CateJohan van BenthemJouko A. VäänänenLindstrom theorems for fragments of first-order logic.LICS280-2922007Conference and Workshop Papersclosedconf/lics/CateBV0710.1109/LICS.2007.29https://doi.org/10.1109/LICS.2007.29https://dblp.org/rec/conf/lics/CateBV07URL#5586601Mika CohenMads DamA Complete Axiomatization of Knowledge and Cryptography.LICS77-882007Conference and Workshop Papersclosedconf/lics/CohenD0710.1109/LICS.2007.4https://doi.org/10.1109/LICS.2007.4https://dblp.org/rec/conf/lics/CohenD07URL#5586602Anuj DawarMartin GroheStephan KreutzerLocally Excluding a Minor.LICS270-2792007Conference and Workshop Papersclosedconf/lics/DawarGK0710.1109/LICS.2007.31https://doi.org/10.1109/LICS.2007.31https://dblp.org/rec/conf/lics/DawarGK07URL#5586603Yuxin DengRob J. van GlabbeekMatthew HennessyCarroll MorganChenyi ZhangCharacterising Testing Preorders for Finite Probabilistic Processes.LICS313-3252007Conference and Workshop Papersclosedconf/lics/DengGHMZ0710.1109/LICS.2007.15https://doi.org/10.1109/LICS.2007.15https://dblp.org/rec/conf/lics/DengGHMZ07URL#5586604Abbas EdalatA computable approach to measure and integration theory.LICS463-4722007Conference and Workshop Papersclosedconf/lics/Edalat0710.1109/LICS.2007.5https://doi.org/10.1109/LICS.2007.5https://dblp.org/rec/conf/lics/Edalat07URL#5586605László EgriBenoît LarosePascal TessonSymmetric Datalog and Constraint Satisfaction Problems in Logspace.LICS193-2022007Conference and Workshop Papersclosedconf/lics/EgriLT0710.1109/LICS.2007.47https://doi.org/10.1109/LICS.2007.47https://dblp.org/rec/conf/lics/EgriLT07URL#5586606Martín Hötzel EscardóInfinite sets that admit fast exhaustive search.LICS443-4522007Conference and Workshop Papersclosedconf/lics/Escardo0710.1109/LICS.2007.25https://doi.org/10.1109/LICS.2007.25https://dblp.org/rec/conf/lics/Escardo07URL#5586607Hugo GimbertWieslaw ZielonkaLimits of Multi-Discounted Markov Decision Processes.LICS89-982007Conference and Workshop Papersclosedconf/lics/GimbertZ0710.1109/LICS.2007.28https://doi.org/10.1109/LICS.2007.28https://dblp.org/rec/conf/lics/GimbertZ07URL#5586608Jean Goubault-LarrecqOn Noetherian Spaces.LICS453-4622007Conference and Workshop Papersclosedconf/lics/Goubault-Larrecq0710.1109/LICS.2007.34https://doi.org/10.1109/LICS.2007.34https://dblp.org/rec/conf/lics/Goubault-Larrecq07URL#5586609Thomas C. HalesSome Methods of Problem Solving in Elementary Geometry.LICS35-402007Conference and Workshop Papersclosedconf/lics/Hales0710.1109/LICS.2007.43https://doi.org/10.1109/LICS.2007.43https://dblp.org/rec/conf/lics/Hales07URL#5586610Russell HarmerMartin HylandPaul-André MellièsCategorical Combinatorics for Innocent Strategies.LICS379-3882007Conference and Workshop Papersclosedconf/lics/HarmerHM0710.1109/LICS.2007.14https://doi.org/10.1109/LICS.2007.14https://dblp.org/rec/conf/lics/HarmerHM07URL#5586611Pawel M. IdziakPetar MarkovicRalph McKenzieMatthew ValerioteRoss WillardTractability and learnability arising from algebras with few subpowers.LICS213-2242007Conference and Workshop Papersclosedconf/lics/IdziakMMVW0710.1109/LICS.2007.50https://doi.org/10.1109/LICS.2007.50https://dblp.org/rec/conf/lics/IdziakMMVW07URL#5586612Marcin JurdzinskiRanko Lazic 0001Alternation-free modal mu-calculus for data trees.LICS131-1402007Conference and Workshop Papersclosedconf/lics/JurdzinskiL0710.1109/LICS.2007.11https://doi.org/10.1109/LICS.2007.11https://dblp.org/rec/conf/lics/JurdzinskiL07URL#5586613Detlef KählerRalf KüstersTomasz TruderungInfinite State AMC-Model Checking for Cryptographic Protocols.LICS181-1922007Conference and Workshop Papersclosedconf/lics/KahlerKT0710.1109/LICS.2007.26https://doi.org/10.1109/LICS.2007.26https://dblp.org/rec/conf/lics/KahlerKT07URL#5586614Bartek KlinBialgebraic Operational Semantics and Modal Logic.LICS336-3452007Conference and Workshop Papersclosedconf/lics/Klin0710.1109/LICS.2007.13https://doi.org/10.1109/LICS.2007.13https://dblp.org/rec/conf/lics/Klin07URL#5586615Phokion G. KolaitisReflections on Finite Model Theory.LICS257-2692007Conference and Workshop Papersclosedconf/lics/Kolaitis0710.1109/LICS.2007.39https://doi.org/10.1109/LICS.2007.39https://dblp.org/rec/conf/lics/Kolaitis07URL#5586616Paul-André MellièsNicolas TabareauResource modalities in game semantics.LICS389-3982007Conference and Workshop Papersclosedconf/lics/MelliesT0710.1109/LICS.2007.41https://doi.org/10.1109/LICS.2007.41https://dblp.org/rec/conf/lics/MelliesT07URL#5586617Wojciech MoczydlowskiA Dependent Set Theory.LICS23-342007Conference and Workshop Papersclosedconf/lics/Moczydlowski0710.1109/LICS.2007.7https://doi.org/10.1109/LICS.2007.7https://dblp.org/rec/conf/lics/Moczydlowski07URL#5586618Rasmus Ejlers MøgelbergAlex SimpsonRelational Parametricity for Computational Effects.LICS346-3552007Conference and Workshop Papersclosedconf/lics/MogelbergS0710.1109/LICS.2007.40https://doi.org/10.1109/LICS.2007.40https://dblp.org/rec/conf/lics/MogelbergS07URL#5586619Angelo MontanariGabriele PuppisA Contraction Method to Decide MSO Theories of Deterministic Trees.LICS141-1502007Conference and Workshop Papersclosedconf/lics/MontanariP0710.1109/LICS.2007.6https://doi.org/10.1109/LICS.2007.6https://dblp.org/rec/conf/lics/MontanariP07URL#5586620Phuong NguyenSeparating DAG-Like and Tree-Like Proof Systems.LICS235-2442007Conference and Workshop Papersclosedconf/lics/Nguyen0710.1109/LICS.2007.42https://doi.org/10.1109/LICS.2007.42https://dblp.org/rec/conf/lics/Nguyen07URL#5586621Phuong NguyenStephen A. CookThe Complexity of Proving the Discrete Jordan Curve Theorem.LICS245-2562007Conference and Workshop Papersclosedconf/lics/NguyenC0710.1109/LICS.2007.48https://doi.org/10.1109/LICS.2007.48https://dblp.org/rec/conf/lics/NguyenC07URL#5586622Paulo OlivaModified Realizability Interpretation of Classical Linear Logic.LICS431-4422007Conference and Workshop Papersclosedconf/lics/Oliva0710.1109/LICS.2007.32https://doi.org/10.1109/LICS.2007.32https://dblp.org/rec/conf/lics/Oliva07URL#5586623Steven James PerronExamining The Fragments of G.LICS225-2342007Conference and Workshop Papersclosedconf/lics/Perron0710.1109/LICS.2007.18https://doi.org/10.1109/LICS.2007.18https://dblp.org/rec/conf/lics/Perron07URL#5586624François PottierStatic Name Control for FreshML.LICS356-3652007Conference and Workshop Papersclosedconf/lics/Pottier0710.1109/LICS.2007.44https://doi.org/10.1109/LICS.2007.44https://dblp.org/rec/conf/lics/Pottier07URL#5586625Michael O. RabinRocco A. ServedioChristopher ThorpeHighly Efficient Secrecy-Preserving Proofs of Correctness of Computations and Applications.LICS63-762007Conference and Workshop Papersclosedconf/lics/RabinST0710.1109/LICS.2007.24https://doi.org/10.1109/LICS.2007.24https://dblp.org/rec/conf/lics/RabinST07URL#5586626Francesco RanzatoFrancesco TapparoA New Efficient Simulation Equivalence Algorithm.LICS171-1802007Conference and Workshop Papersclosedconf/lics/RanzatoT0710.1109/LICS.2007.8https://doi.org/10.1109/LICS.2007.8https://dblp.org/rec/conf/lics/RanzatoT07URL#5586627Colin RibaStrong Normalization as Safe Interaction.LICS13-222007Conference and Workshop Papersclosedconf/lics/Riba0710.1109/LICS.2007.46https://doi.org/10.1109/LICS.2007.46https://dblp.org/rec/conf/lics/Riba07URL#5586628Davide SangiorgiNaoki Kobayashi 0001Eijiro SumiiEnvironmental Bisimulations for Higher-Order Languages.LICS293-3022007Conference and Workshop Papersclosedconf/lics/SangiorgiKS0710.1109/LICS.2007.17https://doi.org/10.1109/LICS.2007.17https://dblp.org/rec/conf/lics/SangiorgiKS07URL#5586629Ulrich SchöppStratified Bounded Affine Logic for Logarithmic Space.LICS411-4202007Conference and Workshop Papersclosedconf/lics/Schopp0710.1109/LICS.2007.45https://doi.org/10.1109/LICS.2007.45https://dblp.org/rec/conf/lics/Schopp07URL#5586630Colin StirlingHigher-Order Matching, Games and Automata.LICS326-3352007Conference and Workshop Papersclosedconf/lics/Stirling0710.1109/LICS.2007.23https://doi.org/10.1109/LICS.2007.23https://dblp.org/rec/conf/lics/Stirling07URL#5586631Salvatore La TorreParthasarathy MadhusudanGennaro ParlatoA Robust Class of Context-Sensitive Languages.LICS161-1702007Conference and Workshop Papersclosedconf/lics/TorreMP0710.1109/LICS.2007.9https://doi.org/10.1109/LICS.2007.9https://dblp.org/rec/conf/lics/TorreMP07URL#5586632Nikos TzevelekosFull abstraction for nominal general references.LICS399-4102007Conference and Workshop Papersclosedconf/lics/Tzevelekos0710.1109/LICS.2007.21https://doi.org/10.1109/LICS.2007.21https://dblp.org/rec/conf/lics/Tzevelekos07URL#558663322nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, ProceedingsLICSIEEE Computer Society2007Editorshipconf/lics/2007https://ieeexplore.ieee.org/xpl/conhome/4276538/proceedinghttps://dblp.org/rec/conf/lics/2007URL#5621525