首页>外文期刊>计算机、自动化>Theoretical Computer Science

Theoretical Computer Science

Theoretical Computer Science

中文名称：理论计算机科学

ISSN：0304-3975
出版周期：24 issues per year (

发文量：62

期刊论文

年度选择

2016
- 第1期
- 第2期
- 第3期
2015
- 第1期
- 第1期
- 第2期
- 第2期
- 第3期
- 第3期
2014
- 第1期
- 第2期
- 第3期
2011
- 第2期
- 第5期
- 第10期
- 第18期
- 第28期
- 第36期
- 第40期
- 第52期
2010
- 第1期
- 第5期
- 第6期
- 第9期
- 第15期
- 第18期
- 第30期
- 第42期
- 第52期
2009
- 第3期
- 第4期
- 第5期
- 第7期
- 第10期
- 第11期
- 第13期
- 第25期
- 第34期
2008
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2007
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2006
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2005
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2004
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2003
- 第2期
- 第2期
- 第3期
- 第3期
- 第3期
- 第3期
- 第3期
2002
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
2001
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
2000
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
1999
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
1998
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
1997
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
1996
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
1995
- 第1期
- 第1期
- 第1期
- 第1期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期
- 第2期

更多>>

全选（0）

1.On the number of inductively minimal geometries

机译：On the number of inductively minimal geometries
- 作者：Cara P.;Pasechnik DV.;Lehman S.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
2.Worst-case hardness suffices for derandomization: a new method for hardness-randomness trade-offs

机译：Worst-case hardness suffices for derandomization: a new method for hardness-randomness trade-offs
- 作者：Alexander E. Andreev;Andrea E. F. Clementi;Jose D. P. Rolim
- 期刊名称：《Theoretical computer science》 | 1999年第2期
3.General linear relations between different types of predictive complexity

机译：General linear relations between different types of predictive complexity
- 作者：Yuri Kalnishkan
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Computational learning theory;
- Generalization of Kolmogorov complexity;
- Tight inequalities;
4.Ranching automata with costs - a way of reflecting parallelism in costs

机译：Ranching automata with costs - a way of reflecting parallelism in costs
- 作者：Kuske D;Meinecke I
- 期刊名称：《Theoretical computer science》 | 2004年第2期
- concurrency;
- weighted automata;
- sp-posets;
- formal power series;
- bisemiring;
- FORMAL POWER-SERIES;
- POMSETS;
- THEOREM;
5.Complexity of pairwise shortest path routing in the grid

机译：Complexity of pairwise shortest path routing in the grid
- 作者：Gonzalez TF;Serena D
- 期刊名称：《Theoretical computer science》 | 2004年第3期
- grid networks;
- fault-tolerance;
- node disjoint shortest paths;
- edge disjoint shortest paths;
- NP-completeness;
- DISJOINT PATHS;
- PERMUTATION;
- HYPERCUBES;
6.Asynchronous spiking neural P systems

机译：Asynchronous spiking neural P systems
- 作者：Matteo Cavaliere;Oscar H. Ibarra;Gheorghe PaunOmer EgeciogluMihai IonescuSara Woodworth
- 期刊名称：《Theoretical computer science》 | 2009年第25期
- Membrane computing;
- Spiking neural P system;
- Turing computability;
- Counter machine;
- Decidability;
7.Affine scheduling on bounded convex polyhedric domains is asymptotically optimal

机译：Affine scheduling on bounded convex polyhedric domains is asymptotically optimal
- 作者：dArgence PL.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
8.On canonical number systems

机译：On canonical number systems
- 作者：Shigeki Akiyama;Attila Petho
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Canonical number system;
- Radix representation;
- Algebraic number field;
- Height;
9.Nontrivial monotone weakly symmetric Boolean functions with six variables are elusive

机译：Nontrivial monotone weakly symmetric Boolean functions with six variables are elusive
- 作者：Sui-Xiang Gao;Xiao-Dong Hu;Weili Wu
- 期刊名称：《Theoretical computer science》 | 1999年第2期
- decision trees;
- bollean functions;
- elusive;
10.Adjoining to Wythoff's game its P-positions as moves

机译：Adjoining to Wythoff's game its P-positions as moves
- 作者：Fraenkel AS.;Ozery M.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
11.A multi-scale constraint programming model of alternative splicing regulation

机译：A multi-scale constraint programming model of alternative splicing regulation
- 作者：Damien Eveillard;Delphine Ropers;Hidde de JongChristiane BranlantAlexander Bockmayr
- 期刊名称：《Theoretical computer science》 | 2004年第1期
- Computational biology;
- Constraint programming;
- Modeling;
- Hybrid system;
- Alternative splicing;
12.Node rewriting in graphs and hypergraphs: a categorical framework

机译：Node rewriting in graphs and hypergraphs: a categorical framework
- 作者：Bauderon M.;Jacquet H.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
13.COMPOSITION AND BEHAVIORS OF PROBABILISTIC I/O AUTOMATA

机译：COMPOSITION AND BEHAVIORS OF PROBABILISTIC I/O AUTOMATA
- 作者：Wu SH.;Stark EW.;Smolka SA.
- 期刊名称：《Theoretical computer science》 | 1997年第2期
14.Approximating the Pareto curve with local search for the bicriteria TSP(1,2) problem

机译：Approximating the Pareto curve with local search for the bicriteria TSP(1,2) problem
- 作者：Eric Angel;Evripidis Bampis;Laurent Gourves
- 期刊名称：《Theoretical computer science》 | 2004年第3期
- Local search;
- Multicriteria TSP;
- Approximation algorithms;
15.Towards a descriptive set theory for domain-like structures

机译：Towards a descriptive set theory for domain-like structures
- 作者：Victor L. Selivanov
- 期刊名称：《Theoretical computer science》 | 2006年第3期
- Polish space;
- Φ-Space;
- Algebraic domain;
- Effective space;
- Borel hierarchy;
- Difference hierarchy;
- Wadge reducibility;
- ω-Boolean operation;
16.Codes and equations on trees

机译：Codes and equations on trees
- 作者：Mantaci S.;Restivo A.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
17.A reducibility for the dot-depth hierarchy

机译：A reducibility for the dot-depth hierarchy
- 作者：Victor L. Selivanov;Klaus W. Wagner
- 期刊名称：《Theoretical computer science》 | 2005年第3期
- Dot-depth hierarchy;
- Reducibility;
- Complete sets;
- Degree structure;
- Leaf languages;
18.Prequential randomness and probability

机译：Prequential randomness and probability
- 作者：Vladimir Vovk;Alexander Shen
- 期刊名称：《Theoretical computer science》 | 2010年第30期
- Algorithmic randomness;
- Farthingale;
- Prequential statistics;
19.On the (n,t)-antipodal Gray codes

机译：On the (n,t)-antipodal Gray codes
- 作者：Gerard J. Chang;Sen-Peng Eu;Chung-Heng Yeh
- 期刊名称：《Theoretical computer science》 | 2007年第3期
- Antipodal;
- Gray code;
- Hamiltonian cycle;
- n-cube;
- Complement;
- Period;
20.Ranks of graphs: The size of acyclic orientation cover for deadlock-free packet routing

机译：Ranks of graphs: The size of acyclic orientation cover for deadlock-free packet routing
- 作者：R. KráloviC;P. RuZiCka
- 期刊名称：《Theoretical computer science》 | 2007年第3期
- Communication networks;
- Packet routing;
- Acyclic orientation cover;
21.ω-Regular languages are testable with a constant number of queries

机译：ω-Regular languages are testable with a constant number of queries
- 作者：Hana Chockler;Orna Kupferman
- 期刊名称：《Theoretical computer science》 | 2004年第3期
- Property testing;
- ω-Regular languages;
- Algorithms;
- Complexity;
22.Fault-free longest paths in star networks with conditional link faults

机译：Fault-free longest paths in star networks with conditional link faults
- 作者：Ping-Ying Tsai;Jung-Sheng Fu;Gen-Huey Chen
- 期刊名称：《Theoretical computer science》 | 2009年第10期
- Conditional fault model;
- Embedding;
- Fault tolerance;
- Hamiltonian laceability;
- Random fault model;
- Star network;
23.THE COMPLEXITY OF MEAN PAYOFF GAMES ON GRAPHS

机译：THE COMPLEXITY OF MEAN PAYOFF GAMES ON GRAPHS
- 作者：Zwick U.;Paterson M.
- 期刊名称：《Theoretical computer science》 | 1996年第2期
- Algorithm;
- Geography;
- Path;
24.Parametric synchronizations in mobile nominal calculi

机译：Parametric synchronizations in mobile nominal calculi
- 作者：Roberto Bruni;Ivan Lanese
- 期刊名称：《Theoretical computer science》 | 2008年第3期
25.Kolmogorov entropy in the context of computability theory

机译：Kolmogorov entropy in the context of computability theory
- 作者：Andrej A. Muchnik;Semen Ye. Positselsky
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Kolmogorov entropy;
- M-completeness;
- Tt-completeness;
- R-separability;
26.THE LOCAL DETECTION PARADIGM AND ITS APPLICATIONS TO SELF-STABILIZATION

机译：THE LOCAL DETECTION PARADIGM AND ITS APPLICATIONS TO SELF-STABILIZATION
- 作者：Afek Y.;Yung M.;Kutten S.
- 期刊名称：《Theoretical computer science》 | 1997年第2期
- Protocols;
- Systems;
27.Least adaptive optimal search with unreliable tests

机译：Least adaptive optimal search with unreliable tests
- 作者：Ferdinando Cicalese;Daniele Mundici;Ugo Vaccaro
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Searching;
- Errors;
- Lies;
- Adaptiveness;
- Codes;
28.Reductions for non-clausal theorem proving

机译：Reductions for non-clausal theorem proving
- 作者：Aguilera G.;Ojeda-Aciego M.;Valverde A.de Guzman IP.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
29.Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time

机译：Weak bisimilarity between finite-state systems and BPA or normed BPP is decidable in polynomial time
- 作者：Antonin Kucera;Richard Mayr
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Concurrency;
- Infinite-state systems;
- Process algebras;
- Verification;
- Bisimulation;
30.A uniform approach to true-concurrency and interleaving semantics for Petri nets

机译：A uniform approach to true-concurrency and interleaving semantics for Petri nets
- 作者：Priese L.;Wimmel H.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
31.AVERAGE CASE ANALYSIS OF GREEDY ALGORITHMS FOR OPTIMISATION PROBLEMS ON SET SYSTEMS

机译：AVERAGE CASE ANALYSIS OF GREEDY ALGORITHMS FOR OPTIMISATION PROBLEMS ON SET SYSTEMS
- 作者：Blot J.;Paschos VT.;Saad R.Delavega WF.
- 期刊名称：《Theoretical computer science》 | 1995年第2期
32.On a problem of Fagin concerning multivalued dependencies in relational databases

机译：On a problem of Fagin concerning multivalued dependencies in relational databases
- 作者：Sven Hartmann;Sebastian Link
- 期刊名称：《Theoretical computer science》 | 2006年第3期
- Multivalued dependency;
- Complete axiomatisation;
- Inference rule;
- Minimality;
- Functional dependency;
- Relational database;
- Database;
- Semantics of data;
33.Efficient approximation algorithms for bandwidth consecutive multicolorings of graphs

机译：Efficient approximation algorithms for bandwidth consecutive multicolorings of graphs
- 作者：Obata Yuji;Nishizeki Takao
- 期刊名称：《Theoretical computer science》 | 2015年第2期
- Graph coloring;
- Bandwidth consecutive multicoloring;
- Approximation algorithm;
34.An improved algorithm for solving the banded cyclic string-to-string correction problem

机译：An improved algorithm for solving the banded cyclic string-to-string correction problem
- 作者：Chung KL.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
35.Finite relational structure models of topological spaces and maps

机译：Finite relational structure models of topological spaces and maps
- 作者：K. A. Hardie;P. J. Witbooi
- 期刊名称：《Theoretical computer science》 | 2008年第2期
- Binary reflexive relational structure;
- Weak homotopy equivalence;
- Homotopy pushout;
- Double mapping cylinder;
36.Search algorithms in type theory

机译：Search algorithms in type theory
- 作者：Caldwell JL.;Underwood J.;Gent IP.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
- Search algorithms;
- Proofs-as-programs;
- Conflict-directed backjump search;
- Nonlocal control (call/cc);
- Nupr1;
- Hamiltonian circuit;
37.Circuit principles and weak pigeonhole variants

机译：Circuit principles and weak pigeonhole variants
- 作者：Chris Pollett;Norman Danner
- 期刊名称：《Theoretical computer science》 | 2007年第3期
- Bounded arithmetic;
- Circuit lower bounds;
- Pigeonhole principle;
- RSA;
- Cryptography;
38.Partial confluence of processes and systems of objects

机译：Partial confluence of processes and systems of objects
- 作者：Liu XX.;Walker D.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
39.The HASCASL prologue: Categorical syntax and semantics of the partial λ-calculus

机译：The HASCASL prologue: Categorical syntax and semantics of the partial λ-calculus
- 作者：Lutz Schroder
- 期刊名称：《Theoretical computer science》 | 2006年第3期
- Algebraic specification;
- Categorical logic;
- Partial λ-calculus;
- CASL;
40.Proof nets, garbage, and computations

机译：Proof nets, garbage, and computations
- 作者：Guerrini S.;Masini A.;Martini S.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
41.Fixed topology Steiner trees and spannig forests

机译：Fixed topology Steiner trees and spannig forests
- 作者：Lusheng Wang;Xiaohua Jia
- 期刊名称：《Theoretical computer science》 | 1999年第2期
- fixed topology steiner trees;
- spanning forests;
- time-delay;
- bandwidth constraints;
42.A 3D fully parallel surface-thinning algorithm

机译：A 3D fully parallel surface-thinning algorithm
- 作者：Kalman Palagyi
- 期刊名称：《Theoretical computer science》 | 2008年第2期
- Discrete geometry;
- Digital topology;
- Skeleton;
- Thinning algorithms;
- Topology preservation;
43.Role-based access control for boxed ambients

机译：Role-based access control for boxed ambients
- 作者：Adriana Compagnoni;Elsa L. Gunter;Philippe Bidinger
- 期刊名称：《Theoretical computer science》 | 2008年第3期
- Mobile computing;
- Process calculi;
- Security;
- Ambients;
- Access control;
- RBAC;
- Type systems;
- Types;
44.Reachability problems for sequential dynamical systems with threshold functions

机译：Reachability problems for sequential dynamical systems with threshold functions
- 作者：Chris Barrett;Harry B. Hunt III;Madhav V. MaratheS. S. RaviDaniel J. RosenkrantzRichard E. Stearns
- 期刊名称：《Theoretical computer science》 | 2003年第3期
45.LA, permutations, and the Hajos Calculus

机译：LA, permutations, and the Hajos Calculus
- 作者：Michael Soltys
- 期刊名称：《Theoretical computer science》 | 2005年第3期
- Proof complexity;
- Matrix algebra;
- Permutations;
46.On proof normalization in linear logic (vol 135, pg 67, 1994)

机译：On proof normalization in linear logic (vol 135, pg 67, 1994)
- 作者：Perrier G.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
47.Contents and abstracts of the electronic notes in Theoretical Computer Science, vol 2 - Proceedings, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Volterra, Pisa, Italy, 28 August 1 September 1995 - Preface

机译：Contents and abstracts of the electronic notes in Theoretical Computer Science, vol 2 - Proceedings, Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA '95), Volterra, Pisa, Italy, 28 August 1 September 1995 - Preface
- 作者：Corradini A.;Montanari U.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
48.Continuity and computability of reachable sets

机译：Continuity and computability of reachable sets
- 作者：Collins P
- 期刊名称：《Theoretical computer science》 | 2005年第3期
49.NP-completeness for calculating power indices of weighted majority games

机译：NP-completeness for calculating power indices of weighted majority games
- 作者：Matsui Y.;Matsui T.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
50.Unification with extended patterns

机译：Unification with extended patterns
- 作者：Duggan D.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
51.Pattern statistics and Vandermonde matrices

机译：Pattern statistics and Vandermonde matrices
- 作者：Massimiliano Goldwurm;Violetta Lonati
- 期刊名称：《Theoretical computer science》 | 2006年第2期
- Automata and formal languages;
- Limit distributions;
- Pattern statistics;
- Rational formal series;
- Vandermonde matrices;
52.A calculus for four-valued sequential logic

机译：A calculus for four-valued sequential logic
- 作者：Jan A. Bergstra;Jaco van de Pol
- 期刊名称：《Theoretical computer science》 | 2011年第28期
- Four-valued sequential logic;
- Complete axiomatisation;
- Finite basis;
53.A selected tour of the theory of identification matrices

机译：A selected tour of the theory of identification matrices
- 作者：Chen L.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
54.Randomized algorithms for metrical task systems

机译：Randomized algorithms for metrical task systems
- 作者：Irani S.;Seiden S.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
55.Homotopy in two-dimensional digital images

机译：Homotopy in two-dimensional digital images
- 作者：Malgouyres R.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
- Digital topology;
- Homotopy;
- Fundamental group;
56.Branching automata with costs - a way of reflecting parallelism in costs

机译：Branching automata with costs - a way of reflecting parallelism in costs
- 作者：Dietrich Kuske;Ingmar Meinecke
- 期刊名称：《Theoretical computer science》 | 2004年第2期
- Concuirency;
- Weighted automata;
- sp-posets;
- Formal power series;
- Bisemiring;
57.Computing the similarity of two sequences with nested arc annotations

机译：Computing the similarity of two sequences with nested arc annotations
- 作者：Jochen Alber;Jens Gramm;Jiong GuoRolf Niedermeier
- 期刊名称：《Theoretical computer science》 | 2004年第3期
- Arc-annotated sequences;
- RNA secondary structure;
- Search tree;
- NP-completeness;
58.Formalism and method

机译：Formalism and method
- 作者：Astesiano E.;Reggio G.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
- Formalism;
- Method;
- Formal method;
- Software development process;
- Specification;
- Method pattern;
- Software-development;
59.LIMITING SEMANTICS OF NUMERICAL PROGRAMS

机译：LIMITING SEMANTICS OF NUMERICAL PROGRAMS
- 作者：Hoover DN.
- 期刊名称：《Theoretical computer science》 | 1997年第2期
- Completeness;
- Computation;
60.Associative language descriptions

机译：Associative language descriptions
- 作者：Alessandra Cherubini;Stefano Crespi Reghizzi;Pierluigi San Pietro
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Formal languages;
- Associative descriptions;
- Local testability;
61.On cool congruence formats for weak bisimulations

机译：On cool congruence formats for weak bisimulations
- 作者：R. J. van Glabbeek
- 期刊名称：《Theoretical computer science》 | 2011年第28期
- Concurrency;
- Structural operational semantics;
- CCS;
- CSP;
- Branching bisimulation;
- η-bisimulation;
- Delay bisimulation;
- Weak bisimulation;
62.A constructive theory of point-set nearness

机译：A constructive theory of point-set nearness
- 作者：Vita LS.;Bridges DS.
- 期刊名称：《Theoretical computer science》 | 2003年第3期
- Constructive mathematics;
- Nearness;
- Apartness;
- Mathematics;
63.Some formal tools for analyzing quantum automata

机译：Some formal tools for analyzing quantum automata
- 作者：Alberto Bertoni;Carlo Mereghetti;Beatrice Palano
- 期刊名称：《Theoretical computer science》 | 2006年第2期
- Quantum automata;
64.Special issue on Computing and Combinatorics Conference Preface

机译：Special issue on Computing and Combinatorics Conference Preface
- 作者：Cai Zhipeng;Zelikovsky Alexander
- 期刊名称：《Theoretical computer science》 | 2016年第3期
65.A Gentzen-style sequent calculus of constructions with expansion rules

机译：A Gentzen-style sequent calculus of constructions with expansion rules
- 作者：Seldin JP.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
- Calculus of constructions;
- Gentzen-style l-formulation;
- Typed lambda-calculus;
66.Some characteristics of strong innermost normalization

机译：Some characteristics of strong innermost normalization
- 作者：Rao MRKK.
- 期刊名称：《Theoretical computer science》 | 2000年第1期
- Term rewriting-systems;
- Completeness;
- Termination;
- Combinations;
67.On the derandomization of the graph test for homomorphism over groups

机译：On the derandomization of the graph test for homomorphism over groups
- 作者：Linqing Tang
- 期刊名称：《Theoretical computer science》 | 2011年第18期
- Graph test;
- Homomorphism over groups;
- λ-biased set;
- Random walk;
- Expanding Cayley graph;
68.Applications quasi-affines et pavages du plan discret

机译：Applications quasi-affines et pavages du plan discret
- 作者：Col MAJD.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
69.A characterization of partial metrizability: domains are quantifiable

机译：A characterization of partial metrizability: domains are quantifiable
- 作者：Schellekens MP.
- 期刊名称：《Theoretical computer science》 | 2003年第3期
- (weightable) quasi-metrics;
- Partial metrics;
- Valuations;
- Directed partial orders;
- Quasi-uniform;
- Metric-spaces;
- Completion;
- Completeness;
- Continuity;
- Lattices;
70.Pushdown cellular automata

机译：Pushdown cellular automata
- 作者：Martin Kutrib
- 期刊名称：《Theoretical computer science》 | 1999年第2期
- cellular automata;
- parallel computing;
- pushdown storage;
- formal languages;
- complexity;
71.FINITE ACCEPTANCE OF INFINITE WORDS

机译：FINITE ACCEPTANCE OF INFINITE WORDS
- 作者：Litovsky I.;Staiger L.
- 期刊名称：《Theoretical computer science》 | 1997年第2期
- Omega-languages;
72.Nonstochastic bandits: Countable decision set, unbounded costs and reactive environments

机译：Nonstochastic bandits: Countable decision set, unbounded costs and reactive environments
- 作者：Poland J
- 期刊名称：《Theoretical computer science》 | 2008年第3期
- multi-armed bandit;
- nonstochastic bandit;
- countable decision set;
- partial observations;
- reactive environments;
- PREDICTION;
73.Causal set topology

机译：Causal set topology
- 作者：Sumati Surya
- 期刊名称：《Theoretical computer science》 | 2008年第2期
- Space-time;
- Causality;
- Topology;
- Posets;
- Quantum gravity;
74.Rewrite orderings for higher-order terms in eta-long beta-normal form and the recursive path ordering

机译：Rewrite orderings for higher-order terms in eta-long beta-normal form and the recursive path ordering
- 作者：Jouannaud JP.;Rubio A.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
75.A tight analysis and near-optimal instances of the algorithm of Anderson and Woll

机译：A tight analysis and near-optimal instances of the algorithm of Anderson and Woll
- 作者：Grzegorz Malewicz
- 期刊名称：《Theoretical computer science》 | 2004年第3期
- Analysis of shared-memory algorithms;
- PRAM simulations;
- Certified Write-All;
76.Representing scope in intuitionistic deductions

机译：Representing scope in intuitionistic deductions
- 作者：Matthew Stone
- 期刊名称：《Theoretical computer science》 | 1999年第2期
77.Fine hierarchies and m-reducibilities in theoretical computer science

机译：Fine hierarchies and m-reducibilities in theoretical computer science
- 作者：Victor L. Selivanov
- 期刊名称：《Theoretical computer science》 | 2008年第2期
- Hierarchy;
- m-reducibility;
- Topology;
- Logic;
- Computability;
- Complexity;
- Difference hierarchy;
- Fine hierarchy;
- Boolean term Alternating tree;
- k-partition;
- Baire space;
- Baire domain;
- Language;
- ω-language;
- Automaton;
78.An intermediate language for the stochastic simulation of biological systems

机译：An intermediate language for the stochastic simulation of biological systems
- 作者：Roberto Barbuti;Giulio Caravagna;Andrea Maggiolo-SchettiniPaolo Milazzo
- 期刊名称：《Theoretical computer science》 | 2009年第34期
- Multiset rewriting;
- Stochastic simulation;
- Stochastic Calculus of Looping Sequences;
- Stochastic π - calculus;
79.On the computational complexity of determining polyatomic structures by X-rays

机译：On the computational complexity of determining polyatomic structures by X-rays
- 作者：Gardner RJ.;Prangenberg D.;Gritzmann P.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
80.Approximation of the k-batch consolidation problem

机译：Approximation of the k-batch consolidation problem
- 作者：Sung-Pil Hong;Myoung-Ju Park;Soo Y. Chang
- 期刊名称：《Theoretical computer science》 | 2009年第10期
- k-batch consolidation problem;
- Inapproximability;
- Approximation algorithm;
- k-set cover problem;
81.Decidability and syntactic control of interference

机译：Decidability and syntactic control of interference
- 作者：J. Laird
- 期刊名称：《Theoretical computer science》 | 2008年第2期
- Interference control;
- Idealized Algol;
- Game semantics;
- Multitape automata;
82.Computation by 'While' programs on topological partial algebras

机译：Computation by 'While' programs on topological partial algebras
- 作者：J. V. Tucker;J. I. Zucker
- 期刊名称：《Theoretical computer science》 | 1999年第2期
- abstract compatibility;
- topological algebra;
- partial algebra;
- real computation;
83.An improved scheme for set equality testing and updating

机译：An improved scheme for set equality testing and updating
- 作者：Lam TW.;Lee KH.
- 期刊名称：《Theoretical computer science》 | 1998年第2期
84.Fast algorithms for computing Jones polynomials of certain links

机译：Fast algorithms for computing Jones polynomials of certain links
- 作者：M. Murakami;M. Hara;M. YamamotoS. Tani
- 期刊名称：《Theoretical computer science》 | 2007年第3期
- Computational topology;
- Knot theory;
- Combinatorial algorithm;
85.The complexity of equivalence and isomorphism of systems of equations over finite groups

机译：The complexity of equivalence and isomorphism of systems of equations over finite groups
- 作者：Gustav Nordh
- 期刊名称：《Theoretical computer science》 | 2005年第3期
- Graph isomorphism;
- Computational complexity;
- Systems of equations;
- Finite groups;
86.Non-interleaving semantics for mobile processes

机译：Non-interleaving semantics for mobile processes
- 作者：Pierpaolo Degano;Corrado Priami
- 期刊名称：《Theoretical computer science》 | 1999年第2期
- mobile computing;
- operational semantics;
- true concurrency;
87.Improved fault-tolerant sorting algorithm in hypercubes

机译：Improved fault-tolerant sorting algorithm in hypercubes
- 作者：Chen YW.;Chung KL.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
88.PI-CALCULUS, INTERNAL MOBILITY, AND AGENT-PASSING CALCULI

机译：PI-CALCULUS, INTERNAL MOBILITY, AND AGENT-PASSING CALCULI
- 作者：Sangiorgi D.
- 期刊名称：《Theoretical computer science》 | 1996年第2期
89.On the classifiability of cellular automata

机译：On the classifiability of cellular automata
- 作者：Baldwin JT.;Shelah S.
- 期刊名称：《Theoretical computer science》 | 2000年第2期
- Classification;
- Cellular automata;
- Turing machines;
90.On the positional determinacy of edge-labeled games

机译：On the positional determinacy of edge-labeled games
- 作者：Thomas Colcombet;Damian Niwinski
- 期刊名称：《Theoretical computer science》 | 2006年第3期
- Parity games;
- Positional determinacy;
- Winning condition;
91.Proving sequential function chart programs using timed automata

机译：Proving sequential function chart programs using timed automata
- 作者：LHer D.;Marce L.;Le Parc P.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
92.Embedding of meshes in Mobius cubes

机译：Embedding of meshes in Mobius cubes
- 作者：Chang-Hsiung Tsai
- 期刊名称：《Theoretical computer science》 | 2008年第3期
- Mobius cubes;
- Mesh embedding;
- Dilation;
- Expansion;
- Interconnection network;
93.Weighted monadic datalog

机译：Weighted monadic datalog
- 作者：Torsten Stuber;Heiko Vogler
- 期刊名称：《Theoretical computer science》 | 2008年第3期
- Semiring-based logic programming;
- Monadic datalog;
- Unranked trees;
- Weighted tree automata;
94.DYNAMICAL BEHAVIOUR OF COVENS APERIODIC CELLULAR AUTOMATA

机译：DYNAMICAL BEHAVIOUR OF COVENS APERIODIC CELLULAR AUTOMATA
- 作者：Blanchard F.;Maass A.
- 期刊名称：《Theoretical computer science》 | 1996年第2期
95.Local and global cyclicity in free semigroups

机译：Local and global cyclicity in free semigroups
- 作者：Holub S.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
96.Reconstructing polyatomic structures from discrete X-rays: NP-completeness proof for three atoms

机译：Reconstructing polyatomic structures from discrete X-rays: NP-completeness proof for three atoms
- 作者：Chrobak M.;Durr C.
- 期刊名称：《Theoretical computer science》 | 2001年第2期
97.Spatial equilibria of multibody chain in a circular orbit

机译：Spatial equilibria of multibody chain in a circular orbit
- 作者：Anna D. Guerman
- 期刊名称：《Theoretical computer science》 | 2005年第3期
- Multibody system;
- Tether system;
- Formation flying;
- Equilibrium;
- Circular orbit;
98.Simple and flexible detection of contiguous repeats using a suffix tree

机译：Simple and flexible detection of contiguous repeats using a suffix tree
- 作者：Jens Stoye;Dan Gusfield
- 期刊名称：《Theoretical computer science》 | 2002年第2期
- Sequence analysis;
- Repeats;
- Tandem repeats;
- Tandem arrays;
- Suffix tree;
99.Function-dependent teams in eco-grammar systems

机译：Function-dependent teams in eco-grammar systems
- 作者：Watjen D.
- 期刊名称：《Theoretical computer science》 | 2003年第3期
- Formal languages;
- Lindenmayer systems;
- Eco-grammar systems;
100.ARGUMENT REDUCTION BY FACTORING

机译：ARGUMENT REDUCTION BY FACTORING
- 作者：Naughton JF.;Sagiv Y.;Ullman JD.Ramakrishnan R.
- 期刊名称：《Theoretical computer science》 | 1995年第2期

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有出版物经营许可证

客服微信
服务号