![](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
CoRR, February 2000
- Miroslaw Truszczynski:
Computing large and small stable models. - Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
Uniform semantic treatment of default and autoepistemic logics. - Deborah East, Miroslaw Truszczynski:
On the accuracy and running time of GSAT. - Jeremy W. Bryans, Howard Bowman, John Derrick:
Stochastic Model Checking for Multimedia. - Pradosh Kumar Mohapatra:
Fully Sequential and Distributed Dynamic Algorithms for Minimum Spanning Trees. - Toshinao Akuzawa, Noboru Murata:
Multiplicative Nonholonomic/Newton -like Algorithm. - Kenneth C. Litkowski:
Requirements of Text Processing Lexicons. - R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
On Automata with Boundary. - Luis M. Rocha:
Syntactic Autonomy: Why There is no Autonomy without Symbols and How Self-Organization Might Evolve Them. - Luis M. Rocha, Johan Bollen:
Biologically Motivated Distributed Designs for Adaptive Knowledge Management. - Nicholas F. Maxemchuk, David H. Shur:
An Internet Multicast System for the Stock Market. - Ming Li, Bin Ma, Lusheng Wang:
On The Closest String and Substring Problems. - Yann Loyer, Nicolas Spyratos, Daniel Stamate:
Computing and Comparing Semantics of Programs in Multi-valued Logics. - Robert Ghrist, Daniel E. Koditschek:
Safe cooperative robot dynamics on graphs. - Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
Genetic Algorithms for Extension Search in Default Logic. - Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
SLT-Resolution for the Well-Founded Semantics. - Victor Kromer:
An Usage Measure Based on Psychophysical Relations. - Nysret Musliu, Johannes Gärtner, Wolfgang Slany:
Efficient generation of rotating workforce schedules. - Ricardo Mansilla:
From naive to sophisticated behavior in multiagents based financial market models. - György Korniss, Mark A. Novotny, Zoltán Toroczkai, Per Arne Rikvold:
Non-equilibrium Surface Growth and Scalability of Parallel Algorithms for Large Asynchronous Systems. - Philippe Gaucher:
About the globular homology of higher dimensional automata. - Kai Nagel, Marcus Rickert, Patrice M. Simon, Martin Pieck:
The dynamics of iterated transportation simulations. - Charles Ofria, Christoph Adami, Travis C. Collier, Grace K. Hsu:
Evolution of differentiated expression patterns in digital organisms. - Andris Ambainis:
Quantum lower bounds by quantum arguments.
![](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.