:facetid:toc:\"db/conf/mfcs/mfcs96.bht\"OK:facetid:toc:db/conf/mfcs/mfcs96.bhtPhilippe BalbianiA Modal Logic for Data Analysis.MFCS167-1791996Conference and Workshop Papersclosedconf/mfcs/Balbiani9610.1007/3-540-61550-4_146https://doi.org/10.1007/3-540-61550-4_146https://dblp.org/rec/conf/mfcs/Balbiani96URL#6718338Gabriel BaumMarcelo F. FriasArmando Martin HaebererPablo E. Martínez LópezFrom Specifications to Programs: A Fork-Algebraic Approach to Bridge the Gap.MFCS180-1911996Conference and Workshop Papersclosedconf/mfcs/BaumFHL9610.1007/3-540-61550-4_147https://doi.org/10.1007/3-540-61550-4_147https://dblp.org/rec/conf/mfcs/BaumFHL96URL#6718339Marek A. BednarczykLogic of Predicates with Explicit Substitutions.MFCS192-2051996Conference and Workshop Papersclosedconf/mfcs/Bednarczyk9610.1007/3-540-61550-4_148https://doi.org/10.1007/3-540-61550-4_148https://dblp.org/rec/conf/mfcs/Bednarczyk96URL#6718340Richard BeigelWilliam I. GasarchMartin KummerTimothy H. McNichollFrank Stephan 0001On the Query Complexity of Sets.MFCS206-2171996Conference and Workshop Papersclosedconf/mfcs/BeigelGKMS9610.1007/3-540-61550-4_149https://doi.org/10.1007/3-540-61550-4_149https://dblp.org/rec/conf/mfcs/BeigelGKMS96URL#6718341Viviana BonoMichele BugliesiLuigi LiquoriA Lambda Calculus of Incomplete Objects.MFCS218-2291996Conference and Workshop Papersclosedconf/mfcs/BonoBL9610.1007/3-540-61550-4_150https://doi.org/10.1007/3-540-61550-4_150https://dblp.org/rec/conf/mfcs/BonoBL96URL#6718342Michele BorealeLuca TrevisanBisimilarity Problems Requiring Exponential Time.MFCS230-2411996Conference and Workshop Papersclosedconf/mfcs/BorealeT9610.1007/3-540-61550-4_151https://doi.org/10.1007/3-540-61550-4_151https://dblp.org/rec/conf/mfcs/BorealeT96URL#6718343Arie de BruinShan-Hwei Nienhuys-ChengLinear Dynamic Kahn Networks Are Deterministic.MFCS242-2541996Conference and Workshop Papersclosedconf/mfcs/BruinN9610.1007/3-540-61550-4_152https://doi.org/10.1007/3-540-61550-4_152https://dblp.org/rec/conf/mfcs/BruinN96URL#6718344X. CaiTon KloksC. K. WongShortest Path Problems with Time Constraints.MFCS255-2661996Conference and Workshop Papersclosedconf/mfcs/CaiKW9610.1007/3-540-61550-4_153https://doi.org/10.1007/3-540-61550-4_153https://dblp.org/rec/conf/mfcs/CaiKW96URL#6718345Bogdan S. ChlebusArtur CzumajLeszek GasieniecMiroslaw KowalukWojciech PlandowskiParallel Alternating-Direction Access Machine.MFCS267-2781996Conference and Workshop Papersclosedconf/mfcs/ChlebusCGKP9610.1007/3-540-61550-4_154https://doi.org/10.1007/3-540-61550-4_154https://dblp.org/rec/conf/mfcs/ChlebusCGKP96URL#6718346Edmund M. ClarkeXudong Zhao 0005Word Level Model Checking (Abstract).MFCS11996Conference and Workshop Papersclosedconf/mfcs/ClarkeZ9610.1007/3-540-61550-4_136https://doi.org/10.1007/3-540-61550-4_136https://dblp.org/rec/conf/mfcs/ClarkeZ96URL#6718347Flavio CorradiniMarco PistoreSpecification and Verification of Timed Lazy Systems.MFCS279-2901996Conference and Workshop Papersclosedconf/mfcs/CorradiniP9610.1007/3-540-61550-4_155https://doi.org/10.1007/3-540-61550-4_155https://dblp.org/rec/conf/mfcs/CorradiniP96URL#6718348Stéphane DemriA Class of Information Logics with a Decidable Validity Problem.MFCS291-3021996Conference and Workshop Papersclosedconf/mfcs/Demri9610.1007/3-540-61550-4_156https://doi.org/10.1007/3-540-61550-4_156https://dblp.org/rec/conf/mfcs/Demri96URL#6718349Anders DessmarkAndrzej LingasOn the Power of Nonconservative PRAM.MFCS303-3111996Conference and Workshop Papersclosedconf/mfcs/DessmarkL9610.1007/3-540-61550-4_157https://doi.org/10.1007/3-540-61550-4_157https://dblp.org/rec/conf/mfcs/DessmarkL96URL#6718350Volker DiekertAnca MuschollCode Problems on Traces.MFCS2-171996Conference and Workshop Papersclosedconf/mfcs/DiekertM9610.1007/3-540-61550-4_137https://doi.org/10.1007/3-540-61550-4_137https://dblp.org/rec/conf/mfcs/DiekertM96URL#6718351Bruno Durand 0001Self-Similarity Viewed as a Local Property via Tile Sets.MFCS312-3231996Conference and Workshop Papersclosedconf/mfcs/Durand9610.1007/3-540-61550-4_158https://doi.org/10.1007/3-540-61550-4_158https://dblp.org/rec/conf/mfcs/Durand96URL#6718352Kai EngelhardtWillem P. de RoeverSimulation of Specification Statements in Hoare Logic.MFCS324-3351996Conference and Workshop Papersclosedconf/mfcs/EngelhardtR9610.1007/3-540-61550-4_159https://doi.org/10.1007/3-540-61550-4_159https://dblp.org/rec/conf/mfcs/EngelhardtR96URL#6718353Zoltán ÉsikAnna LabellaEquational Properties of Iteration in Algebraically Complete Categories.MFCS336-3471996Conference and Workshop Papersclosedconf/mfcs/EsikL9610.1007/3-540-61550-4_160https://doi.org/10.1007/3-540-61550-4_160https://dblp.org/rec/conf/mfcs/EsikL96URL#6718354Henning FernauOn Unconditional Transfer.MFCS348-3591996Conference and Workshop Papersclosedconf/mfcs/Fernau9610.1007/3-540-61550-4_161https://doi.org/10.1007/3-540-61550-4_161https://dblp.org/rec/conf/mfcs/Fernau96URL#6718355Dimitris Fotakis 0001Paul G. Spirakis(poly(log log n), poly(log log n))-Restricted Verifiers are Unlikely to Exist for Languages in NP.MFCS360-3711996Conference and Workshop Papersclosedconf/mfcs/FotakisS9610.1007/3-540-61550-4_162https://doi.org/10.1007/3-540-61550-4_162https://dblp.org/rec/conf/mfcs/FotakisS96URL#6718356Leszek GasieniecEvangelos KranakisDanny KrizancAndrzej PelcMinimizing Congestion of Layouts for ATM Networks with Faulty Links.MFCS372-3811996Conference and Workshop Papersclosedconf/mfcs/GasieniecKKP9610.1007/3-540-61550-4_163https://doi.org/10.1007/3-540-61550-4_163https://dblp.org/rec/conf/mfcs/GasieniecKKP96URL#6718357Alan GibbonsMartyn AmosDavid A. HodgsonModels of DNA Computation.MFCS18-361996Conference and Workshop Papersclosedconf/mfcs/GibbonsAH9610.1007/3-540-61550-4_138https://doi.org/10.1007/3-540-61550-4_138https://dblp.org/rec/conf/mfcs/GibbonsAH96URL#6718358Ian GlaisterJeffrey O. ShallitPolynomial Automaticity, Context-Free Languages, and Fixed Points of Morphism (Extended Abstract).MFCS382-3931996Conference and Workshop Papersclosedconf/mfcs/GlaisterS9610.1007/3-540-61550-4_164https://doi.org/10.1007/3-540-61550-4_164https://dblp.org/rec/conf/mfcs/GlaisterS96URL#6718359Ursula GoltzHeike WehrheimCausal Testing.MFCS394-4061996Conference and Workshop Papersclosedconf/mfcs/GoltzW9610.1007/3-540-61550-4_165https://doi.org/10.1007/3-540-61550-4_165https://dblp.org/rec/conf/mfcs/GoltzW96URL#6718360Zhenjiang HuHideya IwasakiMasato TakeichiConstruction of List Homomorphisms by Tupling and Fusion.MFCS407-4181996Conference and Workshop Papersclosedconf/mfcs/HuIT9610.1007/3-540-61550-4_166https://doi.org/10.1007/3-540-61550-4_166https://dblp.org/rec/conf/mfcs/HuIT96URL#6718361Marta Z. KwiatkowskaGethin NormanProbabilistic Metric Semantics for a Simple Language with Recursion.MFCS419-4301996Conference and Workshop Papersclosedconf/mfcs/KwiatkowskaN9610.1007/3-540-61550-4_167https://doi.org/10.1007/3-540-61550-4_167https://dblp.org/rec/conf/mfcs/KwiatkowskaN96URL#6718362Andrea Maggiolo-SchettiniJózef WinkowskiDynamic Graphs.MFCS431-4421996Conference and Workshop Papersclosedconf/mfcs/Maggiolo-SchettiniW9610.1007/3-540-61550-4_168https://doi.org/10.1007/3-540-61550-4_168https://dblp.org/rec/conf/mfcs/Maggiolo-SchettiniW96URL#6718363Sabrina MantaciAntonio RestivoEquations on Trees.MFCS443-4561996Conference and Workshop Papersclosedconf/mfcs/MantaciR9610.1007/3-540-61550-4_169https://doi.org/10.1007/3-540-61550-4_169https://dblp.org/rec/conf/mfcs/MantaciR96URL#6718364Peter D. MossesTheory and Practice of Action Semantics.MFCS37-611996Conference and Workshop Papersclosedconf/mfcs/Mosses9610.1007/3-540-61550-4_139https://doi.org/10.1007/3-540-61550-4_139https://dblp.org/rec/conf/mfcs/Mosses96URL#6718365Madhavan MukundP. S. ThiagarajanLinear Time Temporal Logics over Mazurkiewicz Traces.MFCS62-921996Conference and Workshop Papersclosedconf/mfcs/MukundT9610.1007/3-540-61550-4_140https://doi.org/10.1007/3-540-61550-4_140https://dblp.org/rec/conf/mfcs/MukundT96URL#6718366Enno OhlebuschEsko UkkonenOn the Equivalence Problem for E-Pattern Languages.MFCS457-4681996Conference and Workshop Papersclosedconf/mfcs/OhlebuschU9610.1007/3-540-61550-4_170https://doi.org/10.1007/3-540-61550-4_170https://dblp.org/rec/conf/mfcs/OhlebuschU96URL#6718367Wieslaw PawlowskiPawel PaczkowskiStefan SokolowskiSpecifying and Verifying Parametric Processes.MFCS469-4811996Conference and Workshop Papersclosedconf/mfcs/PawlowskiPS9610.1007/3-540-61550-4_171https://doi.org/10.1007/3-540-61550-4_171https://dblp.org/rec/conf/mfcs/PawlowskiPS96URL#6718368Doron A. PeledPartial Order Reduction: Model-Checking Using Representatives.MFCS93-1121996Conference and Workshop Papersclosedconf/mfcs/Peled9610.1007/3-540-61550-4_141https://doi.org/10.1007/3-540-61550-4_141https://dblp.org/rec/conf/mfcs/Peled96URL#6718369Regimantas PliuskeviciusOn Saturation with Flexible Function Symbols.MFCS482-4931996Conference and Workshop Papersclosedconf/mfcs/Pliuskevicius9610.1007/3-540-61550-4_172https://doi.org/10.1007/3-540-61550-4_172https://dblp.org/rec/conf/mfcs/Pliuskevicius96URL#6718370Jeffrey B. RemmelNonmonotonic Rule Systems: Foward Chaining, Constraints, and Complexity (Abstract).MFCS1131996Conference and Workshop Papersclosedconf/mfcs/Remmel9610.1007/3-540-61550-4_142https://doi.org/10.1007/3-540-61550-4_142https://dblp.org/rec/conf/mfcs/Remmel96URL#6718371Carsten RössnerJean-Pierre SeifertApproximating Good Simultaneous Diophantine Approximations Is Almost NP-Hard.MFCS494-5051996Conference and Workshop Papersclosedconf/mfcs/RossnerS9610.1007/3-540-61550-4_173https://doi.org/10.1007/3-540-61550-4_173https://dblp.org/rec/conf/mfcs/RossnerS96URL#6718372Donald SannellaAndrzej TarleckiMind the Gap! Abstract Versus Concrete Models of Specifications.MFCS114-1341996Conference and Workshop Papersclosedconf/mfcs/SannellaT9610.1007/3-540-61550-4_143https://doi.org/10.1007/3-540-61550-4_143https://dblp.org/rec/conf/mfcs/SannellaT96URL#6718373Patrice SééboldOn the Conjugation of Standard Morphisms.MFCS506-5161996Conference and Workshop Papersclosedconf/mfcs/Seebold9610.1007/3-540-61550-4_174https://doi.org/10.1007/3-540-61550-4_174https://dblp.org/rec/conf/mfcs/Seebold96URL#6718374Hui ShiA Semantic Matching Algorithm: Analysis and Implementation.MFCS517-5281996Conference and Workshop Papersclosedconf/mfcs/Shi9610.1007/3-540-61550-4_175https://doi.org/10.1007/3-540-61550-4_175https://dblp.org/rec/conf/mfcs/Shi96URL#6718375Jop F. SibeynRouting on Triangles, Tori and Honeycombs.MFCS529-5411996Conference and Workshop Papersclosedconf/mfcs/Sibeyn9610.1007/3-540-61550-4_176https://doi.org/10.1007/3-540-61550-4_176https://dblp.org/rec/conf/mfcs/Sibeyn96URL#6718376Jerzy TiurynA Sequent Calculus for Subtyping Polymorphic Types.MFCS135-1551996Conference and Workshop Papersclosedconf/mfcs/Tiuryn9610.1007/3-540-61550-4_144https://doi.org/10.1007/3-540-61550-4_144https://dblp.org/rec/conf/mfcs/Tiuryn96URL#6718377Pilar de la TorreDavid T. KaoA Uniform Analysis of Trie Structures that Store Prefixing-Keys with Application to Doubly-Chained Prefixing-Tries.MFCS542-5531996Conference and Workshop Papersclosedconf/mfcs/TorreK9610.1007/3-540-61550-4_177https://doi.org/10.1007/3-540-61550-4_177https://dblp.org/rec/conf/mfcs/TorreK96URL#6718378Vladimir A. UspenskyKolmogorov Complexity: Recent Research in Moscow.MFCS156-1661996Conference and Workshop Papersclosedconf/mfcs/Uspensky9610.1007/3-540-61550-4_145https://doi.org/10.1007/3-540-61550-4_145https://dblp.org/rec/conf/mfcs/Uspensky96URL#6718379Axel WabenhorstOn Fairness in Terminating and Reactive Programs.MFCS554-5651996Conference and Workshop Papersclosedconf/mfcs/Wabenhorst9610.1007/3-540-61550-4_178https://doi.org/10.1007/3-540-61550-4_178https://dblp.org/rec/conf/mfcs/Wabenhorst96URL#6718380Tomoyuki YamakamiPolynomial Time Samplable Distributions.MFCS566-5781996Conference and Workshop Papersclosedconf/mfcs/Yamakami9610.1007/3-540-61550-4_179https://doi.org/10.1007/3-540-61550-4_179https://dblp.org/rec/conf/mfcs/Yamakami96URL#6718381Elena ZuccaFrom Static to Dynamic Abstract Data-Types.MFCS579-5901996Conference and Workshop Papersclosedconf/mfcs/Zucca9610.1007/3-540-61550-4_180https://doi.org/10.1007/3-540-61550-4_180https://dblp.org/rec/conf/mfcs/Zucca96URL#6718382Wojciech PenczekAndrzej SzalasMathematical Foundations of Computer Science 1996, 21st International Symposium, MFCS'96, Cracow, Poland, September 2-6, 1996, ProceedingsMFCSLecture Notes in Computer Science1113Springer1996Editorshipconf/mfcs/199610.1007/3-540-61550-4https://doi.org/10.1007/3-540-61550-4https://dblp.org/rec/conf/mfcs/1996URL#6725656