default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 43

> Home > Journals > Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 43, 1986

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Grzymala-BusseB86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Grzymala-BusseB86
Jerzy W. Grzymala-Busse, Zamir Bavel:
Characterization of State-Independent Automata. 1-10
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Scheuing86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Scheuing86
Arnold Scheuing:
Decomposition of Linear Automata over Residue Rings Into Shift-Registers. 11-30
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Ronse86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ronse86
Christian Ronse:
A Topological Characterization of Thinning. 31-41
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/GoldschlagerP86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/GoldschlagerP86
Leslie M. Goldschlager, Ian Parberry:
On the Construction of Parallel Computers from Various Bases of Boolean Functions. 43-58
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Redziejowski86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Redziejowski86
Roman R. Redziejowski:
Infinite-Word Languages and Continuous Mappings. 59-79
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Orlowska86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Orlowska86
Ewa Orlowska:
Semantic Analysis of Inductive Reasoning. 81-89
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Hansel86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Hansel86
Georges Hansel:
Une Démonstration Simple du Théorème de Skolem-Mahler-Lech. 91-98
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Clote86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Clote86
Peter Clote:
On the Finite Containment Problem for Petri Nets. 99-105
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lindsay86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lindsay86
Peter A. Lindsay:
Alternation and omega-Type Turing Acceptors. 107-115
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlbertL86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlbertL86
Michael H. Albert, John Lawrence:
Test Sets for Finite Substitutions. 117-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BerghammerZ86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BerghammerZ86
Rudolf Berghammer, Hans Zierer:
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. 123-147
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Heering86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Heering86
Jan Heering:
Partial Evaluation and omega-Completeness of Algebraic Specifications. 149-167
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JerrumVV86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JerrumVV86
Mark Jerrum, Leslie G. Valiant, Vijay V. Vazirani:
Random Generation of Combinatorial Structures from a Uniform Distribution. 169-188
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FagesH86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FagesH86
François Fages, Gérard P. Huet:
Complete Sets of Unifiers and Matchers in Equational Theories. 189-200
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Wegener86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Wegener86
Ingo Wegener:
More on the Complexity of Slice Functions. 201-211
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JanickiLKD86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JanickiLKD86
Ryszard Janicki, Peter E. Lauer, Maciej Koutny, Raymond Devillers:
Concurrent and Maximally Concurrent Evolution of Nonsequential Systems. 213-238
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LandauV86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LandauV86
Gad M. Landau, Uzi Vishkin:
Efficient String Matching with k Mismatches. 239-249
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/PasztorS86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/PasztorS86
Ana Pasztor, Richard Statman:
Scott Induction and Closure under omega-Sups. 251-263
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LucaR86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LucaR86
Aldo de Luca, Antonio Restivo:
Star-Free Sets of Integers. 265-275
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SuzukiMTKO86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SuzukiMTKO86
Ichiro Suzuki, Y. Motohashi, Kenichi Taniguchi, Tadao Kasami, Tatsuaki Okamoto:
Specification and Verification of Decentralized Daisy Chain Arbiters with omega-Extended Regular Expressions. 277-291
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AdamekRN86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AdamekRN86
Jirí Adámek, Jan Reiterman, Evelyn Nelson:
Continuous Semilattices. 293-313
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Saoudi86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Saoudi86
Ahmed Saoudi:
Variétés d'Automates Descendants d'Arbres Infinis. 315-335
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Edwards86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Edwards86
Keith Edwards:
The Complexity of Colouring Problems on Dense Graphs. 337-343
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Johnson86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Johnson86
Donald B. Johnson:
A Simple Proof of a Time-Space Trade-Off for Sorting with Linear Comparisons. 345-350

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.