|
Journals in DBLP
- Klaus Barthelmann
Nondeterministic Operations on Finite Relational Structures. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:1-44 [Journal]
- Vincent Schmitt
Stable Trace Automata vs. Full Trace Automata. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:45-100 [Journal]
- Lothar M. Schmitt, Chrystopher L. Nehaniv, Robert H. Fujii
Linear Analysis of Genetic Algorithms. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:101-134 [Journal]
- Wieslaw Zielonka
Infinite Games on Finitely Coloured Graphs with Applications to Automata on Infinite Trees. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:135-183 [Journal]
- Peter Jeavons
On the Algebraic Structure of Combinatorial Problems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:185-204 [Journal]
- Tero Harju, Lucian Ilie
On Quasi Orders of Words and the Confluence Property. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:205-224 [Journal]
- Matthew Hennessy, Julian Rathke
Bisimulations for a Calculus of Broadcasting Systems. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:225-260 [Journal]
- Eric Rivals, Jean-Paul Delahaye
Optimal Representation in Average Using Kolmogorov Complexity. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:261-287 [Journal]
- Jaco van de Pol
Operational Semantics of Rewriting with Priorities. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:289-312 [Journal]
- Carlo Blundo, Luiz A. Frota Mattos, Douglas R. Stinson
Generalized Beimel-Chor Schemes for Broadcast Encryption and Interactive Key Distribution. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:313-334 [Journal]
- Daniele Mundici, Nicola Olivetti
Resolution and Model Building in the Infinite-Valued Calculus of Lukasiewicz. [Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1998, v:200, n:1-2, pp:335-366 [Journal]
|