default search action

combined dblp search
author search
venue search
publication search

ask others

Information and Computation, Volume 193

> 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 193, Number 1, 25 August 2004

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Yamagata04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Yamagata04
Yoriyuki Yamagata:
Strong normalization of the second-order symmetric lambda mu -calculus. 1-20
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AspertiCM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AspertiCM04
Andrea Asperti, Paolo Coppola, Simone Martini:
(Optimal) duplication is not elementary recursive. 21-56
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/Servedio04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/Servedio04
Rocco A. Servedio:
On learning monotone DNF under product distributions. 57-74

Volume 193, Number 2, 15 September 2004

- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/AlstrupHR04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/AlstrupHR04
Stephen Alstrup, Thore Husfeldt, Theis Rauhe:
Dynamic nested brackets. 75-83
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BagnaraGHZ04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BagnaraGHZ04
Roberto Bagnara, Roberta Gori, Patricia M. Hill, Enea Zaffanella:
Finite-tree analysis for constraint logic-based languages. 84-116
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/BadouelD04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/BadouelD04
Éric Badouel, Philippe Darondeau:
The synthesis of Petri nets from path-automatic specifications. 117-135

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.