:facetid:toc:\"db/conf/mfcs/mfcs92.bht\"OK:facetid:toc:db/conf/mfcs/mfcs92.bhtPankaj K. AgarwalJirí Matousek 0001On Range Searching with Semialgebraic Sets.MFCS1-131992Conference and Workshop Papersclosedconf/mfcs/AgarwalM9210.1007/3-540-55808-X_1https://doi.org/10.1007/3-540-55808-X_1https://dblp.org/rec/conf/mfcs/AgarwalM92URL#6889304Hannah BastMartin DietzfelbingerTorben HagerupA Perfect Parallel Dictionary.MFCS133-1411992Conference and Workshop Papersclosedconf/mfcs/BastDH9210.1007/3-540-55808-X_11https://doi.org/10.1007/3-540-55808-X_11https://dblp.org/rec/conf/mfcs/BastDH92URL#6889305Bernd Becker 0001Joachim HartmannSome Remarks on the Test Complexity of Iterative Logic Arrays.MFCS142-1521992Conference and Workshop Papersclosedconf/mfcs/BeckerH9210.1007/3-540-55808-X_12https://doi.org/10.1007/3-540-55808-X_12https://dblp.org/rec/conf/mfcs/BeckerH92URL#6889306Hans-Jörg BurtschickAlbrecht HoeneThe Degree Structure of 1-L Reductions.MFCS153-1611992Conference and Workshop Papersclosedconf/mfcs/BurtschickH9210.1007/3-540-55808-X_13https://doi.org/10.1007/3-540-55808-X_13https://dblp.org/rec/conf/mfcs/BurtschickH92URL#6889307Jin-yi CaiLane A. HemachandraJozef VyskocPromise Problems and Access to Unambiguous Computation.MFCS162-1711992Conference and Workshop Papersclosedconf/mfcs/CaiHV9210.1007/3-540-55808-X_14https://doi.org/10.1007/3-540-55808-X_14https://dblp.org/rec/conf/mfcs/CaiHV92URL#6889308Suresh ChariDesh RanjanPankaj RohatgiOn the Complexity of Incremental Computation.MFCS172-1801992Conference and Workshop Papersclosedconf/mfcs/ChariRR9210.1007/3-540-55808-X_15https://doi.org/10.1007/3-540-55808-X_15https://dblp.org/rec/conf/mfcs/ChariRR92URL#6889309Christian ChoffrutMassimiliano GoldwurmRational Transductions and Complexity of Counting Problems.MFCS181-1901992Conference and Workshop Papersclosedconf/mfcs/ChoffrutG9210.1007/3-540-55808-X_16https://doi.org/10.1007/3-540-55808-X_16https://dblp.org/rec/conf/mfcs/ChoffrutG92URL#6889310Hubert ComonMaribel FernándezNegation Elimination in Equational Formulae.MFCS191-1991992Conference and Workshop Papersclosedconf/mfcs/ComonF9210.1007/3-540-55808-X_17https://doi.org/10.1007/3-540-55808-X_17https://dblp.org/rec/conf/mfcs/ComonF92URL#6889311José Félix CostaAmílcar SernadasCristina SernadasHans-Dieter EhrichObject Interaction.MFCS200-2081992Conference and Workshop Papersclosedconf/mfcs/CostaSSE9210.1007/3-540-55808-X_18https://doi.org/10.1007/3-540-55808-X_18https://dblp.org/rec/conf/mfcs/CostaSSE92URL#6889312Pierre-Louis CurienThérèse HardinAlejandro Ríos 0001Strong Normalization of Substitutions.MFCS209-2171992Conference and Workshop Papersclosedconf/mfcs/CurienHR9210.1007/3-540-55808-X_19https://doi.org/10.1007/3-540-55808-X_19https://dblp.org/rec/conf/mfcs/CurienHR92URL#6889313Robert P. DaleyBala KalyanasundaramProbabilistic and Pluralistic Learners with Mind Changes.MFCS218-2261992Conference and Workshop Papersclosedconf/mfcs/DaleyK9210.1007/3-540-55808-X_20https://doi.org/10.1007/3-540-55808-X_20https://dblp.org/rec/conf/mfcs/DaleyK92URL#6889314Carsten DammMarkus Holzer 0001Klaus-Jörn LangeParallel Complexity of Iterated Morphisms and the Arithmetic of Small Numbers.MFCS227-2351992Conference and Workshop Papersclosedconf/mfcs/DammHL9210.1007/3-540-55808-X_21https://doi.org/10.1007/3-540-55808-X_21https://dblp.org/rec/conf/mfcs/DammHL92URL#6889315Denis DerencourtJuhani KarhumäkiMichel LatteuxAlain TerlutteOn Computational Power of Weighted Finite Automata.MFCS236-2451992Conference and Workshop Papersclosedconf/mfcs/DerencourtKLT9210.1007/3-540-55808-X_22https://doi.org/10.1007/3-540-55808-X_22https://dblp.org/rec/conf/mfcs/DerencourtKLT92URL#6889316Josep DíazGraph Layout Problems.MFCS14-231992Conference and Workshop Papersclosedconf/mfcs/Diaz9210.1007/3-540-55808-X_2https://doi.org/10.1007/3-540-55808-X_2https://dblp.org/rec/conf/mfcs/Diaz92URL#6889317Rainer FeldmannPeter MysliwietzThe Shuffle Exchange Network has a Hamiltonian Path.MFCS246-2541992Conference and Workshop Papersclosedconf/mfcs/FeldmannM9210.1007/3-540-55808-X_23https://doi.org/10.1007/3-540-55808-X_23https://dblp.org/rec/conf/mfcs/FeldmannM92URL#6889318Paul GastinAntoine Petit 0001Poset Properties of Complex Traces.MFCS255-2631992Conference and Workshop Papersclosedconf/mfcs/GastinP9210.1007/3-540-55808-X_24https://doi.org/10.1007/3-540-55808-X_24https://dblp.org/rec/conf/mfcs/GastinP92URL#6889319Andreas GoerdtA Threshold for Unsatisfiability.MFCS264-2741992Conference and Workshop Papersclosedconf/mfcs/Goerdt9210.1007/3-540-55808-X_25https://doi.org/10.1007/3-540-55808-X_25https://dblp.org/rec/conf/mfcs/Goerdt92URL#6889320Robert GoldDataflow Semantics for Petri Nets.MFCS275-2831992Conference and Workshop Papersclosedconf/mfcs/Gold9210.1007/3-540-55808-X_26https://doi.org/10.1007/3-540-55808-X_26https://dblp.org/rec/conf/mfcs/Gold92URL#6889321Irène GuessarianMarcos Veloso PeixotoAbout Boundedness for some DATALOG and DATALOG_neg Programs.MFCS284-2971992Conference and Workshop Papersclosedconf/mfcs/GuessarianV9210.1007/3-540-55808-X_27https://doi.org/10.1007/3-540-55808-X_27https://dblp.org/rec/conf/mfcs/GuessarianV92URL#6889322Torben HagerupOla PeterssonMerging and Sorting Strings in Parallel.MFCS298-3061992Conference and Workshop Papersclosedconf/mfcs/HagerupP9210.1007/3-540-55808-X_28https://doi.org/10.1007/3-540-55808-X_28https://dblp.org/rec/conf/mfcs/HagerupP92URL#6889323Petr JancarFrantisek MrázMartin PlátekCharacterization of Context-Free Languages by Erasing Automata.MFCS307-3141992Conference and Workshop Papersclosedconf/mfcs/JancarMP9210.1007/3-540-55808-X_29https://doi.org/10.1007/3-540-55808-X_29https://dblp.org/rec/conf/mfcs/JancarMP92URL#6889324Lila KariInsertion and Deletion of Words: Determinism and Reversibility.MFCS315-3261992Conference and Workshop Papersclosedconf/mfcs/Kari9210.1007/3-540-55808-X_30https://doi.org/10.1007/3-540-55808-X_30https://dblp.org/rec/conf/mfcs/Kari92URL#6889325Frantisek KascakSmall Universal One-State Linear Operator Algorithm.MFCS327-3351992Conference and Workshop Papersclosedconf/mfcs/Kascak9210.1007/3-540-55808-X_31https://doi.org/10.1007/3-540-55808-X_31https://dblp.org/rec/conf/mfcs/Kascak92URL#6889326Cosimo LaneveUgo MontanariMobility in the CC-Paradigm.MFCS336-3451992Conference and Workshop Papersclosedconf/mfcs/LaneveM9210.1007/3-540-55808-X_32https://doi.org/10.1007/3-540-55808-X_32https://dblp.org/rec/conf/mfcs/LaneveM92URL#6889327Klaus-Jörn LangePeter RossmanithThe Emptiness Problem for Intersections of Regular Languages.MFCS346-3541992Conference and Workshop Papersclosedconf/mfcs/LangeR9210.1007/3-540-55808-X_33https://doi.org/10.1007/3-540-55808-X_33https://dblp.org/rec/conf/mfcs/LangeR92URL#6889328Klaus-Jörn LangePeter RossmanithWojciech RytterParallel Recognition and Ranking of Context-Free Languages.MFCS24-361992Conference and Workshop Papersclosedconf/mfcs/LangeRR9210.1007/3-540-55808-X_3https://doi.org/10.1007/3-540-55808-X_3https://dblp.org/rec/conf/mfcs/LangeRR92URL#6889329Hing LeungOn Finite Automata with Limited Nondeterminism.MFCS355-3631992Conference and Workshop Papersclosedconf/mfcs/Leung9210.1007/3-540-55808-X_34https://doi.org/10.1007/3-540-55808-X_34https://dblp.org/rec/conf/mfcs/Leung92URL#6889330Igor LitovskyYves MétivierÉric SopenaDefinitions and Comparisons of Local Computations on Graphs.MFCS364-3731992Conference and Workshop Papersclosedconf/mfcs/LitovskyMS9210.1007/3-540-55808-X_35https://doi.org/10.1007/3-540-55808-X_35https://dblp.org/rec/conf/mfcs/LitovskyMS92URL#6889331Bruno MartinEfficient Unidimensional Universal Cellular Automaton.MFCS374-3821992Conference and Workshop Papersclosedconf/mfcs/Martin9210.1007/3-540-55808-X_36https://doi.org/10.1007/3-540-55808-X_36https://dblp.org/rec/conf/mfcs/Martin92URL#6889332Osamu MaruyamaSatoru MiyanoInferring a Tree from Walks.MFCS383-3911992Conference and Workshop Papersclosedconf/mfcs/MaruyamaM9210.1007/3-540-55808-X_37https://doi.org/10.1007/3-540-55808-X_37https://dblp.org/rec/conf/mfcs/MaruyamaM92URL#6889333Elvira MayordomoAlmost Every Set in Exponential Time is P-Bi-Immune.MFCS392-4001992Conference and Workshop Papersclosedconf/mfcs/Mayordomo9210.1007/3-540-55808-X_38https://doi.org/10.1007/3-540-55808-X_38https://dblp.org/rec/conf/mfcs/Mayordomo92URL#6889334Milena MihailOn the Expansion of Combinatorial Polytopes.MFCS37-491992Conference and Workshop Papersclosedconf/mfcs/Mihail9210.1007/3-540-55808-X_4https://doi.org/10.1007/3-540-55808-X_4https://dblp.org/rec/conf/mfcs/Mihail92URL#6889335David MurphyAxel PoignéA Functorial Semantics for Observed Concurrency.MFCS401-4111992Conference and Workshop Papersclosedconf/mfcs/MurphyP9210.1007/3-540-55808-X_39https://doi.org/10.1007/3-540-55808-X_39https://dblp.org/rec/conf/mfcs/MurphyP92URL#6889336Edward OchmanskiModelling Concurrency with Semi-Commutations.MFCS412-4201992Conference and Workshop Papersclosedconf/mfcs/Ochmanski9210.1007/3-540-55808-X_40https://doi.org/10.1007/3-540-55808-X_40https://dblp.org/rec/conf/mfcs/Ochmanski92URL#6889337Pekka OrponenNeural Networks and Complexity Theory.MFCS50-611992Conference and Workshop Papersclosedconf/mfcs/Orponen9210.1007/3-540-55808-X_5https://doi.org/10.1007/3-540-55808-X_5https://dblp.org/rec/conf/mfcs/Orponen92URL#6889338John PedersenDecision Problems for Cellular Automata and Their Semigroups.MFCS421-4291992Conference and Workshop Papersclosedconf/mfcs/Pedersen9210.1007/3-540-55808-X_41https://doi.org/10.1007/3-540-55808-X_41https://dblp.org/rec/conf/mfcs/Pedersen92URL#6889339G. Michele PinnaAxel PoignéOn the Nature of Events.MFCS430-4411992Conference and Workshop Papersclosedconf/mfcs/PinnaP9210.1007/3-540-55808-X_42https://doi.org/10.1007/3-540-55808-X_42https://dblp.org/rec/conf/mfcs/PinnaP92URL#6889340Waldemar PreilowskiElias DahlhausGerd WechsungNew Parallel Algorithms for Convex Hull and Triangulation in 3-Dimensional Space.MFCS442-4501992Conference and Workshop Papersclosedconf/mfcs/PreilowskiDW9210.1007/3-540-55808-X_43https://doi.org/10.1007/3-540-55808-X_43https://dblp.org/rec/conf/mfcs/PreilowskiDW92URL#6889341Teodor C. PrzymusinskiTwo Simple Characterizations of Well-Founded Semantics.MFCS451-4621992Conference and Workshop Papersclosedconf/mfcs/Przymusinski9210.1007/3-540-55808-X_44https://doi.org/10.1007/3-540-55808-X_44https://dblp.org/rec/conf/mfcs/Przymusinski92URL#6889342S. Ramesh 0001Fully Abstract Semantics for Higher Order Communicating Systems.MFCS463-4711992Conference and Workshop Papersclosedconf/mfcs/Ramesh9210.1007/3-540-55808-X_45https://doi.org/10.1007/3-540-55808-X_45https://dblp.org/rec/conf/mfcs/Ramesh92URL#6889343Nicolas ReimenSuperposable Trellis Automata.MFCS472-4821992Conference and Workshop Papersclosedconf/mfcs/Reimen9210.1007/3-540-55808-X_46https://doi.org/10.1007/3-540-55808-X_46https://dblp.org/rec/conf/mfcs/Reimen92URL#6889344Thomas RoosGerhard AlbersMaintaining Proximity in Higher Dimensional Spaces.MFCS483-4931992Conference and Workshop Papersclosedconf/mfcs/RoosA9210.1007/3-540-55808-X_47https://doi.org/10.1007/3-540-55808-X_47https://dblp.org/rec/conf/mfcs/RoosA92URL#6889345Andrew SzilardSheng Yu 0001Kaizhong ZhangJeffrey O. ShallitCharacterizing Regular Languages with Polynomial Densities.MFCS494-5031992Conference and Workshop Papersclosedconf/mfcs/SzilardYZS9210.1007/3-540-55808-X_48https://doi.org/10.1007/3-540-55808-X_48https://dblp.org/rec/conf/mfcs/SzilardYZS92URL#6889346John V. TuckerJeffery I. ZuckerTheory of Computation over Stream Algebras, and its Applications.MFCS62-801992Conference and Workshop Papersclosedconf/mfcs/TuckerZ9210.1007/3-540-55808-X_6https://doi.org/10.1007/3-540-55808-X_6https://dblp.org/rec/conf/mfcs/TuckerZ92URL#6889347Uzi VishkinMethods in Parallel Algorithmics (Abstract).MFCS811992Conference and Workshop Papersclosedconf/mfcs/Vishkin9210.1007/3-540-55808-X_7https://doi.org/10.1007/3-540-55808-X_7https://dblp.org/rec/conf/mfcs/Vishkin92URL#6889348Dongming Wang 0001A Strategy for Speeding-up the Computation of Characteristic Sets.MFCS504-5101992Conference and Workshop Papersclosedconf/mfcs/Wang9210.1007/3-540-55808-X_49https://doi.org/10.1007/3-540-55808-X_49https://dblp.org/rec/conf/mfcs/Wang92URL#6889349Osamu Watanabe 0001On the Complexity of Small Description and Related Topics.MFCS82-941992Conference and Workshop Papersclosedconf/mfcs/Watanabe9210.1007/3-540-55808-X_8https://doi.org/10.1007/3-540-55808-X_8https://dblp.org/rec/conf/mfcs/Watanabe92URL#6889350Juraj WiedermannWeak Parallel Machines: a New Class of Physically Feasible Parallel Machine Models.MFCS95-1111992Conference and Workshop Papersclosedconf/mfcs/Wiedermann9210.1007/3-540-55808-X_9https://doi.org/10.1007/3-540-55808-X_9https://dblp.org/rec/conf/mfcs/Wiedermann92URL#6889351Avi WigdersonThe Complexity of Graph Connectivity.MFCS112-1321992Conference and Workshop Papersclosedconf/mfcs/Wigderson9210.1007/3-540-55808-X_10https://doi.org/10.1007/3-540-55808-X_10https://dblp.org/rec/conf/mfcs/Wigderson92URL#6889352Celia WrathallVolker DiekertFriedrich OttoOne-Rule Trace-Rewriting Systems and Confluence.MFCS511-5211992Conference and Workshop Papersclosedconf/mfcs/WrathallDO9210.1007/3-540-55808-X_50https://doi.org/10.1007/3-540-55808-X_50https://dblp.org/rec/conf/mfcs/WrathallDO92URL#6889353Ivan M. HavelVáclav KoubekMathematical Foundations of Computer Science 1992, 17th International Symposium, MFCS'92, Prague, Czechoslovakia, August 24-28, 1992, ProceedingsMFCSLecture Notes in Computer Science629Springer1992Editorshipconf/mfcs/199210.1007/3-540-55808-Xhttps://doi.org/10.1007/3-540-55808-Xhttps://dblp.org/rec/conf/mfcs/1992URL#6894737