![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Information and Computation, Volume 106
Volume 106, Number 1, 1993
- Ronald L. Rivest, Robert H. Sloan:
On Choosing between Experimenting and Thinking when Learning. 1-25 - Erik Palmgren:
An Information System Interpretation of Martin-Löf's Partial Type Theory with Universes. 26-60 - Christian Choffrut:
On the Starheight of Some Rational Subsets Closed under Partial Commutations. 61-82 - Joseph Y.-T. Leung, C. S. Wong:
Minimizing the Number of Late Tasks with Error Constraint. 83-108 - Krzysztof R. Apt, Dino Pedreschi
:
Reasoning about Termination of Pure Prolog Programs. 109-157
Volume 106, Number 2, 1993
- Robert Cori, Yves Métivier, Wieslaw Zielonka:
Asynchronous Mappings and Asynchronous Cellular Automata. 159-202 - Kimio Kawaguchi, Koichi Wada:
New Results in Graph Routing. 203-233 - Ricardo A. Baeza-Yates
, Joseph C. Culberson, Gregory J. E. Rawlins:
Searching in the Plane. 234-252 - Rodney R. Howell, Petr Jancar
, Louis E. Rosier:
Completeness Results for Single-Path Petri Nets. 253-265 - Omer Berkman, Uzi Vishkin:
On Parallel Integer Merging. 266-285 - Stefan Meiser:
Point Location in Arrangements of Hyperplanes. 286-303
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
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.