journals/tcs/Rockl01:::Christine Röckl:::A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations.
journals/tcs/Scott93:::Dana S. Scott:::A Type-Theoretical Alternative to ISWIM, CUCH, OWHY.
journals/tcs/EgliC76:::Herbert Egli::Robert L. Constable:::Computability Concepts for Programming Language Semantics.
journals/tcs/BrogiLMM97:::Antonio Brogi::Evelina Lamma::Paolo Mancarella::Paola Mello:::A Unifying View for Logic Programming with Non-Monotonic Reasoning.
journals/tcs/BerenguerDH82:::X. Berenguer::J. Díaz::L. H. Harper:::A Solution of the Sperner-Erdös Problem.
journals/tcs/DrewesHKT95:::Frank Drewes::Annegret Habel::Hans-Jörg Kreowski::Stefan Taubenberger:::Generating Self-Affine Fractals by Collage Grammars.
journals/tcs/BshoutyEK02:::Nader H. Bshouty::Nadav Eiron::Eyal Kushilevitz:::PAC learning with nasty noise.
journals/tcs/Fernau02:::Henning Fernau:::Even linear simple matrix languages: formal language properties and grammatical inference.
journals/tcs/EiterG93:::Thomas Eiter::Georg Gottlob:::Propositional Circumscription and Extended Closed-World Reasoning are IIp2-Complete.
journals/tcs/EngelfrietLR91:::Joost Engelfriet::George Leih::Grzegorz Rozenberg:::Nonterminal Separation in Graph Grammars.
journals/tcs/Selmi96:::Carla Selmi:::Over Testable Languages.
journals/tcs/PitermanV03:::Nir Piterman::Moshe Y. Vardi:::From bidirectionality to alternation.
journals/tcs/Krob91a:::Daniel Krob:::Complete Systems of B-Rational Identities.
journals/tcs/CherkasovaK91:::Ludmila Cherkasova::Vadim E. Kotov:::An Algebra of Concurrent Non-Deterministic Processes.
journals/tcs/LetichevskyKK93:::Alexander A. Letichevsky::Julia V. Kapitonova::S. V. Konozenko:::Computations in APS.
journals/tcs/Skandalis90:::Kostas Skandalis:::Non-Recursiveness of the Operations on Real Numbers.
journals/tcs/CiceroneSF02:::Serafino Cicerone::Gabriele Di Stefano::Michele Flammini:::Static and dynamic low-congested interval routing schemes.
journals/tcs/Volger83:::Hugo Volger:::Turing Machines with Linear Alternation, Theories of Bounded Concatenation and the Decision Problem of First Order Theories.
journals/tcs/Diekert89:::Volker Diekert:::On the Knuth-Bendix Completion for Concurrent Processes.
journals/tcs/Lasota02:::Slawomir Lasota:::Coalgebra morphisms subsume open maps.
journals/tcs/AlloucheHPPS97:::Jean-Paul Allouche::Fritz von Haeseler::Heinz-Otto Peitgen::A. Petersen::Guentcho Skordev:::Automaticity of Double Sequences Generated by One-Dimensional Linear Cellular Automata.
journals/tcs/AndreevCR96:::Alexander E. Andreev::Andrea E. F. Clementi::José D. P. Rolim:::Constructing the Highest Degree Subgraph for Dense Graphs is in NCAS.
journals/tcs/AfratiGR02:::Foto N. Afrati::Irène Guessarian::Michel de Rougemont:::The expressiveness of DAC.
journals/tcs/LangeGJ03:::Steffen Lange::Gunter Grieser::Klaus P. Jantke:::Advanced elementary formal systems.
journals/tcs/LangeZK96:::Steffen Lange::Thomas Zeugmann::Shyam Kapur:::Monotonic and Dual Monotonic Language Learning.
journals/tcs/Petersen96:::H. Petersen:::On the Language of Primitive Words.
journals/tcs/WeihrauchZ00:::Klaus Weihrauch::Xizhong Zheng:::Computability on continuous, lower semi-continuous and upper semi-continuous real functions.
journals/tcs/ShenL97:::Hong Shen::Weifa Liang:::Efficient Enumeration of all Minimal Separators in a Graph.
journals/tcs/HernandoHH02:::Carmen Hernando::Michael E. Houle::Ferran Hurtado:::On local transformation of polygons with visibility properties.
journals/tcs/FormentiG03:::Enrico Formenti::Aristide Grange:::Number conserving cellular automata II: dynamics.
journals/tcs/Kulas99:::Marija Kulas:::Debugging Prolog Using Annotations.
journals/tcs/GoldreichM98:::Oded Goldreich::Bernd Meyer:::Computational Indistinguishability: Algorithms vs. Circuits.
journals/tcs/Tiskin98:::Alexandre Tiskin:::The Bulk-Synchronous Parallel Random Access Machine.
journals/tcs/Zhang95:::Louxin Zhang:::On the Approximation of Longest Common Nonsupersequences and Shortest Common Nonsubsequences.
journals/tcs/MeierS00:::David Meier::Beverly A. Sanders:::Composing leads-to properties.
journals/tcs/Schutzenberger77:::Marcel Paul Schützenberger:::Sur une Variante des Fonctions Sequentielles.
journals/tcs/ShmatikovM02:::Vitaly Shmatikov::John C. Mitchell:::Finite-state analysis of two contract signing protocols.
journals/tcs/Meinel88:::Christoph Meinel:::The Power of Nondeterminism in Polynomial-Size Bounded-Width Branching Programs.
journals/tcs/MadlenerR98:::Klaus Madlener::Birgit Reinert:::Relating Rewriting Techniques on Monoids and Rings: Congruences on Monoids and Ideals in Monoid Rings.
journals/tcs/BucherMCW81:::W. Bucher::Hermann A. Maurer::Karel Culik II::Detlef Wotschke:::Concise Description of Finite Languages.
journals/tcs/Troesch93:::A. Troesch:::Interprétation géométrique de l'algorithme d'Euclide et reconnaissance de segments.
journals/tcs/SaccaZ88:::Domenico Saccà::Carlo Zaniolo:::The Generalized Counting Method for Recursive Logic Queries.
journals/tcs/Gutbrod89:::Roger Gutbrod:::A Transformation System for Generating Description Languages of Chain Code Pictures.
journals/tcs/Grolmusz97:::Vince Grolmusz:::On the Power of Circuits with Gates of Low L<sub>1</sub> Norms.
journals/tcs/MainB93:::Michael G. Main::David L. Black:::Semantic Models for Total Correctness and Fairness.
journals/tcs/NakanoOZ03:::Koji Nakano::Stephan Olariu::Albert Y. Zomaya:::A time-optimal solution for the path cover problem on cographs.
journals/tcs/Girault-Beauquier84:::Danièle Beauquier:::Bilimites de Langages Reconnaissables.
journals/tcs/Stuber98:::Jürgen Stuber:::Superposition Theorem Proving for Abelian Groups Represented as Integer Modules.
journals/tcs/Perrin84:::Dominique Perrin:::Completing Biprefix Codes.
journals/tcs/AndrekaNS82:::Hajnal Andréka::István Németi::Ildikó Sain:::A Complete Logic for Reasoning about Programs via Nonstandard Model Theory I.
journals/tcs/AndrekaNS91:::Hajnal Andréka::István Németi::Ildikó Sain:::On the Strength of Temporal Proofs.
journals/tcs/SavickyZ97:::Petr Savický::Stanislav Zák:::A Lower Bound on Branching Programs Reading Some Bits Twice.
journals/tcs/Meshulam84:::Roy Meshulam:::A Geometric Construction of a Superconcentrator of Depth 2.
journals/tcs/Etiemble02:::Daniel Etiemble:::Computer arithmetic and hardware: "off the shelf" microprocessors versus "custom hardware".
journals/tcs/FrankKS00:::Frantiek Frank::Ayse Karaman::W. F. Smyth:::Repetitions in Sturmian strings.
journals/tcs/MayrN98:::Richard Mayr::Tobias Nipkow:::Higher-Order Rewrite Systems and Their Confluence.
journals/tcs/GathenS80:::Joachim von zur Gathen::Volker Strassen:::Some Polynomials that are Hard to Compute.
journals/tcs/AndersonCNSW02:::Eric Anderson::Marek Chrobak::John Noga::Jiri Sgall::Gerhard J. Woeginger:::Solution of a problem in DNA computing.
journals/tcs/LermerF02:::Karl Lermer::Colin J. Fidge:::A formal model of real-time program compilation.
journals/tcs/Gilman96:::Robert H. Gilman:::A Shrinking Lemma for Indexed Languages.
journals/tcs/DeutzER94:::A. H. Deutz::Andrzej Ehrenfeucht::Grzegorz Rozenberg:::Hyperedge Channels are Abelian.
journals/tcs/Lingas89:::Andrzej Lingas:::Subgraph Isomorphism for Biconnected Outerplanar Graphs in Cubic Time.
journals/tcs/TangZ83:::Chang-jie Tang::Yi-li Zhang:::The Limited Regular Languages.
journals/tcs/BaumgartnerG02:::Robert Baumgartner::Georg Gottlob:::Propositional default logics made easier: computational complexity of model checking.
journals/tcs/Fujimura02:::Kikuo Fujimura:::Time-minimal paths amidst moving obstacles in three dimensions.
journals/tcs/ReganV97:::Kenneth W. Regan::Heribert Vollmer:::Gap-Languages and Log-Time Complexity Classes.
journals/tcs/Edwards86:::Keith Edwards:::The Complexity of Colouring Problems on Dense Graphs.
journals/tcs/PinottiP95:::Maria Cristina Pinotti::Geppino Pucci:::Parallel Algorithms for Priority Queue Operations.
journals/tcs/Tarau99:::Paul Tarau:::Multi-engine Horn Clause Prolog.
journals/tcs/GastinM02:::Paul Gastin::Michael W. Mislove:::A truly concurrent semantics for a process algebra using resource pomsets.
journals/tcs/FiebigFJ01:::Doris Fiebig::Ulf-Rainer Fiebig::Natasa Jonoska:::Multiplicities of covers for sofic shifts.
journals/tcs/DuchampK92:::Gérard Duchamp::Daniel Krob:::On the Partially Commutative Shuffle Product.
journals/tcs/EhrigKMP82:::Hartmut Ehrig::Hans-Jörg Kreowski::Bernd Mahr::Peter Padawitz:::Algebraic Implementation of Abstract Data Types.
journals/tcs/CsimaCS03:::Judit Csima::Erzsébet Csuhaj-Varjú::Arto Salomaa:::Power and size of extended Watson-Crick L systems.
journals/tcs/Kennaway87:::Richard Kennaway:::On ``On Graph Rewritings''.
journals/tcs/Marchiori99:::Elena Marchiori:::Design of Abstract Domains Using First-Order Logic.
journals/tcs/Durand02:::Bruno Durand:::Kolmogorov Complexity - Foreword.
journals/tcs/CapocelliGV91:::Renato M. Capocelli::Luisa Gargano::Ugo Vaccaro:::Decoders with Initial State Invariance for Multivalued Encodings.
journals/tcs/CichonB98:::E. A. Cichon::Elias Tahhan-Bittar:::Ordinal Recursive Bounds for Higman's Theorem.
journals/tcs/Jeffrey99:::Alan Jeffrey:::A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation.
journals/tcs/AmaldiK95:::Edoardo Amaldi::Viggo Kann:::The Complexity and Approximability of Finding Maximum Feasible Subsystems of Linear Relations.
journals/tcs/DurisG82:::Pavol Duris::Zvi Galil:::Fooling a two Way Automaton or one Pushdown Store is better than one Counter for two Way Machines.
journals/tcs/Yamasaki94:::Susumu Yamasaki:::A Denotational Semantics and Dataflow Construction for Logic Programs.
journals/tcs/Yamasaki96:::Susumu Yamasaki:::SLDNF Resolution with Non-Safe Rule and Fixpoint Semantics for General Logic Programs.
journals/tcs/IndermitteLTC01:::C. Indermitte::Th. M. Liebling::M. Troyanov::H. Clémençon:::Voronoi diagrams on piecewise flat surfaces and an application to biological growth.
journals/tcs/TajineR02:::Mohamed Tajine::Christian Ronse:::Topological properties of Hausdorff discretization, and comparison to other discretization schemes.
journals/tcs/KolpakovKT99:::Roman M. Kolpakov::Gregory Kucherov::Yuriy Tarannikov:::On Repetition-Free Binary Words of Minimal Density.
journals/tcs/Quaglia01:::Paola Quaglia:::Explicit substitutions for pi-congruences.
journals/tcs/BergstraM82:::Jan A. Bergstra::John-Jules Ch. Meyer:::On the Elimination of Iteration Quantifiers in a Fragment of Algorithmic Logic.
journals/tcs/Maluszynski84:::Jan Maluszynski:::Towards a Programming Language Based on the Notion of Two-Level Grammar.
journals/tcs/EsikB95:::Zoltán Ésik::L. Bernátsky:::Equational Properties of Kleene Algebras of Relations with Conversion.
journals/tcs/EsikD86:::Zoltán Ésik::Pál Dömösi:::Complete Classes of Automata for the alpha-0-Product.
journals/tcs/SpruitWM01:::Paul Spruit::Roel Wieringa::John-Jules Ch. Meyer:::Regular database update logics.
journals/tcs/Vaandrager91:::Frits W. Vaandrager:::Determinism - (Event Structure Isomorphism = Step Sequence Equivalence).
journals/tcs/Dehornoy92:::Patrick Dehornoy:::A Criterion for Proving Noetherianity of a Relation.
journals/tcs/AurenhammerKKOX02:::Franz Aurenhammer::Naoki Katoh::Hiromichi Kojima::Makoto Ohsaki::Yinfeng Xu:::Approximating uniform triangular meshes in polygons.
journals/tcs/GadducciHL99:::Fabio Gadducci::Reiko Heckel::Mercè Llabrés:::A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.
journals/tcs/FoureyM02:::Sébastien Fourey::Rémy Malgouyres:::Intersection number and topology preservation within digital surfaces.
journals/tcs/Abelson78:::Harold Abelson:::Towards a Theory of Local and Global in Computation.
journals/tcs/Girard99:::Jean-Yves Girard:::On Denotational Completeness.
journals/tcs/KudohHO03:::Yoshimitsu Kudoh::Makoto Haraguchi::Yoshiaki Okubo:::Data abstractions for decision tree induction.
journals/tcs/DuparcFR01:::J. Duparc::Olivier Finkel::J.-P. Ressayre:::Computer science and the fine structure of Borel sets.
journals/tcs/DechterB97:::Rina Dechter::Peter van Beek:::Local and Global Relational Consistency.
journals/tcs/DobkinK83:::David P. Dobkin::David G. Kirkpatrick:::Fast Detection of Polyhedral Intersection.
journals/tcs/Fogelman-Soulie85:::Françoise Fogelman-Soulié:::Parallel and Sequential Computation on Boolean Networks.
journals/tcs/DemangeGP98:::Marc Demange::Pascal Grisoni::Vangelis Th. Paschos:::Differential Approximation Algorithms for Some Combinatorial Optimization Problems.
journals/tcs/DuvalS94:::Dominique Duval::Pascale Sénéchaud:::Sketches and Parametrization.
journals/tcs/GiakoumakisV97:::Vassilis Giakoumakis::Jean-Marie Vanherpe:::On Extended P<sub>4</sub>-Reducible and Extended P<sub>4</sub>-Sparse Graphs.
journals/tcs/KuriharaO92:::Masahito Kurihara::Azuma Ohuchi:::Modularity of Simple Termination of Term Rewriting Systems with Shared Constructors.
journals/tcs/KuriharaO95:::Masahito Kurihara::Azuma Ohuchi:::Modularity in Noncopying Term Rewriting.
journals/tcs/Lisper98:::Björn Lisper:::Computing in Unpredictable Environments: Semantics, Reduction Strategies, and Program Transformations.
journals/tcs/EvenT77:::Shimon Even::Robert Endre Tarjan:::Corrigendum: Computing an <i>st</i>-Numbering. TCS 2(1976):339-344.
journals/tcs/MukundKS03:::Madhavan Mukund::K. Narayan Kumar::Milind A. Sohoni:::Bounded time-stamping in message-passing systems.
journals/tcs/DanvyN03:::Olivier Danvy::Lasse R. Nielsen:::A first-order one-pass CPS transformation.
journals/tcs/DanvyS00:::Olivier Danvy::Ulrik Pagh Schultz:::Lambda-dropping: transforming recursive equations into programs with block structure.
journals/tcs/TakasuK81:::Satoru Takasu::Sukemitsu Kawabata:::A Logical Basis for Programming Methodology.
journals/tcs/AlessiBH03:::Fabio Alessi::Paolo Baldan::Furio Honsell:::A category of compositional domain-models for separable Stone spaces.
journals/tcs/Burkhard85:::H. D. Burkhard:::An Investigation of Controls for Concurrent Systems Based on Abstract Control Languages.
journals/tcs/MilnerT91:::Robin Milner::Mads Tofte:::Co-Induction in Relational Semantics.
journals/tcs/DaleyIK03:::Mark Daley::Oscar H. Ibarra::Lila Kari:::Closure and decidability properties of some language classes with respect to ciliate bio-operations.
journals/tcs/Stern85:::Jacques Stern:::Characterizations of Some Classes of Regular Events.
journals/tcs/BeckerS91:::Bernd Becker::Uwe Sparmann:::Computations over Finite Monoids and their Test Complexity.
journals/tcs/IbarraS02:::Oscar H. Ibarra::Jianwen Su:::Augmenting the discrete timed automaton with other data structures.
journals/tcs/Hortala-GonzalezR89:::Maria Teresa Hortalá-González::Mario Rodríguez-Artalejo:::Hoare's Logic for Nondeterministic Regular Programs: A Nonstandard Approach.
journals/tcs/Courcelle78:::Bruno Courcelle:::A Representation of Trees by Languages I.
journals/tcs/Courcelle94:::Bruno Courcelle:::Monadic Second-Order Definable Graph Transductions: A Survey.
journals/tcs/Laurent03:::Olivier Laurent:::Polarized proof-nets and lambda-µ-calculus.
journals/tcs/Dezani-CiancaglinidP96:::Mariangiola Dezani-Ciancaglini::Ugo de'Liguoro::Alfonso Piperno:::Filter Models for Conjunctive-Disjunctive lambda-Calculi.
journals/tcs/Rytter88:::Wojciech Rytter:::On Efficient Parallel Computations for some Dynamic Programming Problems.
journals/tcs/Konikowska02:::Beata Konikowska:::Rasiowa-Sikorski deduction systems in computer science applications.
journals/tcs/KobayashiSY99:::Naoki Kobayashi::Toshihiro Shimizu::Akinori Yonezawa:::Distributed Concurrent Linear Logic Programming.
journals/tcs/BrimkovCLR96:::Valentin E. Brimkov::Bruno Codenotti::Mauro Leoncini::Giovanni Resta:::Strong NP-Completeness of a Matrix Similarity Problem.
journals/tcs/Sibeyn03:::Jop F. Sibeyn:::Faster deterministic sorting through better sampling.
journals/tcs/GilmoreT93:::Paul C. Gilmore::George K. Tsiknis:::A Logic for Category Theory.
journals/tcs/Koubarakis01:::Manolis Koubarakis:::Tractable disjunctions of linear constraints: basic results and applications to temporal reasoning.
journals/tcs/ShankarA91:::Priti Shankar::B. S. Adiga:::A Graph-Based Regularity Test for Deterministic Context-free Languages.
journals/tcs/HedmanKS00:::Eric J. Hedman::Joost N. Kok::Kaisa Sere:::Coordinating action systems.
journals/tcs/KelarevS03:::Andrei Kelarev::Olga Sokratova:::On congruences of automata defined by directed graphs.
journals/tcs/Hesselink94:::Wim H. Hesselink:::Nondeterminacy and Recursion via Stacks and Games.
journals/tcs/OHearnR99:::Peter W. O'Hearn::Uday S. Reddy:::Objects, Interference, and the Yoneda Embedding.
journals/tcs/ArvindB89:::V. Arvind::S. Biswas:::On Some Bandwidth Restricted Versions of the Satisfiability Problem of Propositional CNF Formulas.
journals/tcs/Saoudi86:::Ahmed Saoudi:::Variétés d'Automates Descendants d'Arbres Infinis.
journals/tcs/SongXQ00:::Fangmin Song::YongSen Xu::Yuechen Qian:::The self-reduction in lambda calculus.
journals/tcs/ReutenauerS95:::Christophe Reutenauer::Marcel Paul Schützenberger:::Variétés et fonctions rationnelles.
journals/tcs/Moews91:::David Moews:::Sum of Games Born on Days 2 and 3.
journals/tcs/ZhangS95:::Liang Zhang::Zhonghui Shen:::Completion of Recognizable Bifix Codes.
journals/tcs/Visser01:::Eelco Visser:::A Survey of Strategies in Program Transformation Systems.
journals/tcs/ArcangeliP90:::Jean-Paul Arcangeli::Christian Pomian:::Principles of Plasma Pattern and Alternative Structure Compilation.
journals/tcs/MaurerSW80:::Hermann A. Maurer::Arto Salomaa::Derick Wood:::Synchronized E0L Forms.
journals/tcs/MaurerSW83:::Hermann A. Maurer::Arto Salomaa::Derick Wood:::L Codes and Number Systems.
journals/tcs/GinsburgT89:::Seymour Ginsburg::Chang-jie Tang:::Cohesion of Object Histories.
journals/tcs/GinsburgT95:::Seymour Ginsburg::Katsumi Tanaka:::Interval Queries on Object Histories.
journals/tcs/AizawaN91:::Kunio Aizawa::Akira Nakamura:::Graph Grammars with Path-Controlled Embedding.
journals/tcs/Meyden93:::Ron van der Meyden:::Recursively Indefinite Databases.
journals/tcs/DowneyF95:::Rodney G. Downey::Michael R. Fellows:::Fixed-Parameter Tractability and Completeness II: On Completeness for W[1].
journals/tcs/MeyerW82:::Albert R. Meyer::Karl Winklmann:::Expressing Program Looping in Regular Dynamic Logic.
journals/tcs/MossT93:::Lawrence S. Moss::Satish R. Thatte:::Modal Logic and Algebraic Specifications.
journals/tcs/Anselmo93:::Marcella Anselmo:::The Operation ^ on Formal Series.
journals/tcs/FelderGM98:::Miguel Felder::Angelo Gargantini::Angelo Morzenti:::A Theory of Implementation and Refinement in Timed Petri Nets.
journals/tcs/Matamala95:::Martín Matamala:::Recursive Construction of Periodic Steady State for Neural Networks.
journals/tcs/Turakainen97:::Paavo Turakainen:::The Undecidability of Some Equivalence Problems Concerning NGSM's and Finite Substitutions.
journals/tcs/Naumann95:::David A. Naumann:::Predicate Transformers and Higher-Order Programs.
journals/tcs/Dikovsky93:::Alexander Ja. Dikovsky:::On the Computational Complexity of Prolog Programs.
journals/tcs/Matiyasevich01:::Yuri Matiyasevich:::Some arithmetical restatements of the Four Color Conjecture.
journals/tcs/Koslowski97:::Jürgen Koslowski:::Note on Free Algebras Over Continuous Domains.
journals/tcs/Harrison94:::John Harrison:::Morphic Congruences and D0L Languages.
journals/tcs/BafnaLP97:::Vineet Bafna::Eugene L. Lawler::Pavel A. Pevzner:::Approximation Algorithms for Multiple Sequence Alignment.
journals/tcs/Meznik88:::Ivan Mezník:::On a Subclass of Infinite-Regular Languages.
journals/tcs/GoldmanK02:::Sally A. Goldman::Stephen Kwek:::On learning unions of pattern languages and tree patterns in the mistake bound model.
journals/tcs/BagchiM83:::A. Bagchi::A. Mahanti:::Admissible Heuristic Search in And/Or Graphs.
journals/tcs/Rindone87:::Giuseppina Rindone:::Construction d'une Famille de Codes Associes a Certains Groupes Finis.
journals/tcs/CaldwellGU00:::James L. Caldwell::Ian P. Gent::Judith L. Underwood:::Search algorithms in type theory.
journals/tcs/HartmannS80:::Werner Hartmann::Peter Schuster:::Multiplicative Complexity of some Rational Functions.
journals/tcs/Plotkin75:::Gordon D. Plotkin:::Call-by-Name, Call-by-Value and the lambda-Calculus.
journals/tcs/ZhengZ03:::Yuliang Zheng::Xian-Mo Zhang:::Connections among nonlinearity, avalanche and correlation immunity.
journals/tcs/BorgerB80:::Egon Börger::Hans Kleine Büning:::The Reachability Problem for Petri Nets and Decision Problems for Skolem Arithmetic.
journals/tcs/Palopoli92:::Luigi Palopoli:::Testing Logic Programs for Local Stratification.
journals/tcs/BagnaraHZ02:::Roberto Bagnara::Patricia M. Hill::Enea Zaffanella:::Set-sharing is redundant for pair-sharing.
journals/tcs/Koiran96:::Pascal Koiran:::A Family of Universal Recurrent Networks.
journals/tcs/CharatonikDGMT03:::Witold Charatonik::Silvano Dal-Zilio::Andrew D. Gordon::Supratik Mukhopadhyay::Jean-Marc Talbot:::Model checking mobile ambients.
journals/tcs/BuchsbaumGW03:::Adam L. Buchsbaum::Raffaele Giancarlo::Jeffery Westbrook:::On finding common neighborhoods in massive graphs.
journals/tcs/Grigoryev82:::Dima Grigoriev:::Additive Complexity in Directed Computations.
journals/tcs/HennessyR98:::Matthew Hennessy::Julian Rathke:::Bisimulations for a Calculus of Broadcasting Systems.
journals/tcs/Choffrut03:::Christian Choffrut:::Minimizing subsequential transducers: a survey.
journals/tcs/JahierDR99:::Erwan Jahier::Mireille Ducassé::Olivier Ridoux:::Specifying Byrd's Box Model with a Continuation Semantics.
journals/tcs/BergeyC94:::A. Bergey::Robert Cori:::On the Orbits of the Product of two Permutations.
journals/tcs/Kuster91:::Gerhard Küster:::On the Hurwitz Product of Formal Power Series and Automata.
journals/tcs/KnuthS78:::Donald E. Knuth::Arnold Schönhage:::The Expected Linearity of a Simple Equivalence Algorithm.
journals/tcs/Spight01:::William L. Spight:::Extended thermography for multiple kos in Go.
journals/tcs/AbadiP93:::Martín Abadi::Gordon D. Plotkin:::A Logical View of Composition.
journals/tcs/Munoz01:::César Muñoz:::Proof-term synthesis on dependent-type systems via explicit substitutions.
journals/tcs/KarhumakiPR99:::Juhani Karhumäki::Wojciech Plandowski::Wojciech Rytter:::Generalized Factorizations of Words and Their Algorithmic Properties.
journals/tcs/Hajek79:::Petr Hájek:::Arithmetical Hierarchy and Complexity of Computation.
journals/tcs/Sikkel93:::Klaas Sikkel:::Parallel On-Line Parsing in Constant Time per Word.
journals/tcs/Svrtan93:::Dragutin Svrtan:::New Plethysm Operation, Chern Characters of Exterior and Symmetric Powers with Applications to Stiefel-Whitney Classes of Grassmannians.
journals/tcs/EngebretsenH03:::Lars Engebretsen::Jonas Holmerin:::Towards optimal lower bounds for clique and chromatic number.
journals/tcs/Vishkin84:::Uzi Vishkin:::A Parallel-Design Distributed-Implementation (PDDI) General-Purpose Computer.
journals/tcs/FernauHF01:::Henning Fernau::Markus Holzer::Rudolf Freund:::Hybrid modes in cooperating distributed grammar systems: internal versus external hybridization.
journals/tcs/Hadjiat98:::Malika Hadjiat:::Penelope's Graph: A Hard Minimum Cost Tension Instance.
journals/tcs/Etalle98:::Sandro Etalle:::A Semantics for Modular General Logic Programs.
