Information and Computation, Volume 181
Volume 181, Number 1, 25 February 2003
Alain Finkel, S. Purushothaman Iyer, Grégoire Sutre: Well-abstracted transition systems: application to FIFO automata. 1-31- Peter Hertling, Klaus Weihrauch: Random elements in effective topological spaces with measure. 32-56
Volume 181, Number 2, 15 March 2003
- Jop F. Sibeyn: List-ranking on interconnection networks. 75-87
- Nicolas Peltier: Extracting models from clause sets saturated under semantic refinements of the resolution rule. 99-130
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T214307 by the dblp team