![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Current Trends in Theoretical Computer Science, 2001
- Gheorghe Paun, Grzegorz Rozenberg, Arto Salomaa:
Current Trends in Theoretical Computer Science, Entering the 21th Century. World Scientific 2001, ISBN 981-02-4473-8
Computational Complexity
- Richard Chang:
A Machine Model for the Complexity of NP-Approximation Problems. Current Trends in Theoretical Computer Science 2001: 4-24 - Eric Allender:
Some Pointed Questions Concerning Asymptotic Lower Bounds, and News from the Isomorphism Front. Current Trends in Theoretical Computer Science 2001: 25-41 - Paul Beame, Toniann Pitassi:
Propositional Proof Complexity: Past, Present, and Future. Current Trends in Theoretical Computer Science 2001: 42-70 - Neil Immerman:
Progress in Descriptive Complexity. Current Trends in Theoretical Computer Science 2001: 71-82 - Jack H. Lutz, Elvira Mayordomo:
Twelve Problems in Resource-Bounded Measure. Current Trends in Theoretical Computer Science 2001: 83-101 - Lance Fortnow:
Diagonalization. Current Trends in Theoretical Computer Science 2001: 102-114
Formal Specification
- Hartmut Ehrig, Bernd Mahr:
Theory and Practice of Software Development: A Review of Driving Forces and Expectations of TAPSOFT from 1985 to 1997. Current Trends in Theoretical Computer Science 2001: 118-130 - Hartmut Ehrig:
On the Role of Formal Specification Techniques: From TAPSOFT 1985 to ETAPS 2000. Current Trends in Theoretical Computer Science 2001: 131-133 - Hartmut Ehrig, Bernd Mahr:
Algebraic Techniques in Software Development: A Review of Progress up to the Mid Nineties. Current Trends in Theoretical Computer Science 2001: 134-152 - Peter D. Mosses:
CoFI: The Common Framework Initiative for Algebraic Specification and Development. Current Trends in Theoretical Computer Science 2001: 153-163 - Andrea Corradini, Hans-Jörg Kreowski:
GETGRATS and APPLIGRAPH: Theory and Applications of Graph Transformation. Current Trends in Theoretical Computer Science 2001: 164-170 - Julia Padberg:
Classification of Petri Nets Using Adjoint Functors. Current Trends in Theoretical Computer Science 2001: 171-179 - Hartmut Ehrig, Fernando Orejas:
Dynamic Abstract Data Types: An Informal Proposal in 1994. Current Trends in Theoretical Computer Science 2001: 180-191 - Hartmut Ehrig, Fernando Orejas:
Integration Paradigm for Data Type and Process Specification Techniques. Current Trends in Theoretical Computer Science 2001: 192-201 - Hartmut Ehrig, Julia Padberg, Fernando Orejas:
From Basic Views and Aspects to Integration of Specification Formalisms. Current Trends in Theoretical Computer Science 2001: 202-214 - Martin Große-Rhode:
On a Reference Model for the Formalization and Integration of Software Specification Languages. Current Trends in Theoretical Computer Science 2001: 215-225 - Hartmut Ehrig, Robert Geisler, Martin Große-Rhode, Marcus Klar, Stefan Mann:
On Formal Semantics and Integration of Object-Oriented Modeling Languages. Current Trends in Theoretical Computer Science 2001: 226-232
Logic in Computer Science
- Kevin J. Compton, Howard Straubing:
Characterizations of Regular Languages in Low Level Complexity Classes. Current Trends in Theoretical Computer Science 2001: 235-246 - Yuri Gurevich:
AMAST'91 Banquet Talk. Current Trends in Theoretical Computer Science 2001: 247-253 - Jean-Eric Pin:
Logic on Words. Current Trends in Theoretical Computer Science 2001: 254-273 - Yuri Gurevich:
The Value, if Any, of Decidability. Current Trends in Theoretical Computer Science 2001: 274-280 - Yuri Gurevich:
Platonism, Constructivism, and Computer Proofs vs. Proofs by Hand. Current Trends in Theoretical Computer Science 2001: 281-302 - Anatoli Degtyarev, Yuri Gurevich, Andrei Voronkov:
Herbrand's Theorem and Equational Reasoning: Problems and Solutions. Current Trends in Theoretical Computer Science 2001: 303-326 - Yuri Gurevich:
From Invariants to Canonization. Current Trends in Theoretical Computer Science 2001: 327-331 - Alasdair Urquhart:
The Complexity of Propositional Proofs. Current Trends in Theoretical Computer Science 2001: 332-342 - Loïc Colson:
Functions Versus Algorithms. Current Trends in Theoretical Computer Science 2001: 343-362 - Yuri Gurevich:
The Sequential ASM Thesis. Current Trends in Theoretical Computer Science 2001: 363-392 - Erich Grädel:
Why are Modal Logics so Robustly Decidable? Current Trends in Theoretical Computer Science 2001: 393-408 - Andreas Blass, Yuri Gurevich:
The Underlying Logic of Hoare Logic. Current Trends in Theoretical Computer Science 2001: 409-436
Concurrency
- Prakash Panangaden:
Does Concurrency Theory Have Anything to Say About Parallel Programming? Current Trends in Theoretical Computer Science 2001: 439-446 - Jeremy Gunawardena:
Homotopy and Concurrency. Current Trends in Theoretical Computer Science 2001: 447-459 - Bent Thomsen, Lone Leth Thomsen:
Towards Global Computations Guided by Concurrency Theory. Current Trends in Theoretical Computer Science 2001: 460-468 - Rob J. van Glabbeek:
What is Branching Time Semantics and Why to Use it? Current Trends in Theoretical Computer Science 2001: 469-479 - Olaf Burkart, Javier Esparza:
More Infinite Results. Current Trends in Theoretical Computer Science 2001: 480-503 - Luca Aceto, Wan J. Fokkink, Chris Verhoef:
Conservative Extension in Structural Operational Semantics. Current Trends in Theoretical Computer Science 2001: 504-524 - Chiara Bodei, Pierpaolo Degano, Flemming Nielson, Hanne Riis Nielson:
Security Analysis Using Flow Logics. Current Trends in Theoretical Computer Science 2001: 525-542
Natural Computing
- Thomas Bäck, Jeannette M. de Graaf, Joost N. Kok, Walter A. Kosters:
Theory of Genetic Algorithms. Current Trends in Theoretical Computer Science 2001: 546-578 - David B. Fogel, Zbigniew Michalewicz:
Why Evolutionary Algorithms? Current Trends in Theoretical Computer Science 2001: 579-602 - Joost N. Kok, Walter A. Kosters:
Natural Data Mining Techniques. Current Trends in Theoretical Computer Science 2001: 603-613 - Martyn Amos:
Theoretical and Experimental DNA Computation. Current Trends in Theoretical Computer Science 2001: 614-630 - Richard M. Karp:
The Genomics Revolution and its Challenges for Algorithmic Research. Current Trends in Theoretical Computer Science 2001: 631-642 - Mika Hirvensalo:
An Introduction to Quantum Computing. Current Trends in Theoretical Computer Science 2001: 643-663 - Harry Buhrman:
Quantum Computing and Communication Complexity. Current Trends in Theoretical Computer Science 2001: 664-679 - Wolfgang Maass:
Neural Computation: A Research Topic for Theoretical Computer Science? Some Thoughts and Pointers. Current Trends in Theoretical Computer Science 2001: 680-690
Formal Language Theory
- Alexandru Mateescu, Arto Salomaa:
Many-Valued Truth Functions, Cernys' Conjecture, and Road Coloring. Current Trends in Theoretical Computer Science 2001: 693-707 - Juha Honkala:
On Slender Languages. Current Trends in Theoretical Computer Science 2001: 708-716 - Marjo Lipponen, Arto Salomaa:
Simple Words in Equality Sets. Current Trends in Theoretical Computer Science 2001: 717-733 - Juha Honkala:
The D0L Problem Revisited. Current Trends in Theoretical Computer Science 2001: 734-739 - Valeria Mihalache, Arto Salomaa:
Lindenmayer and DNA: Watson-Crick D0L Systems. Current Trends in Theoretical Computer Science 2001: 740-751 - Alexandru Mateescu:
Words on Trajectories. Current Trends in Theoretical Computer Science 2001: 752-770 - Erzsébet Csuhaj-Varjú:
Networks of Language Processors. Current Trends in Theoretical Computer Science 2001: 771-790 - Erzsébet Csuhaj-Varjú, Arto Salomaa:
Networks of Language Processors: Parallel Communicating Systems. Current Trends in Theoretical Computer Science 2001: 791-810 - Lila Kari:
DNA Computers: Tomorrow's Reality. Current Trends in Theoretical Computer Science 2001: 811-829 - Gheorghe Paun:
Splicing: A Challenge for Formal Language Theorists. Current Trends in Theoretical Computer Science 2001: 830-844 - Gheorghe Paun:
Computing with Membranes (P Systems): An Introduction. Current Trends in Theoretical Computer Science 2001: 845-866
![](https://dblp.uni-trier.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.