default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 183

> Home > Journals > Information and Computation

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 183, Number 1, 25 May 2003

International Workshop on Implicit Computational Complexity (ICC'99), Trento, Italy, 30 June - 1 July 1999

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DawarL03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DawarL03
Anuj Dawar, Daniel Leivant:
Guest editorial. 1
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Marion03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Marion03
Jean-Yves Marion:
Analysing the implicit complexity of programs. 2-18
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BergerES03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BergerES03
Ulrich Berger, Matthias Eberl, Helmut Schwichtenberg:
Term rewriting for normalization by evaluation. 19-42
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Hofbauer03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Hofbauer03
Dieter Hofbauer:
An upper bound on the derivational complexity of Knuth-Bendix orderings. 43-56
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Hofmann03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Hofmann03
Martin Hofmann:
Linear types and non-size-increasing polynomial time computation. 57-85
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/NevenS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/NevenS03
Frank Neven, Thomas Schwentick:
On the power of tree-walking automata. 86-103
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/GottlobP03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GottlobP03
Georg Gottlob, Christos H. Papadimitriou:
On the complexity of single-rule datalog queries. 104-122
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/DanosJ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/DanosJ03
Vincent Danos, Jean-Baptiste Joinet:
Linear logic and elementary time. 123-137

Volume 183, Number 2, 15 June 2003

12th International Conference on Rewriting Techniques and Applications (RTA 2001), Utrecht, The Netherlands, 22 - 24 May 2001

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Middeldorp03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Middeldorp03
Aart Middeldorp:
Preface. 139
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/ArmandoRR03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ArmandoRR03
Alessandro Armando, Silvio Ranise, Michaël Rusinowitch:
A rewriting approach to satisfiability procedures. 140-164
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/KorovinV03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/KorovinV03
Konstantin Korovin, Andrei Voronkov:
Orienting rewrite rules with the Knuth-Bendix order. 165-186
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/OyamaguchiO03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/OyamaguchiO03
Michio Oyamaguchi, Yoshikatsu Ohta:
The unification problem for confluent right-ground term rewriting systems. 187-211
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/VestergaardB03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/VestergaardB03
René Vestergaard, James Brotherston:
A formalised first-order confluence proof for the -calculus using one-sorted variable names. 212-244
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Woinowski03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Woinowski03
Jens R. Woinowski:
The context-splittable normal form for Church-Rosser language systems. 245-274

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.