Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 236

> 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 236, Numbers 1-2, 6 April 2000

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dauchet00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dauchet00
Max Dauchet:
Trees in Algebra and Programming (Editorial). 1
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AstesianoR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AstesianoR00
Egidio Astesiano, Gianna Reggio:
Formalism and method. 3-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/BouhoulaJM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BouhoulaJM00
Adel Bouhoula, Jean-Pierre Jouannaud, José Meseguer:
Specification and proof in membership equational logic. 35-132
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/ArtsG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/ArtsG00
Thomas Arts, Jürgen Giesl:
Termination of term rewriting using dependency pairs. 133-178
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/DessmarkLP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/DessmarkLP00
Anders Dessmark, Andrzej Lingas, Andrzej Proskurowski:
Maximum packing for k-connected partial k-trees in polynomial time. 179-191
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/LeivantM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/LeivantM00
Daniel Leivant, Jean-Yves Marion:
A characterization of alternating log time by ramified recurrence. 193-208
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/YamadaALM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/YamadaALM00
Toshiyuki Yamada, Jürgen Avenhaus, Carlos Loría-Sáenz, Aart Middeldorp:
Logicality of conditional rewrite systems. 209-232

a service of

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.