:facetid:toc:\"db/conf/stacs/stacs88.bht\"OK:facetid:toc:db/conf/stacs/stacs88.bhtMartín AbadiJoan FeigenbaumA Simple Protocol for Secure Circuit Evaluation.STACS264-2721988Conference and Workshop Papersclosedconf/stacs/AbadiF8810.1007/BFB0035850https://doi.org/10.1007/BFb0035850https://dblp.org/rec/conf/stacs/AbadiF88URL#7001491Jean-Paul AlloucheBernard RandeLoÿs ThimonierFonctions Génératrices Transcendantes à Coefficients Engendrés par Automates.STACS170-1831988Conference and Workshop Papersclosedconf/stacs/AlloucheRT8810.1007/BFB0035843https://doi.org/10.1007/BFb0035843https://dblp.org/rec/conf/stacs/AlloucheRT88URL#7001492Egidio AstesianoAlessandro GioviniGianna ReggioGeneralized Bisimulation in Relational Specifications.STACS207-2261988Conference and Workshop Papersclosedconf/stacs/AstesianoGR8810.1007/BFB0035846https://doi.org/10.1007/BFb0035846https://dblp.org/rec/conf/stacs/AstesianoGR88URL#7001493Francis AvnaimJean-Daniel BoissonnatPolygon Placement Under Translation and Rotation.STACS322-3331988Conference and Workshop Papersclosedconf/stacs/AvnaimB8810.1007/BFB0035856https://doi.org/10.1007/BFb0035856https://dblp.org/rec/conf/stacs/AvnaimB88URL#7001494Bernd Becker 0001Reiner KollaOn the Construction of Optimal Time Adders (Extended Abstract).STACS18-281988Conference and Workshop Papersclosedconf/stacs/BeckerK8810.1007/BFB0035828https://doi.org/10.1007/BFb0035828https://dblp.org/rec/conf/stacs/BeckerK88URL#7001495Patrick BellotRemi LegrandFunctions and Relations: The GRAAL System.STACS389-3901988Conference and Workshop Papersclosedconf/stacs/BellotL8810.1007/BFB0035861https://doi.org/10.1007/BFb0035861https://dblp.org/rec/conf/stacs/BellotL88URL#7001496Marc V. BenvenisteLPC: A Concurrent Programming Laboratory.STACS391-3921988Conference and Workshop Papersclosedconf/stacs/Benveniste8810.1007/BFB0035862https://doi.org/10.1007/BFb0035862https://dblp.org/rec/conf/stacs/Benveniste88URL#7001497François BergeronG. CartierDarwin: Computer Algebra and Enumerative Combinatorics.STACS393-3941988Conference and Workshop Papersclosedconf/stacs/BergeronC8810.1007/BFB0035863https://doi.org/10.1007/BFb0035863https://dblp.org/rec/conf/stacs/BergeronC88URL#7001498François BergeronGilbert LabellePierre LerouxFunctional Equations for Data Structures.STACS73-801988Conference and Workshop Papersclosedconf/stacs/BergeronLL8810.1007/BFB0035833https://doi.org/10.1007/BFb0035833https://dblp.org/rec/conf/stacs/BergeronLL88URL#7001499Wadoud BousdiraJean-Luc RémyHierarchical Contextual Rewriting with Several Levels.STACS193-2061988Conference and Workshop Papersclosedconf/stacs/BousdiraR8810.1007/BFB0035845https://doi.org/10.1007/BFb0035845https://dblp.org/rec/conf/stacs/BousdiraR88URL#7001500Franz-Josef BrandenburgOn Polynomial Time Graph Grammars.STACS227-2361988Conference and Workshop Papersclosedconf/stacs/Brandenburg8810.1007/BFB0035847https://doi.org/10.1007/BFb0035847https://dblp.org/rec/conf/stacs/Brandenburg88URL#7001501Danilo BruschiGiovanni PighizziniNicoletta SabadiniOn the Existence of the Minimum Asynchronous Automaton and on Decision Problems for Unambiguous Regular Trace Languages.STACS334-3451988Conference and Workshop Papersclosedconf/stacs/BruschiPS8810.1007/BFB0035857https://doi.org/10.1007/BFb0035857https://dblp.org/rec/conf/stacs/BruschiPS88URL#7001502Guan-Ing ChenTen-Hwang LaiScheduling Independent Jobs on Hypercubes.STACS273-2801988Conference and Workshop Papersclosedconf/stacs/ChenL8810.1007/BFB0035851https://doi.org/10.1007/BFb0035851https://dblp.org/rec/conf/stacs/ChenL88URL#7001503Bruno CourcelleAn Axiomatic Definition of Context-Free Rewriting and its Application to NLC Graph Grammars.STACS237-2471988Conference and Workshop Papersclosedconf/stacs/Courcelle8810.1007/BFB0035848https://doi.org/10.1007/BFb0035848https://dblp.org/rec/conf/stacs/Courcelle88URL#7001504Louis DewezJean-Michel DouinPhilippe LucasMODULOG and the MODULA WorkStation.STACS397-3981988Conference and Workshop Papersclosedconf/stacs/DewezDL8810.1007/BFB0035865https://doi.org/10.1007/BFb0035865https://dblp.org/rec/conf/stacs/DewezDL88URL#7001505Volker DiekertAxel MöbusHotz-Isomorphism Theorems in Formal Language Theory.STACS126-1351988Conference and Workshop Papersclosedconf/stacs/DiekertM8810.1007/BFB0035839https://doi.org/10.1007/BFb0035839https://dblp.org/rec/conf/stacs/DiekertM88URL#7001506Clelia de FeliceConstruction of a Family of Finite Maximal Codes.STACS159-1691988Conference and Workshop Papersclosedconf/stacs/Felice8810.1007/BFB0035842https://doi.org/10.1007/BFb0035842https://dblp.org/rec/conf/stacs/Felice88URL#7001507David Fernández-BacaGiora SlutzkiSolving Parametric Problems on Trees.STACS52-601988Conference and Workshop Papersclosedconf/stacs/Fernandez-BacaS8810.1007/BFB0035831https://doi.org/10.1007/BFb0035831https://dblp.org/rec/conf/stacs/Fernandez-BacaS88URL#7001508Gilberto FiléThe Relation of Two Patterns with Comparable Languages.STACS184-1921988Conference and Workshop Papersclosedconf/stacs/File8810.1007/BFB0035844https://doi.org/10.1007/BFb0035844https://dblp.org/rec/conf/stacs/File88URL#7001509Giorgio GambosiGiuseppe F. ItalianoMaurizio TalamoGetting Back to the Past in the Union-Find Problem.STACS8-171988Conference and Workshop Papersclosedconf/stacs/GambosiIT8810.1007/BFB0035827https://doi.org/10.1007/BFb0035827https://dblp.org/rec/conf/stacs/GambosiIT88URL#7001510B. Le GoffPaul Le GuernicThe Granules, Blutton: An Idea, an Algorithm to Implement on Multiprocessor.STACS399-4001988Conference and Workshop Papersclosedconf/stacs/GoffG8810.1007/BFB0035866https://doi.org/10.1007/BFb0035866https://dblp.org/rec/conf/stacs/GoffG88URL#7001511Erich GrädelDomino Games with an Application to the Complexity of Boolean Algebras with Bounded Quantifier Alternations.STACS98-1071988Conference and Workshop Papersclosedconf/stacs/Gradel8810.1007/BFB0035836https://doi.org/10.1007/BFb0035836https://dblp.org/rec/conf/stacs/Gradel88URL#7001512Irène GuessarianWafaa Niar-DinedaneAn Automaton Characterization of Fairness in SCCS.STACS356-3721988Conference and Workshop Papersclosedconf/stacs/GuessarianN8810.1007/BFB0035859https://doi.org/10.1007/BFb0035859https://dblp.org/rec/conf/stacs/GuessarianN88URL#7001513Uschi HeuterFirst-Order Properties of Trees, Star-Free Expressions, adn Aperiodicity.STACS136-1481988Conference and Workshop Papersclosedconf/stacs/Heuter8810.1007/BFB0035840https://doi.org/10.1007/BFb0035840https://dblp.org/rec/conf/stacs/Heuter88URL#7001514Birgit JennerBernd KirsigCharacterizing the Polynomial Hierarchy by Alternating Auxiliary Pushdown Automata.STACS118-1251988Conference and Workshop Papersclosedconf/stacs/JennerK8810.1007/BFB0035838https://doi.org/10.1007/BFb0035838https://dblp.org/rec/conf/stacs/JennerK88URL#7001515Bettina JustFriedhelm Meyer auf der HeideAvi WigdersonOn Computations with Integer Division.STACS29-371988Conference and Workshop Papersclosedconf/stacs/JustHW8810.1007/BFB0035829https://doi.org/10.1007/BFb0035829https://dblp.org/rec/conf/stacs/JustHW88URL#7001516Rolf KleinDerick WoodVoronoi Diagrams Based on General Metrics in the Plane.STACS281-2911988Conference and Workshop Papersclosedconf/stacs/KleinW8810.1007/BFB0035852https://doi.org/10.1007/BFb0035852https://dblp.org/rec/conf/stacs/KleinW88URL#7001517Joost N. KokA Compositional Semantics for Concurrent Prolog.STACS373-3881988Conference and Workshop Papersclosedconf/stacs/Kok8810.1007/BFB0035860https://doi.org/10.1007/BFb0035860https://dblp.org/rec/conf/stacs/Kok88URL#7001518Pascal LienhardtExtension of the Notion of Map and Subdivisions of a Three-Dimensional Space.STACS301-3111988Conference and Workshop Papersclosedconf/stacs/Lienhardt8810.1007/BFB0035854https://doi.org/10.1007/BFb0035854https://dblp.org/rec/conf/stacs/Lienhardt88URL#7001519Christoph MeinelThe Power of Polynomial Size Omega-Branching Programs.STACS81-901988Conference and Workshop Papersclosedconf/stacs/Meinel8810.1007/BFB0035834https://doi.org/10.1007/BFb0035834https://dblp.org/rec/conf/stacs/Meinel88URL#7001520