journals/iandc/Moraga78:::Claudio Moraga:::Comments on a Method of Karpovsky
journals/iandc/Sugimoto79:::Eiji Sugimoto:::A Short Note on New Indexing Polynomials of Finite Fields
journals/iandc/DesharnaisEP02:::Josee Desharnais::Abbas Edalat::Prakash Panangaden:::Bisimulation for Labelled Markov Processes.
journals/iandc/LeungC80:::Hoi M. Leung::Stamatis Cambanis:::On the Rate Distortion Functions of Memoryless Sources under a Magnitude-Error Criterion
journals/iandc/KuceraMP94:::Ludek Kucera::Alberto Marchetti-Spaccamela::Marco Protasi:::On Learning Monotone DNF Formulae under Uniform Distributions
journals/iandc/Hwang79:::Kai Hwang:::On the Periodicity of Regular Languages
journals/iandc/ShannonGB67b:::Claude E. Shannon::Robert G. Gallager::E. R. Berlekamp:::Lower Bounds to Error Probability for Coding on Discrete Memoryless Channels. II
journals/iandc/LehmannS82:::Daniel J. Lehmann::Saharon Shelah:::Reasoning with Time and Chance
journals/iandc/JainS93:::Sanjay Jain::Arun Sharma:::Learning with the Knowledge of an Upper Bound on Program Size
journals/iandc/Pitts03:::Andrew M. Pitts:::Nominal logic, a first order theory of names and binding.
journals/iandc/Romani78:::Francesco Romani:::The Parallelism Principle: Speeding Up the Cellular Automata Synchronization
journals/iandc/BossutDW95:::Francis Bossut::Max Dauchet::Bruno Warin:::A Kleene Theorem for a Class of Planar Acyclic Graphs
journals/iandc/McNaughton67:::Robert McNaughton:::The Loop Complexity of Pure-Group Events
journals/iandc/MontenyohlW89:::Margaret Montenyohl::Mitchell Wand:::Incorporating Static Analysis in a Combinator-Based Compiler
journals/iandc/LevyPT03:::Paul Blain Levy::John Power::Hayo Thielecke:::Modelling environments in call-by-value programming languages.
journals/iandc/BonsangueK99:::Marcello M. Bonsangue::Joost N. Kok:::Toward an Infinitary Logic of Domains: Abramsky Logic for Transition Systems.
journals/iandc/Shingai79:::Ryuuzo Shingai:::Maximum Period of 2-Dimensional Uniform Neural Networks
journals/iandc/Booth58:::Andrew D. Booth:::The Efficiency of Certain Methods of Information Retrieval
journals/iandc/KobuchiW81:::Youichi Kobuchi::Derick Wood:::On the Complete Simulation of DOL Schemes and Locally Catenative Schemes
journals/iandc/Michaylov98:::Spiro Michaylov:::Repeated Redundant Inequalities in Constraint Logic Programming.
journals/iandc/Tamm95:::Ulrich Tamm:::Communication Complexity of Sum-Type Functions Invariant under Translation
journals/iandc/Boyle76:::Brian E. Boyle:::Estimation of Feature-Dependent Markov Process Transition Probability Matrices
journals/iandc/Thatte87:::Satish Thatte:::A Refinement of Strong Sequentiality for Term Rewriting with Constructors
journals/iandc/KirschenhoferP87:::Peter Kirschenhofer::Helmut Prodinger:::On the Recursive Depth of Special Tree Traversal Algorithms
journals/iandc/GrumbachM99:::Stéphane Grumbach::Tova Milo:::An Algebra for Pomsets.
journals/iandc/SiromoneyK74:::Rani Siromoney::Kamala Krithivasan:::Parallel Context-Free Languages
journals/iandc/BhattDHPRS91:::P. C. P. Bhatt::Krzysztof Diks::Torben Hagerup::V. C. Prasad::Tomasz Radzik::S. Saxena:::Improved Deterministic Parallel Integer Sorting
journals/iandc/Feldman72:::Jerome A. Feldman:::Some Decidability Results on Grammatical Inference and Complexity
journals/iandc/Tung99:::Shih Ping Tung:::Sentences over Integral Domains and Their Computational Complexities.
journals/iandc/BenvenisteCG00:::Albert Benveniste::Benoît Caillaud::Paul Le Guernic:::Compositionality in Dataflow Synchronous Languages: Specification and Distributed Code Generation.
journals/iandc/BogartGG78:::Kenneth Bogart::Don Goldberg::Jean Gordon:::An Elementary Proof of the MacWilliams Theorem on Equivalence of Codes
journals/iandc/RabinovichM01:::Alexander Moshe Rabinovich::Shahar Maoz:::An Infinite Hierarchy of Temporal Logics over Branching Time.
journals/iandc/BoudolL96:::Gérard Boudol::Cosimo Laneve:::The Discriminating Power of Multiplicities in the Lambda-Calculus.
journals/iandc/YoeliA68:::Michael Yoeli::C. M. Ablow:::Subdirect Decompositions of Transformation Graphs
journals/iandc/Witt81:::Kurt-Ulrich Witt:::Finite Graph-Acceptors and Regular Graph-Languages
journals/iandc/BorealeN96:::Michele Boreale::Rocco De Nicola:::A Symbolic Semantics for the pi-Calculus.
journals/iandc/Hibbard67:::Thomas N. Hibbard:::A Generalization of Context-Free Determinism
journals/iandc/DelsarteP81:::Philippe Delsarte::Philippe Piret:::Spectral Enumerators for Certain Additive-Error-Correcting Codes over Integer Alphabets
journals/iandc/Freund03:::Yoav Freund:::Predicting a binary sequence almost as well as the optimal biased coin.
journals/iandc/HelmboldLL00:::David P. Helmbold::Nick Littlestone::Philip M. Long:::Apple Tasting.
journals/iandc/Hagerup87:::Torben Hagerup:::Towards Optimal Parallel Bucket Sorting
journals/iandc/DemriS02:::Stéphane Demri::Ph. Schnoebelen:::The Complexity of Propositional Linear Temporal Logics in Simple Cases.
journals/iandc/KucherovT95:::Gregory Kucherov::Mohamed Tajine:::Decidability of Regularity and Related Properties of Ground Normal Form Languages
journals/iandc/Rounds85:::William C. Rounds:::On the Relationship between Scott Domains, Synchronization Trees, and Metric Spaces
journals/iandc/Takano76:::Seijo Takano:::On a Characterization of Some Class of M-Dependent Channels with Finite Memory and Finite Anticipation
journals/iandc/Davis82:::Martin Davis:::Why Gödel Didn't Have Church's Thesis
journals/iandc/LarsenW91:::Kim Guldstrand Larsen::Glynn Winskel:::Using Information Systems to Solve Recursive Domain Equations
journals/iandc/Guiasu68:::Silviu Guiasu:::On Codification in Finite Abstract Random Automata
journals/iandc/Brzozowski67:::Janusz A. Brzozowski:::On Single-Loop Realizations of Sequential Machines
journals/iandc/GoldsmithJY93:::Judy Goldsmith::Deborah Joseph::Paul Young:::Using Self-Reducibilities to Characterize Polynomial Time
journals/iandc/Novotny74a:::Miroslav Novotný:::Sets Constructed by Acceptors
journals/iandc/Linfoot57:::E. H. Linfoot:::An Informational Measure of Correlation
journals/iandc/HemaspaandraJ95:::Lane A. Hemaspaandra::Sudhir K. Jha:::Defying Upward and Downward Separation
journals/iandc/FindlerL79:::Nicholas V. Findler::Jan van Leeuwen:::On the Complexity of Decision Trees, the Quasi-Optimizer, and the Power of Heuristic rules
journals/iandc/YeshaFLR89:::Faith E. Fich::Ming Li::Prabhakar Ragde::Y. Yesha:::On the Power of Concurrent-Write PRAMs With Read-Only Memory
journals/iandc/Adorno62:::David S. Adorno:::Optimum Control of Certain Linear Systems with Quadratic Loss. I
journals/iandc/Crespi-ReghizziMM78:::Stefano Crespi-Reghizzi::Dino Mandrioli::David F. Martin:::Algebraic Properties of Operator Precedence Languages
journals/iandc/Restivo74:::Antonio Restivo:::On a Question of McNaughton and Papert
journals/iandc/SharmaMM78:::Bhu Dev Sharma::Jagdish Mitter::Man Mohan:::On Measures of ``Useful'' Information
journals/iandc/Bodlaender90:::Hans L. Bodlaender:::The Complexity of Finding Uniform Emulations on Paths and Ring Networks
journals/iandc/Rishel62:::Raymond Rishel:::A Stochastic Treatment of a Control System with Breakdown and Repair
journals/iandc/Reddy68:::Sudhakar M. Reddy:::Further Results on Convolutional Codes Derived from Block Codes
journals/iandc/Wyner66:::A. D. Wyner:::Capacity of the Product of Channels
journals/iandc/Ghelli02:::Giorgio Ghelli:::Foundations for Extensible Objects with Roles.
journals/iandc/TanakaKTK68:::H. Tanaka::M. Kasahara::Y. Tezuka::Y. Kasahara:::Computation over Galois Fields Using Shiftregisters
journals/iandc/Helgert74:::H. J. Helgert:::Alternant Codes
journals/iandc/MeseguerM90:::José Meseguer::Ugo Montanari:::Petri Nets Are Monoids
journals/iandc/BaranyF83:::Imre Bárány::Zoltán Füredi:::Mental Poker with Three or More Players
journals/iandc/BultmanM95:::William J. Bultman::Wolfgang Maass:::Fast Identification of Geometric Objects with Membership Queries
journals/iandc/GoldmannR02:::Mikael Goldmann::Alexander Russell:::The Complexity of Solving Equations over Finite Groups.
journals/iandc/LodayaW01:::Kamal Lodaya::Pascal Weil:::Rationality in Algebras with a Series Operation.
journals/iandc/AspertiM92:::Andrea Asperti::Simone Martini:::Categorical Models of Polymorphism
journals/iandc/BusscheP95:::Jan Van den Bussche::Jan Paredaens:::The Expressive Power of Complex Values in Object-Based Data Models
journals/iandc/Penttonen74:::Martti Penttonen:::One-Sided and Two-Sided Context in Formal Grammars
journals/iandc/Leivant94:::Daniel Leivant:::A Foundational Delineation of Poly-time
journals/iandc/Abraham72:::Samuel Abraham:::Compound and Serial Grammars
journals/iandc/SugiyamaKHN75:::Yasuo Sugiyama::Masao Kasahara::Shigeichi Hirasawa::Toshihiko Namekawa:::A Method for Solving Key Equation for Decoding Goppa Codes
journals/iandc/Palmgren93:::Erik Palmgren:::An Information System Interpretation of Martin-L\"of's Partial Type Theory with Universes
journals/iandc/Comerford80:::Jonell Duda Comerford:::Affine and General Linear Equivalences of Boolean Functions
journals/iandc/Severi98:::Paula Severi:::Type Inference for Pure Type Systems.
journals/iandc/ImmermanK89:::Neil Immerman::Dexter Kozen:::Definability with Bounded Number of Bound Variables
journals/iandc/Westerdale88:::Tom H. Westerdale:::An Automaton Decomposition for Learning System Environments
journals/iandc/Rabinovich97:::Alexander Moshe Rabinovich:::On Schematological Equivalence of Partially Interpreted Dataflow Networks.
journals/iandc/BensonB88:::David B. Benson::Ofer Ben-Shachar:::Bisimulation of Automata
journals/iandc/Bar-NoyDGK95:::Amotz Bar-Noy::Xiaotie Deng::Juan A. Garay::Tiko Kameda:::Optimal Amortized Distributed Consensus
journals/iandc/KieferW62:::J. Kiefer::J. Wolfowitz:::Channels with Arbitrarily Varying Channel Probability Functions
journals/iandc/Baker79b:::Brenda S. Baker:::Composition of Top-Down and Bottom-Up Tree Transductions
journals/iandc/ApostolicoA02:::Alberto Apostolico::Mikhail J. Atallah:::Compact Recognizers of Episode Sequences.
journals/iandc/BaldanCM01:::Paolo Baldan::Andrea Corradini::Ugo Montanari:::Contextual Petri Nets, Asymmetric Event Structures, and Processes.
journals/iandc/AbiteboulPV98:::Serge Abiteboul::Christos H. Papadimitriou::Victor Vianu:::Reflective Relational Machines.
journals/iandc/BusiGZ00:::Nadia Busi::Roberto Gorrieri::Gianluigi Zavattaro:::On the Expressiveness of Linda Coordination Primitives.
journals/iandc/Berlekamp63:::Elwyn R. Berlekamp:::A Class of Convolution Codes
journals/iandc/BlundoSHKVY98:::Carlo Blundo::Alfredo De Santis::Amir Herzberg::Shay Kutten::Ugo Vaccaro::Moti Yung:::Perfectly Secure Key Distribution for Dynamic Conferences.
journals/iandc/DongS95:::Guozhu Dong::Jianwen Su:::Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries
journals/iandc/CourcelleD88:::Bruno Courcelle::Pierre Deransart:::Proofs of Partial Correctness for Attribute Grammars with Applications to Recursive Procedures and Logic Programming
journals/iandc/Zadeh68:::Lotfi A. Zadeh:::Fuzzy Algorithms
journals/iandc/CherryV61:::Colin Cherry::P. K. T. Vaswani:::A New Type of Computer for Problems in Propositional Logic, with Greatly Reduced Scanning Procedures
journals/iandc/Mandelbaum73:::David M. Mandelbaum:::Some Easily Decoded, Efficient, Burst Error Correcting Block Codes
journals/iandc/JakobyRS99:::Andreas Jakoby::Rüdiger Reischuk::Christian Schindelhauer:::Malign Distributions for Average Case Circuit Complexity.
journals/iandc/Touzet02:::Hélène Touzet:::A Characterisation of Multiply Recursive Functions with Higman's Lemma.
journals/iandc/KapurNO90:::Deepak Kapur::Paliath Narendran::Friedrich Otto:::On Ground-Confluence of Term Rewriting Systems
journals/iandc/AtzeniM86:::Paolo Atzeni::Nicola M. Morfuni:::Functional Dependencies and Constraints on Null Values in Database Relations
journals/iandc/Kozen94:::Dexter Kozen:::A Completeness Theorem for Kleene Algebras and the Algebra of Regular Events
journals/iandc/Lewis61:::Philip M. Lewis II:::A Note on Realization of Decision Networks Using Summation Elements
journals/iandc/GoldstineLW92:::Jonathan Goldstine::Hing Leung::Detlef Wotschke:::On the Relation between Ambiguity and Nondeterminism in Finite Automata
journals/iandc/DoniniLNN97:::Francesco M. Donini::Maurizio Lenzerini::Daniele Nardi::Werner Nutt:::The Complexity of Concept Languages.
journals/iandc/Rozoy87:::Brigitte Rozoy:::The Dyck Language D'_1^* Is Not Generated by Any Matric Grammar of Finite Index
journals/iandc/Lopez-OrtizS03:::Alejandro López-Ortiz::Sven Schuierer:::Searching and on-line recognition of star-shaped polygons.
journals/iandc/StossS89:::H.-J. Stoß::W. Schnitzlein:::Linear-Time Simulation of Multihead Turing Machines
journals/iandc/GrumbergFR85:::Orna Grumberg::Nissim Francez::Johann A. Makowsky::Willem P. de Roever:::A Proof Rule for Fair Termination of Guarded Commands
journals/iandc/McCluskey63:::Edward J. McCluskey:::Reduction of Feedback Loops in Sequential Circuits and Carry Leads in Iterative Networks
journals/iandc/Blachman57a:::Nelson M. Blachman:::Limiting Frequency-Modulation Spectra
journals/iandc/Ruohonen75:::Keijo Ruohonen:::Developmental Systems with Interaction and Fragmentation
journals/iandc/Bartha92:::Miklós Bartha:::An Algebraic Model of Synchronous Systems
journals/iandc/Kuich71:::Werner Kuich:::The Complexity of Skewlinear Tuple Languages and o-Regular Languages
journals/iandc/Mitchell93:::John Mitchell:::Preface
journals/iandc/KobayashiP03:::Naoki Kobayashi::Benjamin C. Pierce:::Information and Computation special issue from TACS 2001.
journals/iandc/GattoG76:::M. Gatto::G. Guardabassi:::The Regulator Theory for Finite Automata
journals/iandc/Niwinski84:::Damian Niwinski:::Fixed-Point Characterization of Context-Free \infty-Languages
journals/iandc/Kuper97:::Jan Kuper:::On the Jacopini Technique.
journals/iandc/WitsenhausenW83b:::H. S. Witsenhausen::A. D. Wyner:::Erratum: On Storage Media with Aftereffects
journals/iandc/Horiuchi68:::Kazuo Horiuchi:::Sampling Principle for Continuous Signals with Time-Varying Bands
journals/iandc/DurandM02:::Arnaud Durand::Malika More:::Nonerasing, Counting, and Majority over the Linear Time Hierarchy.
journals/iandc/Meinel90:::Christoph Meinel:::Polynomial Size Omega-Branching Programs and Their Computational Power
journals/iandc/CroleP92:::Roy L. Crole::Andrew M. Pitts:::New Foundations for Fixpoint Computations: FIX-Hyperdoctrines and the FIX-Logic
journals/iandc/BoseR60b:::R. C. Bose::D. K. Ray-Chaudhuri:::Further Results on Error Correcting Binary Group Codes
journals/iandc/Meiser93:::Stefan Meiser:::Point Location in Arrangements of Hyperplanes
journals/iandc/Justesen78:::Jørn Justesen:::Finite State Predictors for Gaussian Sequences
journals/iandc/AlurCD93:::Rajeev Alur::Costas Courcoubetis::David L. Dill:::Model-Checking in Dense Real-time
journals/iandc/GeserMOZ02:::Alfons Geser::Aart Middeldorp::Enno Ohlebusch::Hans Zantema:::Relative Undecidability in Term Rewriting: I. The Termination Hierarchy.
journals/iandc/TzannesSK70:::Nicolaos S. Tzannes::Richard V. Spencer::Arnold J. Kaplan:::On Estimating the Entropy of Random Fields
journals/iandc/Knast69a:::Robert Knast:::Linear Probabilistic Sequential Machines
journals/iandc/Greenlaw92:::Raymond Greenlaw:::A Model Classifying Algorithms as Inherently Sequential with Applications to Graph Searching
journals/iandc/Masry71:::Elias Masry:::Random Sampling and Reconstruction of Spectra
journals/iandc/Strauss97:::Martin Strauss:::Measure on P: Strength of the Notion.
journals/iandc/Nieuwenhuis98:::Robert Nieuwenhuis:::Decidability and Complexity Analysis by Basic Paramodulation.
journals/iandc/MazoS66:::J. E. Mazo::J. Salz:::Spectra of Frequency Modulation with Random Waveforms
journals/iandc/NiehrenP03:::Joachim Niehren::Tim Priesnitz:::Non-structural subtype entailment in automata theory.
journals/iandc/Rensink00:::Arend Rensink:::Bisimilarity of Open Terms.
journals/iandc/Wyner78b:::A. D. Wyner:::The Rate-Distortion Function for Source Coding with Side Information at the Decoder-II. General Sources
journals/iandc/Greibach78b:::Sheila A. Greibach:::Comments on Universal and Left Universal Grammars, Context-Sensitive Languages, and Context-Free Grammar Forms
journals/iandc/AbdullaJ96:::Parosh Aziz Abdulla::Bengt Jonsson:::Verifying Programs with Unreliable Channels.
journals/iandc/Sudborough76:::Ivan Hal Sudborough:::One-Way Multihead Writing Finite Automata
journals/iandc/Spirakis88:::Paul G. Spirakis:::Optimal Parallel Randomized Algorithms for Addition Sparse Addition and Identification
journals/iandc/Smyth74:::Michael B. Smyth:::Unique-Entry Graphs, Flowcharts, and State Diagrams
journals/iandc/Schonheim68:::Jonathan Schönheim:::On Linear and Nonlinear Single-Error-Correcting q-nary Perfect Codes
journals/iandc/DurisG93:::Pavol Duris::Zvi Galil:::On the Power of Multiple Reads in a Chip
journals/iandc/Solms75:::Sebastiaan H. von Solms:::The Characterization by Automata of Certain Classes of Languages in the Context Sensititve Area
journals/iandc/Hennie65:::F. C. Hennie:::One-Tape, Off-Line Turing Machine Computations
journals/iandc/Wiggert70:::Djimitri Wiggert:::Output Power Spectral Densities for Unipolar Pulse Frequency Modulation with White Noise Input
journals/iandc/Kazakos84:::Panayota Papantoni-Kazakos:::A Game Theoretic Approach to Robust Filtering
journals/iandc/MermelsteinE64:::Paul Mermelstein::Murray Eden:::Experiments on Computer Recognition of Connected Handwritten Words
journals/iandc/ArnoldL80:::André Arnold::Bernard Leguy:::Une Propriété des Forêts Algébriques ``de Greibach''
journals/iandc/McLaughlinR68:::J. A. McLaughlin::J. Raviv:::Nth-Order Autocorrelations in Pattern Recognition
journals/iandc/VitanyiW78:::Paul M. B. Vitányi::Adrian Walker:::Stable String Languages of Lindenmayer Systems
journals/iandc/Takahashi77a:::Hideyuki Takahashi:::Undecidable Questions about the Maximum Invariant Set
journals/iandc/KinberS95:::Efim B. Kinber::Frank Stephan:::Language Learning from Texts: Mindchanges, Limited Memory, and Monotonicity.
journals/iandc/KinberZ91:::Efim B. Kinber::Thomas Zeugmann:::One-Sided Error Probabilistic Inductive Inference and Reliable Frequency Identification
journals/iandc/Stearns67:::Richard Edwin Stearns:::A Regularity Test for Pushdown Machines
journals/iandc/Hrbacek87:::Karel Hrbacek:::Convex Powerdomains I
journals/iandc/FreivaldsKW95:::Rusins Freivalds::Efim B. Kinber::Rolf Wiehagen:::How Inductive Inference Strategies Discover Their Errors
journals/iandc/Corradini98:::Flavio Corradini:::On Performance Congruences for Process Algebras.
journals/iandc/MetivierSZ03:::Yves Métivier::Nasser Saheb::Akka Zemmari:::Analysis of a randomized rendezvous algorithm.
journals/iandc/Kosaraju74:::S. Rao Kosaraju:::A Note on Probabilistic Input-Output Relations
journals/iandc/Stens80:::R. L. Stens:::Error Estimates for Sampling Sums Based on Convolution Integrals
journals/iandc/Wolfowitz68b:::J. Wolfowitz:::Note on the Gaussian Channel with Feedback and a Power Constraint
journals/iandc/Courcelle90:::Bruno Courcelle:::The Monadic Second-Order Logic of Graphs. I. Recognizable Sets of Finite Graphs
journals/iandc/Courcelle95:::Bruno Courcelle:::Structural Properties of Context-Free Sets of Graphs Generated by Vertex Replacement
journals/iandc/CervesatoP02:::Iliano Cervesato::Frank Pfenning:::A Linear Logical Framework.
journals/iandc/AbrahamGR68:::Chacko T. Abraham::Sakti P. Ghosh::D. K. Ray-Chaudhuri:::File Organization Schemes Based on Finite Geometries
journals/iandc/Rytter74:::Wojciech Rytter:::The Dimension of Stability of Stochastic Automata
journals/iandc/DuskePSS77:::Jürgen Duske::Rainer Parchmann::M. Sedello::Johann Specht:::IO-Macrolanguages and Attributed Translations
journals/iandc/KhasidashviliOO01:::Zurab Khasidashvili::Mizuhito Ogawa::Vincent van Oostrom:::Perpetuality and Uniform Normalization in Orthogonal Rewrite Systems.
journals/iandc/ConantS73:::Roger C. Conant::June B. Steinberg:::Information Exchanged in Grasshopper Interactions
journals/iandc/GrahamHLS93:::Niall Graham::Frank Harary::Marilynn Livingston::Quentin F. Stout:::Subcube Fault-Tolerance in Hypercubes
journals/iandc/Fujita74:::Shohei Fujita:::On the Observability of Decentralized Dynamic Systems
journals/iandc/Yehudai80:::Amiram Yehudai:::The Decidability of Equivalence for a Family of Linear Grammars
journals/iandc/Strnad68b:::Pavel Strnad:::Erratum: ``On-line Turing Machine Recognition''
journals/iandc/Grandjean83:::Etienne Grandjean:::Complexity of the First-Order Theory of Almost All Finite Structures
journals/iandc/Santos75:::Eugene S. Santos:::On Weak Regular Probabilistic Languages
journals/iandc/GrafS86b:::Susanne Graf::Joseph Sifakis:::A Logic for the Description of Non-deterministic Programs and Their Properties
journals/iandc/Gradel91:::Erich Grädel:::Simple Sentences That Are Hard to Decide
journals/iandc/Vorobyov02:::Sergei G. Vorobyov:::The Undecidability of the First-Order Theories of One Step Rewriting in Linear Canonical Systems.
journals/iandc/Schutzenberger61b:::Marcel Paul Schützenberger:::On the Definition of a Family of Automata
journals/iandc/JainKPSW03:::Sanjay Jain::Efim B. Kinber::Christophe Papazian::Carl H. Smith::Rolf Wiehagen:::On the intrinsic complexity of learning recursive functions.
journals/iandc/Turakainen70:::Paavo Turakainen:::On m-Adic Stochastic Languages
journals/iandc/Turakainen71:::Paavo Turakainen:::Some Closure Properties of the Family of Stochastic Languages
journals/iandc/Turakainen75:::Paavo Turakainen:::Some Remarks on Multistochastic Automata
journals/iandc/Turakainen76:::Paavo Turakainen:::On Homomorphic Images of Rational Stochastic Languages
journals/iandc/Turakainen78:::Paavo Turakainen:::A Note on Noncontext-Free Rational Stochastic Languages
journals/iandc/HenzingerKR02:::Thomas A. Henzinger::Orna Kupferman::Sriram K. Rajamani:::Fair Simulation.
journals/iandc/Meznik72:::Ivan Mezník:::G-Machines and Generable Sets
journals/iandc/NielsenRT95:::Mogens Nielsen::Grzegorz Rozenberg::P. S. Thiagarajan:::Transition Systems, Event Structures and Unfoldings
journals/iandc/AmericaBKR89:::Pierre America::Jaco de Bakker::Joost N. Kok::Jan J. M. M. Rutten:::Denotational Semantics of a Parallel Object-Oriented Language
journals/iandc/GilleronTT99:::Rémi Gilleron::Sophie Tison::Marc Tommasi:::Set Constraints and Automata.
journals/iandc/Hartmanis59:::Juris Hartmanis:::The Applications of Some Basic Inequalities for Entropy
journals/iandc/HopcroftU68:::John E. Hopcroft::Jeffrey D. Ullman:::Sets Accepted by One-Way Stack Automata Are Context Sensitive
journals/iandc/AltmanB65:::Edward Altman::Ranan B. Banerji:::Some Problems of Finite Representability
journals/iandc/MizumotoT81:::Masaharu Mizumoto::Kokichi Tanaka:::Fuzzy Sets and Their Operations
journals/iandc/AtallahH86:::Mikhail J. Atallah::Susanne E. Hambrusch:::Solving Tree Problems on a Mesh-Connected Processor Array
