Stop the war!
Остановите войну!
for scientists:
default search action
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 - Amihood Amir, Richard Cole, Ramesh Hariharan, Moshe Lewenstein, Ely Porat:
Overlap matching. 57-74
Volume 181, Number 2, 15 March 2003
- Jop F. Sibeyn:
List-ranking on interconnection networks. 75-87 - Guozhu Dong, Leonid Libkin, Limsoon Wong:
Incremental recomputation in local languages. 88-98 - Nicolas Peltier:
Extracting models from clause sets saturated under semantic refinements of the resolution rule. 99-130
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.