journals/tcs/HarjuN03:::Tero Harju::Dirk Nowotka:::On the independence of equations in three variables.
journals/tcs/Mauduit02:::Christian Mauduit:::Finite and infinite pseudorandom binary words.
journals/tcs/Mauduit86:::Christian Mauduit:::Morphismes Unispectraux.
journals/tcs/FranconB00:::Jean Françon::Yves Bertrand:::Topological 3D-manifolds: a statistical study of the cells.
journals/tcs/Mundici87:::Daniele Mundici:::Satisfiability in Many-Valued Sentential Logic is NP-Complete.
journals/tcs/LarmoreR98:::Lawrence L. Larmore::Wojciech Rytter:::Almost Optimal Sublinear Time Parallel Recognition Algorithms for Three Subclasses of Context Free Languages.
journals/tcs/MoranS00:::Shlomo Moran::Sagi Snir:::Simple and efficient network decomposition and synchronization.
journals/tcs/Massol97:::A. Massol:::Minimality of the System of Seven Equations for the Category of Finite Sets.
journals/tcs/PazM81:::Azaria Paz::Shlomo Moran:::Non Deterministic Polynomial Optimization Problems and their Approximations.
journals/tcs/Pelc86:::Andrzej Pelc:::Lie Patterns in Search Procedures.
journals/tcs/Pelz85:::Elisabeth Pelz:::On the Complexity of Theories of Permutations.
journals/tcs/Senizergues95:::Géraud Sénizergues:::Some Undecidable Termination Problems for Semi-Thue Systems.
journals/tcs/Moriya89:::Etsuro Moriya:::A Grammatical Characterization of Alternating Pushdown Automata.
journals/tcs/Huynh84:::Dung T. Huynh:::Deciding the Inequivalence of Context-Free Grammars with 1-Letter Terminal Alphabet is Sigma-p-2-Complete.
journals/tcs/OttS00:::Matthias Ott::Frank Stephan:::Structural measures for games and process control in the branch learning model.
journals/tcs/OttS02:::Matthias Ott::Frank Stephan:::Avoiding coding tricks by hyperrobust learning.
journals/tcs/Otto84:::Friedrich Otto:::Finite Complete Rewriting Systems for the Jantzen Monoid and the Greendlinger Group.
journals/tcs/OrejasPE97:::Fernando Orejas::Elvira Pino::Hartmut Ehrig:::Institutions for Logic Programming.
journals/tcs/Blute93:::Richard Blute:::Linear Logic, Coherence, and Dinaturality.
journals/tcs/GrigorieffM02:::Serge Grigorieff::Jean-Yves Marion:::Kolmogorov complexity and non-determinism.
journals/tcs/Hartonas98:::Chrysafis Hartonas:::A Fixpoint Approach to Finite Delay and Fairness.
journals/tcs/MerkleS03:::Wolfgang Merkle::Frank Stephan:::Refuting learning revisited.
journals/tcs/HamidiG97:::A. El Hamidi::Marc Garbey:::Using MAPLE for the Analysis of Bifurcation Phenomena in Gas Combustion.
journals/tcs/FortnowRS94:::Lance Fortnow::John Rompel::Michael Sipser:::On the Power of Multi-Prover Interactive Protocols.
journals/tcs/Zimanyi97:::Esteban Zimányi:::Query Evaluation in Probabilistic Relational Databases.
journals/tcs/Varricchio92:::Stefano Varricchio:::Rational Series with Coefficients in a Commutative Ring.
journals/tcs/FerrettiMZ00:::Claudio Ferretti::Giancarlo Mauri::Claudio Zandron:::Nine test tubes generate any RE language.
journals/tcs/BernardoG98:::Marco Bernardo::Roberto Gorrieri:::A Tutorial on EMPA: A Theory of Concurrent Processes with Nondeterminism, Priorities, Probabilities and Time.
journals/tcs/Sato97:::Masahiko Sato:::Intuitionistic and Classical Natural Deduction Systems with the Catch and the Throw Rules.
journals/tcs/Boley99:::Harold Boley:::Functional-Logic Integration via Minimal Reciprocal Extensions.
journals/tcs/Carrere96:::F. Carrere:::On the Kleijn-Rozenberg k-Adjacent Languages.
journals/tcs/Roka00:::Zsuzsanna Róka:::The firing squad synchronization problem on Cayley graphs.
journals/tcs/Roka94:::Zsuzsanna Róka:::One-Way Cellular Automata on Cayley Graphs.
journals/tcs/Rote97:::Günter Rote:::Finding a Shortest Vector in a Two-Dimensional Lattice Modulo m.
journals/tcs/Seki91:::Hirohisa Seki:::Unfold/Fold Transformations of Stratified Programs.
journals/tcs/MairesseV02:::Jean Mairesse::Laurent Vuillon:::Asymptotic behavior in a heap model with two pieces.
journals/tcs/RosierY86:::Louis E. Rosier::Hsu-Chun Yen:::Boundedness, Empty Channel Detection, and Synchronization for Communicating Finite Automata.
journals/tcs/SambinVV96:::Giovanni Sambin::Silvio Valentini::Paolo Virgili:::Constructive Domain Theory as a Branch of Intuitionistic Pointfree Topology.
journals/tcs/Droste93:::Manfred Droste:::On Stable Domains.
journals/tcs/ArquesG95:::Didier Arquès::Olivier Grange:::A Fast Scan-Line Algorithm For Topological Filling Of Well-Nested Objects in 2.5D Digital Pictures.
journals/tcs/BattistaT88:::Giuseppe Di Battista::Roberto Tamassia:::Algorithms for Plane Representations of Acyclic Digraphs.
journals/tcs/Snir82:::Marc Snir:::Comparisons between Linear Functions can Help.
journals/tcs/DesharnaisBSTJMZ95:::Jules Desharnais::Nadir Belkhiter::Salah Ben Mohamed Sghaier::Fairouz Tchier::Ali Jaoua::Ali Mili::Nejib Zaguia:::Embedding a Demonic Semilattice in a Relational Algebra.
journals/tcs/Sirvent96:::Víctor F. Sirvent:::Relationships Between the Dynamical Systems Associated to the Rauzy Substitutions.
journals/tcs/ImmermanPS96:::Neil Immerman::Sushant Patnaik::David W. Stemple:::The Expressiveness of a Family of Finite Set Languages.
journals/tcs/PriscoLL00:::Roberto De Prisco::Butler W. Lampson::Nancy A. Lynch:::Revisiting the PAXOS algorithm.
journals/tcs/Toda92:::Seinosuke Toda:::Restricted Relativizations of Probablistic Polynomial Time.
journals/tcs/Watjen01:::Dietmar Wätjen:::Parallel communicating limited and uniformly limited 0L systems.
journals/tcs/CalamoneriM01:::Tiziana Calamoneri::Annalisa Massini:::Optimal three-dimensional layout of interconnection networks.
journals/tcs/NielsonN88:::Flemming Nielson::Hanne Riis Nielson:::Two-Level Semantics and Code Generation.
journals/tcs/Therien81:::Denis Thérien:::Classification of Finite Monoids: The Language Approach.
journals/tcs/FischerR01:::Bernd Fischer::Grigore Rosu:::Interpreting Abstract Interpretations in Membership Equational Logic.
journals/tcs/Chen03a:::Yifeng Chen:::A fixpoint theory for non-monotonic parallelism.
journals/tcs/ChenN01:::Xiao Jun Chen::Rocco De Nicola:::Algebraic characterizations of trace and decorated trace equivalences over tree-like structures.
journals/tcs/ChenW01:::Chiuyuan Chen::Kaiping Wu:::Disproving a conjecture on planar visibility graphs.
journals/tcs/ChenX03:::Guangting Chen::Guoliang Xue:::A PTAS for weight constrained Steiner trees in series-parallel graphs.
journals/tcs/Ponty00:::Jean-Luc Ponty:::An Efficient Null-Free Procedure for Deciding Regular Language Membership.
journals/tcs/Middendorf94:::Martin Middendorf:::More on the Complexity of Common Superstring and Supersequence Problems.
journals/tcs/Middendorf95:::Martin Middendorf:::On Finding Minimal, Maximal, and Consistent Sequences over a Binary Alphabet.
journals/tcs/Ambos-SpiesNT96:::Klaus Ambos-Spies::Hans-Christian Neis::Sebastiaan Terwijn:::Genericity and Measure for Exponential Time.
journals/tcs/LatteuxT86:::Michel Latteux::Erick Timmerman:::Two Characterizations of Rational Adherences.
journals/tcs/Wan98a:::Peng-Jun Wan:::Conflict-Free Channel Set Assignment for an Optical Cluster Interconnection Network Based on Rotator Digraphs.
journals/tcs/Wang98:::Jing Wang:::Finite Derivation Type for Semi-Direct Products of Monoids.
journals/tcs/BoudolK83:::Gérard Boudol::Laurent Kott:::Recursion Induction Principle Revisited.
journals/tcs/Weil89:::Pascal Weil:::Inverse Monoids of Dot-Depth Two.
journals/tcs/LifschitzV98:::Sérgio Lifschitz::Victor Vianu:::A Probabilistic View of Datalog Parallelization.
journals/tcs/Seiden01:::Steven S. Seiden:::Preemptive multiprocessor scheduling with rejection.
journals/tcs/Jiang90:::Tao Jiang:::On the Complexity of 1-Tape ATMs and Off-line 1-Tape ATMs Running in Constant Reversals.
journals/tcs/JouannaudR98:::Jean-Pierre Jouannaud::Albert Rubio:::Rewrite Orderings for Higher-Order Terms in eta-Long beta-Normal Form and Recursive Path Ordering.
journals/tcs/Freyd99a:::Peter J. Freyd:::Bireflectivity.
journals/tcs/Akhavi03:::Ali Akhavi:::The optimal LLL algorithm is still polynomial in fixed dimension.
journals/tcs/Jancar90:::Petr Jancar:::Decidability of a Temporal Logic Problem for Petri Nets.
journals/tcs/MavronicolasR99:::Marios Mavronicolas::Dan Roth:::Linearizable Read/Write Objects.
journals/tcs/Margenstern94:::Maurice Margenstern:::Nonerasing Turing Machines: A Frontier Between a Decidable Halting Problem and Universality.
journals/tcs/ItoKT00:::Masami Ito::Lila Kari::Gabriel Thierrin:::Shuffle and scattered deletion closure of languages.
journals/tcs/IwamotoHMI02:::Chuzo Iwamoto::Tomonobu Hatsuyama::Kenichi Morita::Katsunobu Imai:::Constructible functions in cellular automata and their applications to hierarchy results.
journals/tcs/DeutschP03:::Emeric Deutsch::Helmut Prodinger:::A bijection between directed column-convex polyominoes and ordered trees of height at most three.
journals/tcs/KucherovR97:::Gregory Kucherov::Michaël Rusinowitch:::Matching a Set of Strings with Variable Length don't Cares.
journals/tcs/WrightWT78:::Jesse B. Wright::Eric G. Wagner::James W. Thatcher:::A Uniform Approach to Inductive Posets and Inductive Closure.
journals/tcs/RozenbergPS77:::Grzegorz Rozenberg::Martti Penttonen::Arto Salomaa:::Bibliography of L Systems.
journals/tcs/BussT88:::Samuel R. Buss::György Turán:::Resolution Proofs of Generalized Pigeonhole Principles.
journals/tcs/Mertens01:::Stephan Mertens:::A physicist's approach to number partitioning.
journals/tcs/Jansen03:::Klaus Jansen:::Approximate strong separation with application in fractional graph coloring and preemptive scheduling.
journals/tcs/McNaughton98a:::Robert McNaughton:::Contributions of Ronald V. Book to the Theory of String-Rewriting Systems.
journals/tcs/Zhou00:::Qing Zhou:::Grzegorczyk's hierarchy of computable analysis.
journals/tcs/Vagvolgyi93:::Sándor Vágvölgyi:::A Fast Algorithm for Constructing a Tree Automaton Recognizing a Congruential Tree Language.
journals/tcs/Fortnow00:::Lance Fortnow:::One complexity theorist's view of quantum computing.
journals/tcs/FriasM01:::Marcelo F. Frias::Roger D. Maddux:::Completeness of a relational calculus for program schemes.
journals/tcs/MazurkiewiczOP89:::Antoni W. Mazurkiewicz::Edward Ochmanski::Wojciech Penczek:::Concurrent Systems and Inevitability.
journals/tcs/Stoltenberg-HansenT99:::Viggo Stoltenberg-Hansen::J. V. Tucker:::Concrete Models of Computation for Topological Algebras.
journals/tcs/Mateescu94:::Alexandru Mateescu:::Scattered Deletion and Commutativity.
journals/tcs/GelenbeH94:::Erol Gelenbe::Marisela Hernández:::Virus Tests to Maximize Availability of Software Systems.
journals/tcs/Danko86:::Wiktor Danko:::First-Order Approximation of Algorithmic Theories.
journals/tcs/Clote86:::Peter Clote:::On the Finite Containment Problem for Petri Nets.
journals/tcs/Brandenburg87a:::Franz-Josef Brandenburg:::Representations of Language Families by Homomorphic Equality Operations and Generalized Equality Sets.
journals/tcs/Sakakibara90:::Yasubumi Sakakibara:::Learning Context-Free Grammars from Structural Data in Polynomial Time.
journals/tcs/AsveldN00:::Peter R. J. Asveld::Anton Nijholt:::The Inclusion Problem for Some Subclasses of Context-Free Languages.
journals/tcs/KedemP92:::Zvi M. Kedem::Krishna V. Palem:::Optimal Parallel Algorithms for Forest and Term Matching.
journals/tcs/BartlettB02:::Peter L. Bartlett::Shai Ben-David:::Hardness results for neural network approximation problems.
journals/tcs/FerrariGPR03:::Luca Ferrari::E. Grazzini::Elisa Pergola::Simone Rinaldi:::Some bijective results about the area of Schröder paths.
journals/tcs/BidoitA98:::Nicole Bidoit::Sandra de Amo:::A First Step Towards Implementing Dynamic Algebraic Dependences.
journals/tcs/BidoitF91:::Nicole Bidoit::Christine Froidevaux:::Negation by Default and Unstratifiable Logic Programs.
journals/tcs/HonsellMS01:::Furio Honsell::Marino Miculan::Ivan Scagnetto:::pi-calculus in (Co)inductive-type theory.
journals/tcs/Brzozowski00:::Janusz A. Brzozowski:::Delay-insensitivity and ternary simulation.
journals/tcs/Staples80:::John Staples:::Computation on Graph-Like Expressions.
journals/tcs/Allouche99:::Jean-Paul Allouche:::Transcendence of Formal Power Series with Rational Coefficients.
journals/tcs/Lambert92a:::Jean-Luc Lambert:::Sorting the Sums (xi+yj) in O(n2) Comparisons.
journals/tcs/HughesS81:::Charles E. Hughes::Stanley M. Selkow:::The Finite Power Property for Context-Free Languages.
journals/tcs/KlapperX99:::Andrew Klapper::Jinzhong Xu:::Algebraic Feedback Shift Registers.
journals/tcs/EhrenfeuchtR78a:::Andrzej Ehrenfeucht::Grzegorz Rozenberg:::Elementary Homomorphisms and a Solution of the D0L Sequence Equivalence Problem.
journals/tcs/FaginKPS85:::Ronald Fagin::Maria M. Klawe::Nicholas Pippenger::Larry J. Stockmeyer:::Bounded-Depth, Polynomial-Size Circuits for Symmetric Functions.
journals/tcs/GarciaRP03:::Pedro Garcia::José Ruiz::Manuel Vazquez de Parga:::Bilateral locally testable languages.
journals/tcs/HsiangS87:::Jieh Hsiang::Mandayam K. Srivas:::Automatic Inductive Theorem Proving Using Prolog.
journals/tcs/HornofN00:::Luke Hornof::Jacques Noyé:::Accurate binding-time analysis for imperative languages: flow, context, and return sensitivity.
journals/tcs/Stefanescu87:::Gheorghe Stefanescu:::On Flowchart Theories: Part II. The Nondeterministic Case.
journals/tcs/Demri03:::Stéphane Demri:::A polynomial space construction of tree-like models for logics with local chains of modal connectives.
journals/tcs/KirousisP86:::Lefteris M. Kirousis::Christos H. Papadimitriou:::Searching and Pebbling.
journals/tcs/KleinK02:::Andreas Klein::Martin Kutrib:::Deterministic Turing machines in the range between real-time and linear-time.
journals/tcs/Jones91:::Neil D. Jones:::Static Semantics, Types, and Binding Time Analysis.
journals/tcs/MascariZ85:::Gianfranco Mascari::Marisa Venturini Zilli:::While-Programs with Nondeterministic Assignments and the Logic Alna.
journals/tcs/Christol79:::Gilles Christol:::Ensembles Presque Periodiques k-Reconnaissables.
journals/tcs/EhrigK83:::Hartmut Ehrig::Hans-Jörg Kreowski:::Compatibility of Parameter Passing and Implementation of Parameterized Data Types.
journals/tcs/HarbaneH01:::Rabah Harbane::Marie-Claude Heydemann:::Efficient reconfiguration algorithms of de Bruijn and Kautz networks into linear arrays.
journals/tcs/Joung00:::Yuh-Jzer Joung:::Two decentralized algorithms for strong interaction fairness for systems with unbounded speed variability.
journals/tcs/Nilsson95:::Ulf Nilsson:::Abstract Interpretation: A Kind of Magic.
journals/tcs/CrvenkovicD02:::Sinisa Crvenkovic::Igor Dolinka:::On axioms for commutative regular equations without addition.
journals/tcs/Tomita83:::Etsuji Tomita:::A Direct Branching Algorithm for Checking Equivalence of Strict Deterministic VS. LL(k) Grammars.
journals/tcs/CastellaniZ97:::Ilaria Castellani::Guo-Qiang Zhang:::Parallel Product of Event Structures.
journals/tcs/LitovskyM93:::Igor Litovsky::Yves Métivier:::Computing with Graph Rewriting Systems with Priorities.
journals/tcs/Olderog84:::Ernst-Rüdiger Olderog:::Correctnes of Programs with Pascal-Like Procedures without Global Variables.
journals/tcs/Watanabe83:::Osamu Watanabe:::The Time-Precision Tradeoff Problem on On-Line Probabilistic Turing Machines.
journals/tcs/Baeza-Yates96:::Ricardo A. Baeza-Yates:::Bounded Disorder: The Effect of the Index.
journals/tcs/Crole94:::Roy L. Crole:::Computational Adequacy of the FIX-Logic.
journals/tcs/Thomas81:::Wolfgang Thomas:::Remark on the Star-Height-Problem.
journals/tcs/Bradfield98:::Julian C. Bradfield:::The Modal µ-Calculus Alternation Hierarchy is Strict.
journals/tcs/JustinP95:::Jacques Justin::Giuseppe Pirillo:::On a Question About Factorization Forests.
journals/tcs/GodinM94:::Robert Godin::Rokia Missaoui:::An Incremental Concept Formation Approach for Learning from Databases.
journals/tcs/Kutylowski91:::Miroslaw Kutylowski:::Multihead One-Way Finite Automata.
journals/tcs/Arnold02:::André Arnold:::Nivat's processes and their synchronization.
journals/tcs/Arnold88:::André Arnold:::Logical Definability of Fixed Points.
journals/tcs/TakenagaNY01:::Yasuhiko Takenaga::Kouji Nakajima::Shuzo Yajima:::Tree-shellability of Boolean functions.
journals/tcs/Edelsbrunner85:::Herbert Edelsbrunner:::Finding Transversals for Sets of Simple Geometric Figures.
journals/tcs/Hertling02:::Peter Hertling:::A lower bound for range enclosure in interval arithmetic.
journals/tcs/RestR85:::Evelyne Barbin-Le Rest::Michel Le Rest:::Sur la Combinatoire des Codes à Deux Mots.
journals/tcs/Eppendahl99:::Adam Eppendahl:::Coalgebra-to-Algebra Morphisms.
journals/tcs/CodishM96:::Michael Codish::Grigory Mashevitzky:::Proving Implications by Algebraic Approximation.
journals/tcs/Revuz92:::Dominique Revuz:::Minimisation of Acyclic Deterministic Automata in Linear Time.
journals/tcs/Karhumaki85a:::Juhani Karhumäki:::A Property of Three-Element Codes.
journals/tcs/Diekert93a:::Volker Diekert:::On the Concentration of Infinite Traces.
journals/tcs/Culik76:::Karel Culik II:::On the Decidability of the Sequence Equivalence Problem for D0L-Systems.
journals/tcs/GabarroMM96:::Joaquim Gabarró::Conrado Martinez::Xavier Messeguer:::A Design of a Parallel Dictionary Using Skip Lists.
journals/tcs/AspertiL95:::Andrea Asperti::Cosimo Laneve:::Paths, Computations and Labels in the lambda-Calculus.
journals/tcs/AlloucheMS92:::Jean-Paul Allouche::Patrick Morton::Jeffrey Shallit:::Pattern Spectra, Substring Enumeration, and Automatic Sequences.
journals/tcs/Uspensky94:::Vladimir A. Uspensky:::Gödel's Incompleteness Theorem.
journals/tcs/ItoITK84:::Minoru Ito::Motoaki Iwasaki::Kenichi Taniguchi::Tadao Kasami:::Membership Problems for Data Dependencies in Relational Expressions.
journals/tcs/LeermakersAA92:::René Leermakers::Lex Augusteijn::F. E. J. Kruseman Aretz:::A Functional LR Parser.
journals/tcs/CherubiniCP02:::Alessandra Cherubini::Stefano Crespi-Reghizzi::Pierluigi San Pietro:::Associative language descriptions.
journals/tcs/Rogozhin96:::Yurii Rogozhin:::Small Universal Turing Machines.
journals/tcs/Hashiguchi79:::Kosaburo Hashiguchi:::A Decision Procedure for the Order of Regular Events.
journals/tcs/AalbersbergR85:::IJsbrand Jan Aalbersberg::Grzegorz Rozenberg:::CTS Systems and Petri Nets.
journals/tcs/Brattka03:::Vasco Brattka:::Recursive quasi-metric spaces.
journals/tcs/FalaschiGMP97:::Moreno Falaschi::Maurizio Gabbrielli::Kim Marriott::Catuscia Palamidessi:::Confluence in Concurrent Constraint Programming.
journals/tcs/BeigelGK96:::Richard Beigel::William I. Gasarch::Efim B. Kinber:::Frequency Computation and Bounded Queries.
journals/tcs/BuroschDKKS91:::G. Burosch::János Demetrovics::Gyula O. H. Katona::Daniel J. Kleitman::Alexander A. Sapozhenko:::On the Number of Databases and Closure Operations.
journals/tcs/RozenbergV81:::Grzegorz Rozenberg::R. Verraedt:::On Pure, Terminal Invariant and Nonterminal Invariant Interpretations of E0L Forms.
journals/tcs/Elvang-GoranssonO93:::Morten Elvang-Gøransson::Olaf Owe:::A Simple Sequent Calculus for Partial Functions.
journals/tcs/ImoriY85:::Masatosi Imori::Hisao Yamada:::Periodic Character Sequences where Identifying two Characters Strictly Reduces the Period.
journals/tcs/RamalingamR96:::G. Ramalingam::Thomas W. Reps:::On the Computational Complexity of Dynamic Graph Problems.
journals/tcs/BruyereFG95:::Véronique Bruyère::Clelia de Felice::Giovanna Guaiana:::On Some Decision Problems for Trace Codings.
journals/tcs/PrieseN92:::Lutz Priese::Doris Nolte:::Strong Fairness and Ultra Metrics.
journals/tcs/game02:::M. Ageev:::Martin's game: a lower bound for the number of sets.
journals/tcs/PrasadI92:::Lakshman Prasad::S. Sitharama Iyengar:::An Asymptotic Equality for the Number of Necklaces in a Shuffle-Exchange Network.
journals/tcs/Janicki84:::Ryszard Janicki:::Nets, Sequential Components and Concurrency Relations.
journals/tcs/RavikumarL84:::Bala Ravikumar::K. B. Lakshmanan:::Coping with Known Patterns of Lies in a Search Game.
journals/tcs/Dubois91:::Olivier Dubois:::Counting the Number of Solutions for Instances of Satisfiability.
journals/tcs/VingralekHBS98:::Radek Vingralek::Haiyan Hasse-Ye::Yuri Breitbart::Hans-Jörg Schek:::Unifying Concurrency Control and Recovery of Transactions with Semantically Rich Operations.
journals/tcs/Lando91:::Barbara Lando:::Periodicity and Ultimate Periodicity of D0L Systems.
journals/tcs/GalilG89:::Zvi Galil::Raffaele Giancarlo:::Speeding up Dynamic Programming with Applications to Molecular Biology.
journals/tcs/Pelibossian96:::Hratchia Pélibossian:::On the Linearity of On-Line Computable Functions.
journals/tcs/BeameBL92:::Paul Beame::Erik Brisson::Richard E. Ladner:::The Complexity of Computing Symmetric Functions Using Threshold Circuits.
journals/tcs/Salomaa02:::Arto Salomaa:::Uni-transitional Watson-Crick D0L systems.
journals/tcs/Salomaa03:::Arto Salomaa:::Composition sequences for functions over a finite domain.
journals/tcs/IbarraDP03:::Oscar H. Ibarra::Zhe Dang::Pierluigi San Pietro:::Verification in loosely synchronous queue-connected discrete timed automata.
journals/tcs/GalilLY87:::Zvi Galil::Gad M. Landau::Mordechai M. Yung:::Distributed Algorithms in Synchronous Broadcasting Networks.
journals/tcs/IbarraJW92:::Oscar H. Ibarra::Tao Jiang::Hui Wang:::A Characterization of Exponential-Time Languages by Alternating Context-Free Grammars.
journals/tcs/Czaja00:::Ludwik Czaja:::Process languages and nets.
journals/tcs/MoggiBJ99:::Eugenio Moggi::Gianna Bellè::C. Barry Jay:::Monads, shapely functors, and traversals.
journals/tcs/Burdick02:::Bruce S. Burdick:::A note on iterated duals of certain topological spaces.
journals/tcs/HeadL86a:::Tom Head::Barbara Lando:::Regularity of Sets of Initial Strings of Periodic D0L-Systems.
journals/tcs/Sands96:::David Sands:::Proving the Correctness of Recursion-Based Automatic Program Transformations.
journals/tcs/MaraistOTW99:::John Maraist::Martin Odersky::David N. Turner::Philip Wadler:::Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus.
journals/tcs/DiksKKP02:::Krzysztof Diks::Evangelos Kranakis::Danny Krizanc::Andrzej Pelc:::The impact of information on broadcasting time in linear radio networks.
journals/tcs/Dowek93:::Gilles Dowek:::The Undecidability of Pattern Matching in Calculi Where Primitive Recursive Functions are Representable.
journals/tcs/HomerKR93:::Steven Homer::Stuart A. Kurtz::James S. Royer:::On A-Truth-Table-Hard Languages.
journals/tcs/ShallitW02:::Jeffrey Shallit::Ming-wei Wang:::On two-sided infinite fixed points of morphisms.
journals/tcs/BoldiV00:::Paolo Boldi::Sebastiano Vigna:::The Turing closure of an Archimedean field.
journals/tcs/Miculan01:::Marino Miculan:::Developing (Meta)Theory of Lambda-calculus in the Theory of Context.
journals/tcs/RameshRS01:::R. Ramesh::I. V. Ramakrishnan::R. C. Sekar:::Automata-driven efficient subterm unification.
journals/tcs/Pelecq96:::Laurent Pélecq:::Automorphism Groups of Context-Free Graphs.
journals/tcs/BrazmaK86:::Alvis Brazma::Efim B. Kinber:::Generalized Regular Expressions-A Language for Synthesis of Programs with Braching in Loops.
