CoRR, February 2000

• Miroslaw Truszczynski:
  Computing large and small stable models. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0002001]
• Marc Denecker, Victor W. Marek, Miroslaw Truszczynski:
  Uniform semantic treatment of default and autoepistemic logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0002002]
• Deborah East, Miroslaw Truszczynski:
  On the accuracy and running time of GSAT. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0002003]
• Jeremy Bryans, Howard Bowman, John Derrick:
  Stochastic Model Checking for Multimedia. , (informal publication)
  Electronic Edition (link) BibTeX [cs.MM/0002004]
• Pradosh Kumar Mohapatra:
  Fully Sequential and Distributed Dynamic Algorithms for Minimum Spanning Trees. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0002005]
• Toshinao Akuzawa, Noboru Murata:
  Multiplicative Nonholonomic/Newton -like Algorithm. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LG/0002006]
• Kenneth C. Litkowski:
  Requirements of Text Processing Lexicons. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0002007]
• R. Gates, Piergiulio Katis, Nicoletta Sabadini, Robert F. C. Walters:
  On Automata with Boundary. , (informal publication)
  Electronic Edition (link) BibTeX [cs.DC/0002008]
• Luis Mateus Rocha:
  Syntactic Autonomy: Why There is no Autonomy without Symbols and How Self-Organization Might Evolve Them. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0002009]
• Luis Mateus Rocha, Johan Bollen:
  Biologically Motivated Distributed Designs for Adaptive Knowledge Management. , (informal publication)
  Electronic Edition (link) BibTeX [cs.IR/0002010]
• Nicholas F. Maxemchuk, David H. Shur:
  An Internet Multicast System for the Stock Market. , (informal publication)
  Electronic Edition (link) BibTeX [cs.NI/0002011]
• Ming Li, Bin Ma, Lusheng Wang:
  On The Closest String and Substring Problems. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CE/0002012]
• Yann Loyer, Nicolas Spyratos, Daniel Stamate:
  Computing and Comparing Semantics of Programs in Multi-valued Logics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.LO/0002013]
• Robert Ghrist, Daniel E. Koditschek:
  Safe cooperative robot dynamics on graphs. , (informal publication)
  Electronic Edition (link) BibTeX [cs.RO/0002014]
• Pascal Nicolas, Frédéric Saubion, Igor Stéphan:
  Genetic Algorithms for Extension Search in Default Logic. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0002015]
• Yi-Dong Shen, Li-Yan Yuan, Jia-Huai You:
  SLT-Resolution for the Well-Founded Semantics. , (informal publication)
  Electronic Edition (link) BibTeX [cs.AI/0002016]
• Victor Kromer:
  An Usage Measure Based on Psychophysical Relations. , (informal publication)
  Electronic Edition (link) BibTeX [cs.CL/0002017]
• Nysret Muslija, Johannes Gärtner, Wolfgang Slany:
  Efficient generation of rotating workforce schedules. , (informal publication)
  Electronic Edition (link) BibTeX [cs.OH/0002018]
• Ricardo Mansilla:
  From naive to sophisticated behavior in multiagents based financial market models. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0002331]
• G. Korniss, M. A. Novotny, Zoltán Toroczkai, Per Arne Rikvold:
  Non-equilibrium Surface Growth and Scalability of Parallel Algorithms for Large Asynchronous Systems. , (informal publication)
  Electronic Edition (link) BibTeX [cond-mat/0002469]
• Philippe Gaucher:
  About the globular homology of higher dimensional automata. , (informal publication)
  Electronic Edition (link) BibTeX [math.CT/0002216]
• Kai Nagel, Marcus Rickert, Patrice M. Simon, Martin Pieck:
  The dynamics of iterated transportation simulations. , (informal publication)
  Electronic Edition (link) BibTeX [nlin.AO/0002040]
• Charles Ofria, Christoph Adami, Travis C. Collier, Grace K. Hsu:
  Evolution of differentiated expression patterns in digital organisms. , (informal publication)
  Electronic Edition (link) BibTeX [physics/0002054]
• Andris Ambainis:
  Quantum lower bounds by quantum arguments. , (informal publication)
  Electronic Edition (link) BibTeX [quant-ph/0002066]