default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 94

> 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 94, Number 1, 1992

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Waldmann92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Waldmann92
Uwe Waldmann:
Semantics of Order-Sorted Specifications. 1-35
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lamarche92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lamarche92
François Lamarche:
Quantitative Domains and Infinitary Algebras. 37-62
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FilippenkoM92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FilippenkoM92
Ivan Filippenko, F. Lockwood Morris:
Domains for Logic Programming. 63-99
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MancaS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MancaS92
Vincenzo Manca, Antonino Salibra:
Soundness and Completeness of the Birkhoff Equational Calculus for Many-Sorted Algebras with Possibly Empty Carrier Sets. 101-124
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Caspi92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Caspi92
Paul Caspi:
Clocks in Dataflow Languages. 125-140
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Koutny92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Koutny92
Maciej Koutny:
Adequacy-Preserving Transformations of COSY Path Programs. 141-158

Volume 94, Number 2, 1992

Selected Papers of the Eighth "Journées Mathématiques-Informatique", Marseille, 1989

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AlloucheMS92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AlloucheMS92
Jean-Paul Allouche, Patrick Morton, Jeffrey O. Shallit:
Pattern Spectra, Substring Enumeration, and Automatic Sequences. 161-174
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BaratchartOW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BaratchartOW92
Laurent Baratchart, Martine Olivi, Franck Wielonsky:
On a Rational Approximation Problem in the Real Hardy Space H2. 175-197
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dehornoy92a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dehornoy92a
Patrick Dehornoy:
Probleme de mots dans les gerbes libres. 199-213
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Ferenczi92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Ferenczi92
Sébastien Ferenczi:
Tiling the Morse Sequence. 215-221
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Frougny92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Frougny92
Christiane Frougny:
Systemes de numeration linearires et Theta-representations. 223-236
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Galmiche92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Galmiche92
Didier Galmiche:
Program Development in Constructive Type Theory. 237-259
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Gardy92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gardy92
Danièle Gardy:
Methode de col et lois limites en analyse combinatoire. 261-280
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Gil92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gil92
Bernahrd Gil:
Complete Extension of General Logic Programs. 281-294
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Lachaud92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Lachaud92
Gilles Lachaud:
Artin-Schreier Curves, Exponential Sums, and Coding Theory. 295-310
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Mery92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Mery92
Dominique Méry:
The N U System as a Development System for Concurrent Programs: delta N U. 311-334
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Parigot92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Parigot92
Michel Parigot:
Recursive Programming with Proofs. 335-336
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Perrin92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Perrin92
Dominique Perrin:
On Positive Matrices. 357-366
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Restivo92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Restivo92
Antonio Restivo:
A Note on Renewal Systems. 367-371
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/WenW92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/WenW92
Zhi-Xiong Wen, Zhi-Ying Wen:
Some Studies on the (p, q)-Type Sequences. 373-393

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.