Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Theoretical Computer Science, Volume 464

> 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 464, December 2012

Editorial

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/AotoM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/AotoM12
Takahito Aoto, Aart Middeldorp:
Preface. 1-2

Special Issue Articles

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Gramlich12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Gramlich12
Bernhard Gramlich:
Modularity in term rewriting revisited. 3-19
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/JouannaudL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/JouannaudL12
Jean-Pierre Jouannaud, Jiaxiang Liu:
From diagrammatic confluence to modularity. 20-34
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dershowitz12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dershowitz12
Nachum Dershowitz:
Jumping and escaping: Modular termination and the abstract path ordering. 35-47
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EndrullisHK12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EndrullisHK12
Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop:
Highlights in infinitary rewriting and lambda calculus. 48-71
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/NagashimaSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/NagashimaSS12
Masanori Nagashima, Masahiko Sakai, Toshiki Sakabe:
Determinization of conditional term rewriting systems. 72-89
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FutatsugiGO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FutatsugiGO12
Kokichi Futatsugi, Daniel Gâinâ, Kazuhiro Ogata:
Principles of proof scores in CafeOBJ. 90-112
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/Dezani-CiancagliniHS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/Dezani-CiancagliniHS12
Mariangiola Dezani-Ciancaglini, Ross Horne, Vladimiro Sassone:
Tracing where and who provenance in Linked Data: A calculus. 113-129

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.