(0, 0)-GCM (0, 1)-assignment (0, 1)-matrices 0L array systems 0L language 0L languages 0L system 0L systems 0S derivation relations 0-1 law 0-1 law for algorithmically random sequences 0-1 law under the uniform probability distribution 0-1 laws 0-1 laws by preservation 0-1 laws for fragments of L&infin:ω 0-1 sequences 0-term 1ACM(k) 1S grammar 1S grammars 1-bounded 1-bounded compact ultrametric spaces 1-bounded nets 1-bounded Petri nets 1-cheatable set 1-dimensional RCA 1-DPDA 1-graphs 1-inkdot alternating Turing machines 1-letter terminal alphabeth 1-level restricted 1-NCE graph grammars 1-output slices 1-parity reduction 1-pebble cyclic automata 1-reducible substitution graph 1-retreat-bounded regular picture language 1-safe 1-safe finite Petri nets 1-safe free-choice nets 1-safe nets 1-safe Petri nets 1-solvable tasks 1-tape 1-tape alternating Turing machine 1-tape and 2-tape Turing machines 1-tape ATM's 1-tape Turing machine 1-tape Turing machines 1-truth-table-hard languages 1-Turing reductions 1-turn deterministic pushdown automaton 1-writer m-reader atomic register 1-writer m-reader atomic registers 2 letter alphabet 2 multiple context-free grammars 2λ-calculus 2DFA 2DPDA (2-way deterministic pushdown automaton) 2DST 2DST mappings 2DST mappings on languages 2-adjacent context-free languages 2-AFA 2-alternation bounded ATM 2-asynchronous automata 2-automatic sequence 2-bounded languages 2-categories 2-category 2-cheatable sets 2-clauses 2-colored on-line algorithm 2-coloring 2-coloring hypergraphs 2-colourability of hypergraphs 2-competitive 2-connected 2-connected graph 2-connected graphs 2-connected outerplanar graph 2-context-free languages 2-D alternating finite automata 2-D online tesselation acceptors 2-dimensional 2-dimensional cellular automaton 2-dimensional compatibility of parameter passing and implementations 2-dimensional consecutive sets problem 2-dimensional matching 2-dimensional VASS's 2-dimensional vector addition systems 2-dota 2-edge-connected component 2-functor 2-head finite automata 2-heads 2-label space 2-labelling 2-machine flow-shop problems 2-machine open-shop problems 2-MCFG 2-nd order unification problem 2-NOTA 2-output Boolean networks 2-output combinational networks 2-paperfolding sequence 2-partition 2-pebble automata 2-person domino game 2-rate environments 2-retreat-bounded regular picture languages 2-separated eNCE grammars 2-separated eNCE graph language 2-sorted first order logic 2-structure, labeled ~ 2-structures 2-structures, 2-tape finite automata 2-tape Turing 2-tape Turing machine models 2-tape Turing machines 2-valued 2-valued completeness 2-valued completeness result 2-valued completeness theorem 2-valued consequences 2-valued distance automaton 2-valued logical consequences 2-way deterministic pushdown automata 3 letter alphabet 3D discrete Jordan theorem 3D Jordan property 3D translational motion planning 3D triangular meshes 3-alternation bounded ATM 3-bounded orientation 3-chromatic number 3-colorability 3-colourability 3-competitive 3-competiveness of HARMONIC 3-connected planar graphs 3-connected plane graphs 3-D polyhedral world 3-dimension matching 3-dimensional associative algebras 3-dimensional matching 3-edge colouring pairs of trees problem 3-exact cover 3-infix-outfix 3-infix-outfix code 3-infix-outfix maximal codes 3-pebble automata 3-rate environments 3-regular graph 3-SAT 3-SAT problems 3-satisfiability 3-separated eNCE graph language 3-stage Clos network 3-valued 3-valued completeness result 3-valued completeness theorem 3-valued declarative semantics of Ku¨nen for normal programs 3-valued logic 3-valued logical consequences 4-connected plane graphs 4-connectivity 5NF definition for relational database design 5-bounded acyclic orientation 5-competitive algorithm 5-dimensional vector addition systems 6-bounded acyclic orientation 72 degrees of freedom E´sik Aa¨t-Kaci et al. A2CCS Aanderaa Aanderaa and Rosenberg conjecture Aanderaa-Rosenberg conjecture Abadi Abadi Abadi and Abadi and Lamport Abadi and Manna abbreviated CSS abduction abduction abduction from logic programs abduction model abduction model for logic programming abduction problem abductive abductive abductive hypothesis abductive inference engine abductive logic abductive logic program abductive logic programs abductive reasoning abductive residual hypotheses abductive solutions ABE Abelian Abelian abelian Abelian black-box groups Abelian group Abelian group of actions Abelian group of temporal displacements Abelian groups Abelian groups admitting a universal presentation Abelian lattice-ordered groups Abelian l-groups Abelian monoids Abelian permutation groups Abelian square Abelian squares in a string Abelson Abelson model of distributed computation ABE-problem Abiteboul Abiteboul and Vianu Abiteboul et al. Abiteboul/Vianu's transaction schemas abnormality abnormality of behaviour Abrahamson Abrahamson Abrahamson et al. Abramsky Abramsky's category SProc Abramsky's partial bisimulation Abramsky's proof-as-processes paradigm absence absence of absence of function symbols absence of miracles absence of negation absence of partial deadlocks absence of termination absence of the fixed point properties absolute absolute logics absolute logics of programs absolute program-size complexity absolute representation theorems absolutely free algebras absolutely noncircular attribute grammars absolutely parallel grammars absoluteness absoluteness absorbing absorbing absorbing process absorbing rule absorbing scheme abstract abstract abstract algebra abstract algebraic institutions abstract algebraic software specification abstract automata abstract backward propagation abstract basis abstract characterization theorem abstract common patterns abstract commutation abstract complexity theory abstract compositional abstract compositional equivalence relations abstract compositional semantics abstract compression abstract compression schemes abstract computation path semantics abstract computations as arrows abstract control languages abstract data structures abstract data type abstract data type for defining semantics abstract data type specifications abstract data type system abstract data type systems abstract data types abstract decorations abstract definition abstract design abstract deterministic automata abstract domains abstract dynamic-data types abstract equivalence abstract fairness abstract families abstract families of abstract families of languages abstract families of power series abstract family of languages abstract filter domain abstract flowchart schemes abstract formalism for program terms abstract formalism for program testing abstract formulation abstract forward propagation abstract framework abstract functional dependency structures abstract Go¨del-number abstract geometric automaton abstract grammars abstract grammatical model abstract implementation of logic programming abstract implementations abstract independence structures abstract interpretation abstract interpretation framework abstract language abstract language design abstract languages to define behaviour abstract level abstract machine abstract machines abstract model abstract model of nonsequential systems abstract models abstract models of computation abstract narrower abstract non-algorithmic specifications abstract objects abstract predicates abstract program size complexity abstract programs abstract recursion theory abstract reduction systems abstract relation algebra abstract relational algebra abstract representation abstract resources abstract result abstract rewriting machine abstract search spaces abstract semantic abstract semantic function abstract semantics abstract semiring abstract sheaf theory abstract specification abstract substitution abstract syntax abstract theories abstract theory of data compression abstract treatment of partial correctness logic abstract types abstract types adapted to deterministic algorithmic languages abstract types for programming languages abstract unification abstract unification of elements abstract views abstracting abstracting parts of theories abstraction abstraction abstraction function abstraction homomorphisms abstraction mechanism abstraction mechanisms abstraction of abstraction of a semantic model abstraction of the semantics of an underlying programming language abstraction operation abstraction problems in combinatory logic abstraction rule abstraction rule CFARb abstraction technique abstraction terms abstraction theorem abstractions abstractions abstractive abstractive power of the categorical framework abstractness AC/E systems AC0 AC0 depth AC0 depth-t hierarchy AC0 functions AC0-circuits ACC ACC functions ACC0 class of languages acceleration acceleration of matrix multiplication acceptability acceptability by automata acceptability in program testing acceptability of languages acceptable in exponential time acceptance acceptance by 1ACM(k)'s acceptance by 2-D alternating finite automata acceptance by 2-pebble automata acceptance by a supernonsingular DPDA acceptance by ATM's acceptance by deterministic acceptance by deterministic checking stack automata acceptance by deterministic machines acceptance by finite automata acceptance by multi-pebble automata acceptance by NFA's acceptance by PDA acceptance by pushdown automata acceptance by scanners acceptance by space bounded alternating on-line Turing machines acceptance by STBA's acceptance by systolic acceptance by systolic automata acceptance by systolic tree automata acceptance by the duals of automata acceptance by tree automata acceptance condition acceptance condition of automata acceptance conditions acceptance conditions for control automata acceptance of ω-languages acceptance of ω-languages by deterministic finite automata acceptance of a language by its minimal automaton acceptance of infinite acceptance of infinite trees acceptance of infinite words acceptance of languages acceptance of r.e. sets acceptance of sets of infinite trees acceptance power acceptance power of regular languages acceptance properties of Boolean automata acceptance types acceptation of non-LR(k) grammars accepted ω-languages accepted by Bu¨chi automata accepted by deterministic linear bounded automata accepted by space bounded alternating Turing machines accepted object-oriented data model accepted string accepting computation accepting computations accepting conditions accepting conditions for automata accepting paths accepting power of simple one-way multihead automata accepting powers accepting powers of nondeterministic one inkdot TM's accepting powers of space bounded 2-ATM's accepting powers of SPMHFA's accepting states acceptional power acceptor acceptors acceptors access access probabilities access quorums access structure access time access time for information retrieval access to access to a database access to distributed data structures accessibility accessible mathematical world accessible prefix transition graphs accessible storage accessible term accessing records in a linked list accessing unambiguous computation accidental accidental state transitions accumulations accumulative accumulative divergence accumulators accumulators accuracy accuracy accuracy of computation ACFG acid acids Ackerman Ackermann Ackermann function Ackermann's ACM aconjunctive aconjunctive deterministic normal form for formulae ACP ACP ACP algebra of communicating processes ACP axiom system ACP with abstraction ACP with handshaking communication ACP with silent actions ACPτ ACPτ axiom system ACPτ axioms ACSR ACT ACT action action action alphabets action monoid action monoids action of action of a Cartan subalgebra action of commutativity action of commutativity and approximation action refinements action semantics action semantics expressions action semantics notation actions actions activation activation records active records activities actor actor actor grammars actor systems acyclic acyclic acyclic database schemes acyclic database schemes in relational database theory acyclic deterministic acyclic deterministic automata acyclic deterministic pure grammars acyclic digraph acyclic digraphs acyclic directed graphs acyclic grafts acyclic graphs acyclic hypergraphs acyclic join dependencies acyclic logic programs acyclic network acyclic part of a graph acyclic programs acyclic scheme acyclic submodular functions acyclic views in a database scheme acyclicity acyclicity Aczel Aczel Aczel's anti-foundation axiom Aczel's semantics for SCCS AC-compatible ordering AC-hierarchy AC-RPO ordering AC-symbols AC-unification Ada´mek, Nelson and Reiterman Adámek adaptation adapted adaptive adaptive adaptive adversary scheduler adaptive bounded query machines adaptive comparison searching adaptive information adaptive machine adaptive reducibility ADD operation add operation added features adder adder adding adding arcs adding nondeterminism to parallel machines adding places adding two n-bit numbers addition addition addition chains addition class addition classes addition data flow addition of addition of integers addition of machine real numbers addition of positive independent random variables addition of real numbers additional information additions addition-subtraction chains additive additive additive cellular automata additive complexity additive complexity in directed computations additive complexity of additive complexity of algebraic circuits additive complexity of polynomials additive computation additive constant overhead additive cost in task-trees additive disjunction additive one-dimensional cellular automata additive real machine additive real machines additive scales additively additively cancellative address language address languages address space addresses adequacy adequacy of adequacy of models adequacy of path programs adequacy problem adequacy properties adequacy properties of path programs adequacy-preserving insertion adequacy-preserving transformations adherence adherence equivalence adherence equivalence of D0L languages adherence equivalence problem adherence of adherence of a language adherence of an algebraic language adherence of array languages adherence of D0L adherence of D0L languages adherence of D0L systems adherence of the control set of an array system adherences adherences adherences of languages adic adic system ADJ adjacency adjacency matrices adjacency matrix adjacency matrix of a planar graph adjacency matrix representation adjacency property adjacent adjacent blocks adjacent derivations adjacent processors adjacent vertex adjacent vertices adjoining adjoining an abstract equivalence adjoining optimal realizations adjoint adjoint functors adjoint pair between preorders adjoints adjoints for the inclusion functor adjunction adjunction between frames and topological spaces adjunction of adjunction of functors adjunction of semifunctors adjunctions adjunctions ADJ-group Adleman Adleman and Manders Adler Adler administrative incompleteness admissable heuristic admissibility criterion admissible admissible heuristic admissible heuristic search admissible mappings admissible representations admissible representations of effective cpo's admissible representations of metric spaces admissible sequences ADTS ADTS adult adult languages advantages of probabilistic strategies advantages of probabilistic strategies over deterministic ones adversaries adversaries adversary advice class P/quadratic advice classes advice strings AF AF's AFA AFA AFA's AFA's on trees affine affine affine automata affine monoid affine regular sets affine transformations affinity AFL AFL AFL agreable family of languages AFL operations AFL's AFL's AFL-operations AFP AFP1 AG AG agent agent agent's agent's performance agents agents agents in agents in CCE agents in CCS agent-oriented artificial intelligence agent-passing calculi agent-passing mobility aggregate aggregate aggregate functions aggregate operations aggregate operators aggregate product operator aggregate queries aggregate sum operator aggregate update aggregates aggregates aggregating aggregating teams aggregating teams of learning machines aggregation aggregation aggregation constraints aggregation operators aggregation range constraints aggregation ratios aggregative aggregative closure aggregative closure operator aggregative closure problem aggregative closure query agreable agreable family of languages agreeing pair of morphisms agreements Aho Aho Aho and Corasick Aho et al. Aho, Hopcroft and Ullman Aho, Sagiv and Ullman Aho, Ullman and Yanakakis Aho-Corasick AIP AIP airline Ajtai Ajtai and Fagin AKL AKL Akl Akl et al. Alagar Alagar Alder Alder Aleluinas Aleluinas et al. Alessi Alessi et al. Alexander Alexander method Alexander-ideal ALEXANDRE ALEXANDRE strategy Alexandroff Alexandroff topology Alferes Alferes et al. ALG algebra algebra algebra elements algebra for data structure algebra methods algebra objects algebra of algebra of communicating processes algebra of communicating processes with algebra of communicating processes with abstraction algebra of communicating processes with silent actions algebra of communicating processes with silent steps algebra of concurrent nondeterministic processes algebra of denotations algebra of finite processes algebra of flowcharts algebra of formal algebra of formal languages algebra of formal matrices algebra of functions algebra of generic matrices algebra of infinite trees algebra of Lindenbaum and Tarski algebra of logic programs algebra of meanings algebra of mixed computation algebra of multitree synchronization algebra of multitrees algebra of net expressions algebra of observable equivalence classes algebra of one letter rational expressions algebra of one-letter rational expressions algebra of operations algebra of Petri net concatenable processes algebra of process synchronization algebra of programs algebra of rational trees algebra of regular trees algebra of relations algebra of syntax algebra of the symmetric group algebra of types algebra semantics algebra semantics of algebraic specifications algebra systems algebra with trace algebraic algebraic algebraic abstract data type algebraic abstract data type for defining semantics algebraic abstract data types algebraic abstract types algebraic analogon to domain equations algebraic and algorithmic method for analysing transition systems algebraic approach algebraic approximation algebraic automata theory algebraic axiomatisation algebraic axioms algebraic axioms from samples algebraic based environment algebraic calculi algebraic cell decomposition algebraic characteristics algebraic characterization algebraic characterization of algebraic characterization of behavioral reduction algebraic characterization of frontier testable tree languages algebraic characterization of inference bases algebraic characterization of observational equivalence algebraic characterization of the double-pushout transformation algebraic characterizations algebraic characterizations of complexity classes algebraic characterizations of families of ωZZZsets algebraic characterizations of flowchart schemes algebraic characterizations of monoids algebraic characterizations of transductions algebraic circuits algebraic closure of the ground field algebraic closure operations algebraic coding algebraic compiler algebraic compiler construction algebraic compiler generator algebraic complete partial order algebraic completion algebraic complexity algebraic complexity of rational iteration algebraic complexity theory algebraic computation algebraic computation language algebraic computation tree algebraic computation trees algebraic construction algebraic construction of algebraic construction of compilers algebraic construction of conventional compilers algebraic construction of the syntactic monoid algebraic constructions algebraic cpo algebraic cpo's algebraic criterion algebraic curves algebraic data types algebraic dcpo algebraic decision trees algebraic definition of control structures algebraic denotational semantics algebraic dependencies algebraic dependencies of Yannakakis and Papadimitriou algebraic description of fix algebraic differential equations algebraic domain algebraic domain equations algebraic domains algebraic elimination process algebraic equation algebraic equations algebraic expressions algebraic extension algebraic extension fields algebraic extension of degree n algebraic extension of the λν-calculus algebraic forests algebraic formal power series algebraic formalism algebraic fragment algebraic framework algebraic function algebraic function space algebraic functions algebraic generalized zeta functions algebraic generators algebraic geometric degree algebraic geometry algebraic grammar algebraic grammars algebraic graph algebraic graph grammars algebraic graph rewriting algebraic ground domains algebraic identity algebraic implementation algebraic implementation proofs algebraic implementations algebraic implementations of abstract data types algebraic independence algebraic infinite trees algebraic institutions algebraic interpretation of the λβ k-calculus algebraic language algebraic language theory algebraic languages algebraic languages theory algebraic lattices algebraic laws algebraic L-domains algebraic manipulations algebraic manipulator algebraic mechanisms for language processing algebraic model algebraic model for equivalence of programs algebraic model of software algebraic models algebraic module specifications algebraic modules algebraic number fields algebraic numbers algebraic operators algebraic optimization algebraic optimization framework algebraic optimizaton algebraic partial orders algebraic posets algebraic power series algebraic power series in non-commuting variables algebraic principle algebraic problems algebraic processing algebraic programming algebraic programming language algebraic programming system algebraic proofs algebraic proofs of consistency algebraic proofs of consistency and completeness algebraic properties algebraic properties for separating Chomsky classes algebraic properties of algebraic properties of data types algebraic properties of derivations algebraic properties of infinite trees algebraic properties of structured flowchart schemes algebraic properties of the syntactic monoid algebraic protocols algebraic query languages algebraic relations algebraic rewriting algebraic rewriting systems algebraic semantics algebraic semantics of algebraic semantics of infinitary theories algebraic semantics of specifications algebraic sequences algebraic series algebraic set theory algebraic sets of infinite trees algebraic setting algebraic setting for parallelism algebraic setting for synchronization algebraic signatures algebraic simplification algebraic simplification in computer algebra algebraic software specification algebraic solutions algebraic specifiability of data types algebraic specification algebraic specification formalisms algebraic specification languages algebraic specification of documents algebraic specifications algebraic specifications of algebraic specifications of abstract data types algebraic specifications of concurrent systems algebraic specifications with initial algebra semantics algebraic strategies for Wythoff games algebraic strong normalization algebraic structure algebraic structure for describing hypergraphs algebraic structure of combinatorial problems algebraic structure of transitions algebraic structures algebraic structures for algebraic structures for semantics algebraic structures for transitive closure algebraic structures of boxes algebraic subset algebraic substitution algebraic surfaces algebraic system algebraic systems algebraic technique algebraic term rewriting systems algebraic terms algebraic theories algebraic theories as program specifications algebraic theories of graph grammars algebraic theory algebraic theory of algebraic theory of e´sik algebraic theory of fair algebraic theory of fair asynchronous communicating processes algebraic theory of fair bisimilarity algebraic theory of graph grammars algebraic theory of languages algebraic theory of processes algebraic theory of translation algebraic theory with iterate algebraic tools algebraic topology algebraic transformation algebraic transformation of partial many-sorted unary algebras algebraic translation methods algebraic translations algebraic treatment algebraic types algebraic varieties algebraical algebraical operations for i.s.r. systems algebraically algebraically algebraically closed algebraically closed field algebraically closed fields algebraically closed ground fields algebraically complete categories algebraically complete polynomials algebraically definable functions algebraically defined compilers algebraically specifiable algebraically specified language algebraically structuring algebraically structuring a compiler algebraically structuring the semantic definition of a language algebraicity algebraicity of bi-infinite word languages algebraicly algebraicly complete polynomials algebraize algebraize algebras algebras algebras of binary relations algebras of finite and infinite trees algebras of flowcharts algebras of formal languages algebras of meanings algebras of net expressions algebras of observable equivalence classes algebras of polynomials algebras of process terms algebras of reals algebras of sets of trees algebras of types algebras without rank algebra-based action semantics ALGOL Algol Algol 60-like languages Algol/Pascal family of languages Algol-like language algorithm algorithm algorithm for algorithm for a dynamic problem algorithm for additive complexity algorithm for composition of power series algorithm for constructing DFA's algorithm for counting degree-constrained graphs algorithm for detection of repetitions algorithm for distributed sorting on a systolic ring algorithm for divisibility algorithm for equivalence of algorithm for equivalence of automata algorithm for equivalence of deterministic push-down automata algorithm for equivalence of pushdown tranducers algorithm for factors of a word algorithm for finding algorithm for finding all factors of a language in a text algorithm for finding patterns algorithm for finite subsystems of equations over an alphabeth algorithm for floating point addition algorithm for GAP algorithm for GCD's in rings of integers algorithm for generating shift-register cycles algorithm for Greibach normal form algorithm for information sharing algorithm for leader-election algorithm for membership for picture languages algorithm for minimal algorithm for minimal factor transducers algorithm for minimal nontrivial congruences algorithm for permuting sysmbols algorithm for random generation of polynominoes algorithm for recognizability algorithm for regular set-covering problems algorithm for repetitions in words algorithm for SAT algorithm for set intersection algorithm for shuffles algorithm for SLS representation algorithm for smallest DFA's algorithm for string covers algorithm for st-numbering algorithm for testing Church-Rosser algorithm for testing partial confluence algorithm for the decomposition of semisimple Lie algebras algorithm for the directed subgraph homeomorphism probelm algorithm for the forcing domain of a Boolean network algorithm for the general packet routing problem algorithm for the many function coarsest partition problem algorithm for the multiplication of polynomials over finite fields algorithm for the number of solutions of the σ+-game algorithm for transforming specifications algorithm for transitive closure on acyclic digraphs algorithm for updating minimum spanning trees algorithm of algorithm of Contejean and Devie algorithm of Culik and Harju algorithm of Fortenbacher algorithm of Gabow and Tarjan algorithm of Lipton et al. algorithm of Plaisted and Kapur et al. algorithm of reduction to a canonical form algorithm of Sardinas algorithm on posets algorithm performance on heterogeneous networks algorithm varieties algorithmic algorithmic algorithmic (e.g. combinatorial) problems algorithmic characterization of interior and exterior points algorithmic classes algorithmic complexity algorithmic complexity theory algorithmic content of proofs algorithmic design considerations algorithmic formulae algorithmic graph embeddings algorithmic information theory algorithmic language learning theory algorithmic languages algorithmic logic algorithmic logic for while-programs with nondeterministic assignments algorithmic probability algorithmic problems algorithmic problems in free groups algorithmic problems on graphs algorithmic skeletons algorithmic theories, first-order approximation of ~ algorithmic theory algorithmical algorithmical decidability algorithmically algorithmically constructible context-sensitive language algorithmically random algorithmically random oracle algorithmically random sequences algorithms algorithms algorithms algorithms approximation algorithms algorithms average case analysis of algorithms algorithms controlling concurrent access to a database algorithms detecting degenerate behaviour of differential equations algorithms for algorithms for a dynamic problems algorithms for Abelian permutation groups algorithms for algebraic manipulations algorithms for alignment algorithms for alphabetic trees algorithms for approximate congruence algorithms for approximate location algorithms for arrangements algorithms for associative algebras algorithms for automata automorphism groups algorithms for binary search trees algorithms for bracket abstraction algorithms for butterfly dag computation algorithms for calculating in algebraic extension fields algorithms for canonical forms of circular strings algorithms for changing Gro¨bner bases algorithms for characteristic sets algorithms for checking in the modal nu-calculus algorithms for Church-Rosser algorithms for communication on graphs algorithms for comparison of sequences algorithms for computing minimal types algorithms for computing repetitions algorithms for comunication protocols algorithms for consistency algorithms for constant propagation algorithms for continued fractions algorithms for cube dag computation algorithms for cycle detection algorithms for D0L algorithms for D0L system equivalence algorithms for D0L systems algorithms for data compression algorithms for dataflow analysis algorithms for deadlock detection algorithms for deciding algorithms for deciding equivalence algorithms for deciding functional equivalence algorithms for deciding whether a monoid is a group algorithms for decision problems algorithms for decoding algorithms for Delaunay diagrams algorithms for dense matrix multiplication algorithms for detecting beta-cycles algorithms for differential bases algorithms for digital search trees algorithms for Diophantine equations algorithms for distinguishing bit-strings algorithms for distributed sorting algorithms for DNA sequences algorithms for DTML algorithms for dynamic programming algorithms for edge algorithms for edge colouring algorithms for edge edge labelling algorithms for enforcing relational cosistency algorithms for enumerating reliable axioms algorithms for equivalence algorithms for equivalence problems algorithms for evaluation of graph-like expressions algorithms for extremal paths algorithms for E-unification algorithms for factorization of polynomials algorithms for Fibonacci numbers algorithms for finding algorithms for finding a leader algorithms for finding Fibonacci numbers algorithms for forest matching algorithms for form equivalence algorithms for generalized satisfiability problems algorithms for generating algorithms for generating codes algorithms for generating concepts algorithms for generating finite-state automata algorithms for generating graphs algorithms for generating large primes algorithms for generating ordered trees algorithms for generating trees algorithms for graph algorithms for graph colouring algorithms for graph display algorithms for graph embeddings algorithms for graph partioning algorithms for Hamiltonian cycles algorithms for Hermite canonical form algorithms for heuristic search algorithms for identification of programs algorithms for inclusion algorithms for inclusion of tree transformation classes algorithms for inclusion star height algorithms for inference algorithms for inference bases algorithms for insertion and deletion in skip lists algorithms for integer multiplication algorithms for interactive models algorithms for intersection of halfspaces algorithms for intersections in free groups algorithms for knapsack problems algorithms for language manipulation algorithms for largest trees in graphs algorithms for lattice basis reduction algorithms for LCS algorithms for leader election algorithms for learning algorithms for Lie algebras algorithms for linear Diophantine systems of (in)equations algorithms for Liouvillan solutions algorithms for logic resolution algorithms for matching algorithms for matrix algorithms for matrix computations algorithms for matrix multiplication algorithms for maximal algorithms for maximal codes algorithms for maximal flow algorithms for maximal network flow algorithms for maximum matching algorithms for membership for algorithms for membership for FD's algorithms for membership for MVD's algorithms for membership-inclusion testing algorithms for merging algorithms for metrical task systems algorithms for minimal nontrivial congruences algorithms for minimization of algorithms for minimization of deterministic automata algorithms for minimization of sequential transducers algorithms for minimum algorithms for minimum cut algorithms for minimum length tree layout algorithms for misère play algorithms for modal resolution algorithms for modes of multisets algorithms for mutual exclusion algorithms for necklace tours algorithms for normal hulls in free groups algorithms for optimal algorithms for optimal alphabetic trees algorithms for optimal placement of resources algorithms for optimum search trees algorithms for orders algorithms for parallelizing database transactions algorithms for parsing algorithms for partial recursive functions algorithms for pattern matching modulo transformations algorithms for permutation routing algorithms for permuting the symbols of an input string algorithms for planar algorithms for planar layouts algorithms for planar region location algorithms for plane representations algorithms for polynomials and matrices algorithms for priority queues algorithms for products in algebras algorithms for products of polynomials algorithms for products of polynomials modulo a polynomial algorithms for program synthesis algorithms for pseudo-linear algebra algorithms for query answering algorithms for querying databases algorithms for random generation algorithms for rational approximation algorithms for reachability algorithms for reachability and connectivity algorithms for reachability graphs algorithms for reactive systems algorithms for realization of dynamical systems algorithms for recognition algorithms for recognition of orders algorithms for recognition problems algorithms for recognizing transductions algorithms for reduced lattice bases algorithms for relative inclusion star height algorithms for representation of graphs in the plane algorithms for representing orders algorithms for routing algorithms for routing on algorithms for routing on graphs algorithms for routing on trees algorithms for satsifiability algorithms for scheduling algorithms for search games algorithms for searching algorithms for segmentation algorithms for selection algorithms for semigroups of matrices algorithms for semi-unification algorithms for sensitivity analysis algorithms for separators in a graph algorithms for sequence comparison algorithms for shift equivalence of polynomials algorithms for shortest common superstring algorithms for singualrity of deterministic pushdown automata algorithms for solving algebraic equations algorithms for sorting algorithms for spanning trees algorithms for sparse polynomials algorithms for speech recognition algorithms for Sprague-Grundy functions algorithms for squares in a string algorithms for string algorithms for string matching algorithms for string searching algorithms for string-matching algorithms for st-numbering algorithms for subdirect decomposition algorithms for subgraph isomorphism algorithms for subtyping and typechecking algorithms for task-trees algorithms for term matching algorithms for testing whether a groupoid is a group algorithms for the algorithms for the BRC property algorithms for the closure of a matrix algorithms for the counterfeit coin problem algorithms for the decomposition of polynomials algorithms for the discrete Fourier transform algorithms for the equivalence algorithms for the equivalence probelm of attribute systems algorithms for the equivalence problem of attribute systems algorithms for the full matrix equivalence probelm algorithms for the implication problem algorithms for the intersection of polyhedra algorithms for the K-selection problem algorithms for the minimum weighted dominating clique problem algorithms for the order of regular events algorithms for the segmentation of images algorithms for the shortest superstring problem algorithms for the synthesis problem algorithms for the zeros of recurrent sequences algorithms for trace languages algorithms for transforming algorithms for transforming programs algorithms for transforming sparse matrices algorithms for transversals algorithms for tree node enumeration algorithms for trees algorithms for type inference algorithms for unification algorithms for updating algorithms for varying data structures algorithms for Voronoi diagrams algorithms for weighted matching algorithms for word algorithms for word functions algorithms for word problems algorithms from proofs algorithms implementations for algorithms in differential algebra algorithms in search games algorithms of algorithms of generation algorithms of Lehmann and Rabin algorithms of structural synthesis algorithms on strings and arrays algorithms on trees algorithms to factorize polynomials algorithms to partition algorithms vs. circuits algoritms for finding transversals alignment alignment of sequences alignment of trees alignment problem alignments all bidirectional edges-problem all pairs all pairs reachability all pairs shortest paths &all;∃-theory of Rp−T Allen Allender Allender Allender and Strauss allocation allocation allocation of allocation of arguments allocation of jobs allocation problems under allocation problems under minmax allocation problems under minsum allocation schemes allocation steps Allouche Allouche et al. allowable forms allowable forms of proofs allowable sets of computation paths allowed database allowed formula allowed operators allowment allowment of possibility for a hypothesis all-axiom algebraic grammars all-bidirectional-edges all-covers problem all-pairs shortest-path problem all-zero word almost almost all oracle sets almost confluent system almost cylindrical languages almost everywhere almost everywhere complexity almost everywhere continuous function almost everywhere difficult to decide almost optimal circuits almost orthogonal rewriting systems almost periodic almost periodic recognizable sets almost periodic sets almost polynomial time almost P-immune almost surely almost uniform generation almost-confluent Thue almost-confluent Thue system almost-equal-delay race model almost-everywhere complexity hierarchies almost-everywhere complexity hierarchy almost-R complexity classes ALNA ALNA Alna ALOGTIME ALOGTIME-uniform setting ALOGTIME-uniform set-theoretic/algebraic characterizations ALOHA ALOHA ALOHA collision resolution algorithm ALOHA resolution algorithm Alonso Alonso (α, k)-machine α0-ν1-products of automata α0-products ,1490 α-η convertible α-acyclic scheme α-recursion alphabet of the alphabet of the actions alphabet of the synchronization alphabeth alphabeths alphabetic alphabetic alphabetic homomorphism alphabetic homomorphism theorem alphabetic homomorphism theorem for hyper-algebraic extensions alphabetic homomorphisms alphabetic morphism alphabetic morphisms alphabetic transductions alphabetic tree alphabetic tree problem alphabetic tree relations alphabetic trees alphabetical alphabetical FIFO nets alphabets alphabets alpha-congruence alternating alternating alternating alternating 1-inkdot Turing machines alternating automata alternating automata on infinite trees alternating bit protocol alternating cellular automata alternating complexity classes alternating computations alternating context free grammar alternating context free languages alternating context-free alternating context-free grammar alternating context-free grammars alternating context-free languages alternating decision trees alternating finite alternating finite automata alternating finite automaton alternating fixpoints alternating log space alternating logspace hierarchy alternating machine alternating machines alternating machines with universal states only alternating model alternating multicounter machines alternating multihead finite automata alternating multi-stack-counter automata alternating occurrences alternating one-way top-down automata alternating on-line Turing machines alternating pushdown automata alternating pushdown automaton alternating quantification alternating simple multihead finite automata alternating simple multihead finite automaton alternating time alternating time-space complexity alternating TM alternating tree automata alternating Turing machine alternating Turing machine with only universal states alternating Turing machine with ony universal states alternating Turing machines alternating Turing machines with a bounded number of alternations alternating two-way finite alternating two-way finite automata alternating two-way finite tree automata alternating two-way pushdown tree automata alternation alternation alternation between universal and existential states alternation depth alternation versus alternation versus determinism alternation versus nondeterminism alternations alternations alternations of max and min alternations on inputs alternative alternative alternative characterization of sequential functions alternative composition alternative model theories alternative operator alternatives alternatives Alton Alton Alur Alur and Dill always operator always operator in temporal logic AM AM AM = MA amalgamated amalgamated product amalgamation amalgamation ambiguities ambiguities ambiguity ambiguity ambiguity behavior ambiguity degree two ambiguity in E0L systems ambiguity of ambiguity of a grammar ambiguity of context-free languages ambiguity of E0L languages ambiguity of finite automata ambiguity of nondeterministic finite acceptors ambiguity of number systems ambiguity of pushdown tranducers and acceptors ambiguity problem ambiguity problem for context-free languages ambiguity problems ambiguity question ambiguity question for context-free languages ambiguous ambiguous ambiguous E0L languages ambiguous E0L systems ambiguous grammar ambiguous language ambiguous languages ambiguous product ambiguously ambiguously covered Ambos Ambos-Spies Ambos-Spies et al. America America and Rutten amino amino acids Amir Amir amortization amortization argument amortized amortized amortized complexity amortized efficiency amortized time amortized time complexity an implementation space depth in analog analog analog automata analog automaton model analog circuits analog computation analog devices analog environment analog machines analog networks analog shift map analogical analogical analogical correspondence analogical program derivation analogical programming analogical reasoning analogon analogon to domain analogue analogue of Pin's result analogues analogy analogy calculus analogy correspondence analogy matching method analyses analysing analysis analysis efficiency analysis of analysis of algorithms analysis of formal proofs analysis of text analysis of worst case analytic analytic analytic estimates of the complexity of node searches analytic functions analytic models analytic number theory analytic properties analytic results analytic structure analytic system analytic tableaux analytical analytical hierarchy analytical systems analytical techniques anamorphism anamorphisms anamorphisms ANC ancestor ancestors and complete semantics AND gates and rational expressions of and/or graph accessibility problem AND/OR graphs and/or special purpose databases AND/OR/NOT circuits ∧-nodes ∧-words Anderaa Andre´ka Andre´ka and Ne´meti Andre´ka Ne´meti and Sain Andre´ka, Ne´meti and Sain Andréka Andrews Andrews AND-compositional program analysis AND-control automata AND-gate AND-gates AND-OR causality Anf Anf language operator angelic angelic choice angelic nondeterminism angels angels angle Angluin Angluin Angluin characterization of learnable families Angluin machine learning algorithm Angluin's learning algorithm Angluin's learning family of languages Anguin angular angular 2-structures animals animals annealing annealing annotate state-transition graphs annotated annotated atoms annotated logics annotated nonmonotonic rule systems annotated program transformations annotated programs annotating state-transition graphs annotations method anomalies anomalies anomalies in programs anomalous anomalous learning anonymous anonymous anonymous network anonymous wireless rings answer constraints answer set semantics answer substitutions antichains antichains anticovers anticovers Antimirov Antimirov antipodes antipodes antirandomization antirandomization anti-Dyck generator anti-exceedance anti-exceedance distribution anti-exceedance statistic anti-foundation axioms anti-founded model for SCCS APA APA-net APDA APDA aperiodic aperiodic aperiodic cellular automata aperiodic monoids aperiodic rational relation aperiodic real trace languages aperiodic semigroups aperiodic tasks aperiodic trace languages aperiodic word aperiodicity aperiodicity apex apex eNCE graph apex eNCE graph grammars apex eNCE graph language Apostolico Apostolico Apostolico and Giammarresi and Restivo Apostolico and Giancarlo Apostolico et al. Appel Appel and Haken applicability applicability conditions applicability of productions applicability of Valiant's equivalence decision procedure application application condition application fields application of completion application operator application perturbation applications applications of open ear decomposition applications to polynomial evaluation applicative applicative bisimulations applicative language applicative programming language applicative structure applied calculus approximability approximability approximability classes depending on relations and constraints approximability of finding maxima approximability of the highest degree subgraph problem approximability properties of NPOP's approximability results approximability schemes for NPOP's approximable approximable approximable mappings approximable problems approximable relations approximant approximants approximants approximate approximate approximate algorithm for matrix multiplication approximate algorithms approximate answer substitutions approximate array matching approximate complexity approximate complexity analysis approximate computations approximate congruence approximate consensus approximate counting approximate counting of colourings approximate counting problem approximate decision procedures approximate dependency inference approximate geometric sorting approximate greedy algorithms approximate identification of regular languages approximate inference approximate Newton iteration approximate occurrences of patterns approximate parallel computation approximate programs approximate searches approximate solution approximate string matching approximate string matching problem approximate string-matching approximate string-matching algorithm approximate symmetry approximate testing approximate testing of concepts approximate tree automorphisms approximate zero approximately approximately approximately regular languages approximately testable concept class approximating approximating approximating CCP programs approximating elements approximating location problems approximating Markov chains approximating Markov chains by deterministic models approximating sets approximating sets with equivalence relations approximating shortest superstrings approximation approximation approximation algorithm approximation algorithm for approximation algorithm for clustering approximation algorithm for TSP approximation algorithms approximation algorithms for approximation algorithms for arithmetic combinatorial problems approximation algorithms for weighted matching approximation by approximation by circuits approximation by computation trees approximation by enrichment approximation by rational functions approximation class approximation classes approximation degree approximation errors approximation given by an interpreter approximation in approximation in databases approximation in graph algorithms approximation in terms of queries approximation induction principle approximation measure approximation model approximation models approximation of approximation of algebraic numbers approximation of an expression in a model approximation of Boolean functions approximation of irregular meshes approximation of languages approximation of longest common factor approximation of nonlinear dynamic systems approximation of polynomials approximation of rectangular meshes approximation of solutions of polynomial equations approximation of tensors approximation of the stable core approximation order approximation preserving approximation preserving reducibilities approximation problem approximation problems approximation properties approximation properties of abstract data types approximation ratio approximation sequence approximation space approximation spaces approximation technique for NP-hard problems approximation techniques approximation tests of approximation tests of cocircularity approximation tests of collinearity approximation theory approximation to a metacircular interpreter approximations approximations approximations of NPOP's approximations to NP-complete problems approximation-preserving reductions approximative approximative approximative algorithm approximative complexity approximative model approximative triadic decompositions approximative triadic decompositions of tensors aproximation APS APS APT APT Apt Apt Apt and van Emden Apt Blair and Walker Apt Bol and Klop APX APX arbiter arbiters arbiters arbitrarily complex languages arbitrarily complex minimal pairs arbitrarily large prime programs arbitrary fan-in arbitrary fan-in arithmetic computations arc arc geography architectural architectural clusters for parallel machines architecture architecture architectures architectures arcs arcs arctical arctical semiring area complexity area complexity of area complexity of Boolean circuits area complexity of merging area complexity of sorting area inclusion order area-time area-time squared area-time tradeoffs area-time trade-offs argument reduction argument selection argument subexpressions argument tuples Aristotle Aristotle's Aristotle's syllogisms arithmetic arithmetic arithmetic circuit depth arithmetic circuits arithmetic complexity arithmetic formula arithmetic functions arithmetic gates arithmetic hierarchy arithmetic hierarchy of formulas arithmetic hierarchy of formulas in prenex normal form arithmetic machine models arithmetic model of computation arithmetic of arithmetic of matrices arithmetic of reversed positional games arithmetic of Sturmian words arithmetic on semirings arithmetic operations arithmetic plane arithmetic progression arithmetic properties of the integers arithmetic sequences arithmetic straight-line programs arithmetic strategies for arithmetic strategies for winning Wythoff games in mise´re play arithmetic strategies for Wythoff games arithmetical arithmetical arithmetical axiomatization arithmetical axiomatizations arithmetical characterization of NP arithmetical combinatorial problems arithmetical completeness arithmetical completeness of Harel arithmetical complexity arithmetical constraints arithmetical formula arithmetical fragment arithmetical functions arithmetical hierarchy arithmetical operations arithmetical queries arithmetical set arithmetical theories arithmetically arithmetically complete and sound proof systems arithmetics arithmetics arities arity arity Armstrong Armstrong relation Armstrong relations Arnborg Arnborg Arnold Arnold Arnold and Arnold and Dicky Arnold and Nivat Arnold's monoid Arnold's syntactic congruence Arnold-Dicky's saturating homomorphisms Arqu Arquès arrangement arrangement of distinct objects on a circle arrangements arrangements of curves arrangements of curves in the plane array array array assignment instructions array assignments array assignments in dynamic logic array automata array language array languages array maintenance problem array matching array matching problem array of array of finite-state machines array of read-only memory array pattern matching array server array systems with control array values arrays arrays arrays arrays as graphs arrays of processors arrival arrival and departure instants arrival instant measures arrival instants arrival permutations arrival time arriving arriving bit arriving customers arriving tasks arrows arrows arrows abstract computations Arsac Arsac Arthur Arthur-Merlin hierarchy articulation articulation points artificial artificial intelligence artificial intelligence applications artificial neural networks Artin Artin local rings Artin-Schreier curves ascceptors ascceptors with outputs ascending ascending ascending chain in a poset ascent Ashcroft Ashcroft Ashcroft and Manna Ashenhurst Ashenhurst decomposition Ashenhurst decomposition of switching Ashenhurst decomposition of switching functions Askey Askey-Gasper inequality ASL ASL ASL-like kernel language for structured specifications ASPACE ASPACE Asperti Asperti ASPMHFA ASPMHFA ASPMHFA's assemblies assembly Asser Asser's Asser's problem asserted program assertion assertion graphs assertion language assertion method for logic programs assertion semantics assertional assertional assertional categories assertional proof system assertional reasoning assertional s-rings assertions assertions about programs assigning assigning probabilities to arguments assigning semantics to a class of statements assigning subtasks assignment assignment assignment of tasks to processors assignment of types to variables assignment problem assignment problem without deadlines assignment statement assignment statements assignment systems assignments assignments assignments to while-programs assisted program construction associated language of a Turing machine associative associative associative algebras associative multiplication problems associative-commutative function symbols associative-commutative properties associativity associativity associativity of disjunction associativity result for network construction assumption of orthogonality assumption/guarantee specification assumption-based reasoning asteroidal asteroidal triple-free graphs asymmetric asymmetric asymmetric conflict asymmetric confusion asymmetric Hopfield model asymmetric Hopfield net asymmetric interunit connections asymmetric multiway digital search tree asymmetric switch asymmetric treatment of input and output asymmetrical asymmetrical types of influence asymmetry asymmetry index asymptotic asymptotic asymptotic acceleration of matrix asymptotic acceleration of matrix multiplication asymptotic acceleration of matrix operations asymptotic analysis of list structure properties asymptotic approximations asymptotic average length asymptotic behavior asymptotic behavior of asymptotic behavior of networks asymptotic behavior of the unstable queue asymptotic behaviour asymptotic behaviour of asymptotic behaviour of complexity measures asymptotic behaviour of discrete systems asymptotic birth-and-death equations asymptotic complexity asymptotic complexity of asymptotic complexity of matrix multiplication asymptotic complexity of rectangular matrix multiplication asymptotic cost of the standard Gaussian elimination algorithm asymptotic densities asymptotic distribution of search cost asymptotic distributions asymptotic efficiency asymptotic equality asymptotic estimates asymptotic estimations asymptotic estimations of the number of prefixes in free partially commutative monoids asymptotic evaluation of the average cost asymptotic expansion asymptotic expansions asymptotic expression asymptotic forms asymptotic formula asymptotic improvements asymptotic limiting distribution asymptotic lower and upper bounds asymptotic lower bounds asymptotic methods asymptotic model asymptotic normal distributions asymptotic optimal HEAPSORT algorithm asymptotic probabilities asymptotic probabilities of sentences asymptotic properties of keys asymptotic representations of solutions asymptotic results in combinatorics asymptotic solution asymptotic theory asymptotic time complexity asymptotic worst-case analysis asymptotically asymptotically optimal asymptotically optimal algorithms asymptotically optimal on-line algorithm asymptotically optimal parallel algorithms asymptotically optimal sequential algorithms asymptotically work-optimal asymptotics asymptotics asymptotics of asymptotics of insertion costs asymptotics of the average length of maximum common subsequences asynchronous asynchronous asynchronous agents asynchronous approach asynchronous arbiter problem asynchronous automata asynchronous behavior asynchronous behaviour asynchronous cellular automata asynchronous cellular automata accepting trace languages asynchronous cellular Bu¨chi automata asynchronous circuits asynchronous communicating processes asynchronous communication asynchronous composition asynchronous computation asynchronous control modules asynchronous distributed systems asynchronous environment asynchronous interaction asynchronous model asynchronous ND automata asynchronous parallel asynchronous parallel algorithms asynchronous parallel automata net asynchronous parallel automata nets asynchronous parallel composition asynchronous parallel product asynchronous parallel programs asynchronous parallel systems asynchronous parallelism asynchronous PRAM asynchronous probabilistic systems asynchronous processed jobs asynchronous processes asynchronous programming constructs asynchronous reduction process asynchronous rings of processors asynchronous semantics asynchronous shared memory systems asynchronous systems asynchronous threshold logic networks asynchronous transition systems asynchronously asynchronously in parallel operating processes asynchrony asynchrony asynchrony calculus asynchrony of the output operation AT2 bound Atiya Atkinson Atkinson algorithm for towers of Hanoi problem ATM ATM ATM with modified acceptance ATM's ATM's ATMs atom atom atomic atomic atomic actions atomic actions for CCS atomic Boolean algebras atomic data types atomic database updates atomic events atomic formulae atomic formulas atomic instructions atomic normal form atomic normal form DPDA's in atomic pieces of patterns atomic programs atomic register atomic schemes atomic semicommutations atomic statements atomic terms atomic tests atomic updates atomic values atomicity atomicity atomicity assumption atomicity assumptions atomicity of transaction executions atomicity properties atomless atomless Boolean algebras atoms atoms atoms in a Boolean algebra atoms of a lattice ATP ATP attainable states Attiya attraction attraction basins attractor attractor attribute attribute attribute evaluation attribute grammar attribute grammars attribute models attribute models of formal languages attribute set attribute sets attribute system attribute tree attribute values attributed graphs attributed tree attributed tree grammars attributed tree transducers attributes attributes attribute-oriented induction method Aubin Aubin auditing auditing auditing for databases audits audits augmentation augmentation augmented augmented counter machines augmenting augmenting Horn-clause logic Ausiello Ausiello and Moscarini Autebert Autebert et al. authentication authentication problem authentication problem of Diffie and Hellman authorized authorized # tiles authorized parallelism autocorrelation autocorrelation coefficient autodistance autodistance of words autodistances autodistances autoepistemic autoepistemic autoepistemic logic autoepistemic semantics autoepistemic translations automata automata automata associated with varieties of finite monoids automata Bu¨chi automata automata boustrophredonic automata causal automata automata Cayley automata automata cellular automata automata chain automata automata classes of automata automata complete classes of automata automata for ω-languages automata from regular expressions automata languages automata networks automata of logic programs automata on free products of monoids automata on infinite trees automata on trees automata on words indexed by ordinals automata over a finite semigroup automata recognizing almost periodic sets automata synchronizers automata synchronizers syntactic near rings of automata automata synchronizers tessellation automata automata theory automata theory for two-person games automata with automata with bounded automata with bounded behaviour automata with bounded delay automata with concurrency relations automata with distance functions for string-matching automata with distributed control automata with finite transformation semigroup automata with infinite states automata working on trees automata-free description automata-free description of Wagner's fine structure automata-like regular expressions automated automated automated deduction automated deduction methods automated deduction systems automated design of reactive system algorithms automated finite-state verification automated learning automated manufacturing of woven fabric automated proof automated reasoning automated reasoning with equality automated strategy automated symbolic computation automated symbolic computations automated techniques automated theorem proving automated theorem-proving program Automath Automath-like systems automatic automatic automatic analysis of programs automatic average-case analysis of algorithms automatic compiler generation automatic construction of type checkers automatic derivation of formulas automatic differentiation automatic generation of automatic generation of finite-element code automatic generation of invariants automatic generation of receivers automatic improvement automatic improvement of performance automatic inductive theorem proving automatic parallelisation of sequential programs automatic parallelization automatic program automatic program synthesis automatic program transformations automatic proof automatic proof construction automatic proof procedures automatic proving of geometric structure automatic real number automatic reals automatic reasoning automatic search automatic self-stabilization automatic sequence automatic sequences automatic synthesis automatic unfolding algorithm automatic uniform synthesis paradigms automatic verification automatic verification tools automatic word automaticity automaticity automaticity of double sequences automating automating automating mildly complex proofs automating the construction of programs automation automation of program automation of program optimization automation of program proofs automatized automatized program synthesis automatizing automatizing termination proofs automaton automaton automaton controlled IFS automaton deterministic with respect to the input automaton models automaton of a automaton of a complement automaton of a union automaton of an automaton of an FTR language automaton of an intersection automaton of vector fields automaton process automaton size automaton with concurrency relations automaton with registers automaton-definable relations automorphism automorphism group automorphism group of context-free graphs automorphism groups automorphism groups of automata automorphism groups of hypermaps automorphisms automorphisms autonomous autonomous actions autonomous agents *-autonomous categories autonomous deductive system autonomy autonomy of choices auto-concurrency auxiliary assertions auxiliary delay variables auxiliary invariants auxiliary process algebra operators auxiliary processors auxiliary space auxiliary theorems availability of high level declarative query languages availability of high-level declarative query languages Avalon Avalon system average average average behaviour of algorithms average case average case algorithm average case analysis of algorithms average case complexity average case cost average case deterministic parallel comparison complexity of merging average case model for linear optimization average case performance average case randomized parallel comparison complexity of merging average complexities average complexities of update and retrieve transactions average complexity average complexity of digital search trees average complexity of transactions average cost average cost of operators average costs average fan-out average information rate average length average length of the k-th longest cycle in a permutation average message complexity values average number average number of average number of iterations average number of multiplications average number of prefixes average number of rebalancing operations average number of slots average parallelism average path length average polynomial time average polynomial time complexity average running time average running time behaviour average service times average size average size of an inductive function average time complexity averages averages of inter-arrival times average-case average-case analysis average-case analysis of average-case analysis of algorithms average-case analysis of MAT average-case analysis of search games average-case complexity average-case complexity theoretic arguments average-case computation time average-case computational complexity average-case pattern matching average-case running times AVL AVL trees avoidable avoidable patterns avoidable words avoidance of avoidance of deadlock avoidance of divergence avoiding slack variables aware Awerbuch Awerbuch Axiom Axiom axiom axiom Axiom computer algebra system axiom of choice axiom scheme axiom schemes axiom system axiom system # axiom system ACPτ axiom system ACPε axiom system BPAε axiom system for equalities between rational sets axiom system for rational sets with axiom system for rational sets with multiplicities axiom system PA axiom systems axiom word axiomatic axiomatic axiomatic approach to specification languages axiomatic characterization axiomatic characterization of stable semantics axiomatic characterization of system behaviour axiomatic definition of axiomatic definition of context-free rewriting axiomatic definition of interpretation axiomatic definition of processes axiomatic formulation of closed semirings axiomatic framework axiomatic model axiomatic process semantics axiomatic proof formalism axiomatic properties of pomsets axiomatic semantics axiomatic semantics for axiomatic semantics for CSP axiomatic semantics for standard pure Prolog axiomatic theory of axiomatic theory of sets axiomatic theory of the noninterleaving behaviour of Petri nets axiomatic treatment axiomatic treatment of recursive function theory axiomatic treatment of restriction axiomatically axiomatically based based calculus of operations axiomatically based calculus of operations axiomatisation axiomatizability axiomatizability of first-order temporal logic axiomatizable axiomatization axiomatization axiomatization for axiomatization for extended computation tree logic axiomatization for proving properties of programs axiomatization for timed bisimulation axiomatization in LCF axiomatization of axiomatization of a first order logic of effects axiomatization of aggregation constraints axiomatization of algebras of processes axiomatization of behavioural equality axiomatization of concatenable processes axiomatization of metric temporal logic axiomatization of PDL axiomatization of systolic systems axiomatization of temporal logic axiomatization of tests axiomatization of the properties of a total space axiomatizations axiomatizations axiomatizations of axiomatizations of algorithmic logic axiomatizations of arithmetic axiomatizations of concurrent dynamic logic axiomatizations of dynamic logic axiomatizations of logics of programs axiomatizations of temporal logic axiomatized axiomatized repetition axioms axioms axioms for axioms for a axioms for a CTS axioms for a parallel programming language axioms for ACPτ axioms for action alphabets axioms for admissible representations axioms for combinations of theories axioms for communicating processes axioms for feedback axioms for Go¨del numberings axioms for general logic programs axioms for iteration theories axioms for language matching axioms for mixed computation axioms for module components axioms for processes axioms for reasoning about combinations of dependencies axioms of axioms of computation axioms of Euclidean geometry axioms of iteration theories axioms of relational algebra axis axis-parallel rectangles Axt Axt generalized hierarchy Ayer Ayer Ayers Ayers A-LAGs a-product a-quotient A-semilinear a-space Be´zout inequality Be´zout's theorem Bo¨hm Bo¨hm and Jacopini Bo¨hm model of the lambda calculus Bo¨hm-Berarducci embedding Bo¨hm-like models Bo¨hm-trees of λ I-terms Bu¨chi Bu¨chi acceptance Bu¨chi acceptance condition Bu¨chi automata Bu¨chi's second-order formulas Bu¨chi's theorem Bu¨chi-like theorem Bu¨chi-McNaughton theorem B+-trees Babai Babai's Babai's Arthur-Merlin hierarchy Bach Bach Bachmair Bachmair background knowledge backoff backtracking backtracking backtracking facilities backtracking type Backus Backus's Backus's functional programming system backward backward backward chaining backward determinism backward deterministic backward deterministic cellular automata backward deterministic CM's backward modalities backward movement backward propagation back-of-the-envelope timing diagrams Baeten Baeten Baeten and Bergstra Baeten et al. bagdomain bagdomain bagdomain construction bagdomain theme bags bags Bainbridge Bainbridge dinatural approach to modelling polymorphic types Baird Baird Baire Baire Baire category Baire category analogue Baire category theorem Baire metrics Baire property Baire space Baker Baker Baker and Book Baker and Selman Baker et al. Baker's algorithms Baker's method Baker's theory of parameterized string matching Baker's theory of parametrized string matching Baker, Gill and Solovay Bakker balance balance balance of balance of many-valued transductions balance of two morphisms balance property balance property of Patricia tries balanced balanced model balanced probability model balanced trees balancedness balancedness of digital trees balancing balancing Balc Balca´zar Balca´zar et al. ballistics ballistics balls Balzer Balzer Banach Banach's fixed point theorem banana Banâtre Banâtre and Le Me´tayer Bancilhon Bancilhon and Paredaens banded matrix bandwidth bandwidth bandwidth constrained NP-complete problems bandwidth constraints bandwidth minimization bandwidth of bandwidth of communication lines bandwidth of graphs bandwidth of well-formed formulae bandwidth restricted satisfiability bandwidth restrictions Banyan Banyan network Banyan networks barbed barbed bisimulation barbed equivalence barbed semantics Barendregt Barendregt Barendregt et al. Barendregt and Myhill Barendregt's Barendregt's cube Barkaton Barkaton and Jung Barnard Barnard and Cordy Barnsley Barnsley's Barnsley's IFS method Barrett Barrett's Barrett's fixed point theory Barrington Barrington Barrington Immerman and Straubing Barrington's Barrington's M-program model Barua Barua Barzdin Barzdin Bar-On Bar-On and Vishkin BAS BAS BAS mechanism Basarab Basarab based algebraic cpo's based semantics baseline baseline network baseline networks baseline-equivalent multistage interconnection networks bases bases bases for bases for free Lie algebras bases for Hamming codes bases of bases of Boolean functions bases of components of a net bases of integers bases of number systems bases of right sub-KA-modules bases of two input Boolean functions bases of two-input Boolean functions bases of unifiers base-k expansion of n basic basic 2-structures basic Bessel functions basic block optimization basic categorial grammars basic combinators basic completion basic components of a net basic concepts basic decision problem basic elements of temporal logic basic Euclidian operations with compass and ruler basic families of recognizable sets basic functions basic monotone Boolean NP-complete functions basic operations basic operations on natural languages basic parallel processed jobs basic parallel processes basic PRAM basic progam equivalences basic program equivalences basic programs basic properties of 2-structures basic recursive function theory basic semantics basic sets basic sets of assumptions basic subclasses basics of bounded languages basin basin of attraction basins basis basis conversion method Batcher Batcher's Batcher's bitonic sorting network batteries batteries of tests battery battery of tests Baudet Baudet and Chen Baunwall Baunwall, Bertelsen and Weibel Bayesian Bayesian network Bayesian network inference algorithms BC BC inference BCm inference BCD BCD type assignment system BCD-system BCF BCF BCF languages BCH BCH codes BCI BCI-logic BCK BCK logic BCK-λ-terms BCK-combinators BCK-formulas BCK-provable formulas BCNF BCNF BCNF set of functional dependencies BCNF-families BCNF-families union of BCNF-families BCT BCT, theory of bounded concatenation BC-type inductive inference BD BD BD files BDD BDD BDD class BDD classes BDD's BDDs BDT BDT Beatty Beatty Beauchamps Beauquier Beauquier Beauquier and Beauquier and Nivat Beauquier and Perrin Beauzamy Beauzamy, Frot and Millour becoming Beeson Beeson's Beeson's EON beginning of events behavedness behavior behavior behavior at infinity behavior of behavior of 2DPDA's behavior of concurrent systems behavior of coordinators behavior of distributed systems behavior of execution times behavior of heuristics behavior of nondeterministic algorithms behavior of programs behavior of random edge cuts behavior of real time systems behavior of real-time systems behavior of synchronous systems behavior of systems in terms of their components behavior of the environment behavior structures behavior structures temporal character of a program's behavior behavioral behavioral behavioral equivalence behavioral reduction behaviorally behaviorally equivalent behaviors behaviors modulo stuttering behaviors of flowchart algorithms behaviors of probabilistic I/O automata behavior-realization adjunction behaviour behaviour behaviour matrix behaviour models behaviour of behaviour of a behaviour of a machine behaviour of a Petri net behaviour of a recursively defined expression behaviour of a system behaviour of a VCCS behaviour of asynchronous processes behaviour of circuits behaviour of concurrent systems behaviour of distributed systems behaviour of elementary net systems behaviour of general Petri nets behaviour of models of concurrency behaviour of nets behaviour of nondeterministic algorithms behaviour of nondeterministic processes behaviour of Petri nets behaviour of PT-nets behaviour of recursive rules behaviour of systems behaviour of the behaviour of the controlled system behaviour of the density function of repetition-free words behaviour of unfoldings of regular expressions behavioural behavioural behavioural abstraction behavioural abstraction from a specification behavioural aspects of net theory behavioural descriptions behavioural descriptions of distributed systems behavioural equality of objects behavioural equivalence behavioural equivalence relation behavioural equivalences behavioural implementation relations behavioural implementations behavioural level behavioural properties behavioural satisfaction behavioural semantics behavioural specification language behavioural specifications behavioural theorems behavioural theories behavioural theory of any class of algebras behavioural tools behavioural validity of first-order formulas behavioural view of concurrent systems behaviours behaviours of behaviours of concurrent programs behaviours of concurrent systems behaviours of machines behaviours of real-time applications Beigel Beigel Beigel et al. Beimel Beimel and Chor Beimel-Chor schemes Bel'tyukov Bel'tyukov's stack register machines Belady Belady's Belady's algorithm belief belief about knowledge belief revision Bell Bell polynomials Belmesk Belmesk Belnap Belnap's four-valued logic Belnap's logic benchmarks benchmarks Bendix benefits of modelling queueing systems Bennet Bennett Bennett Bennett and Gill Bennett's Bennett's Bennett's notion of computational depth Bennett's simulation of deterministic Turing machines Benoit Benoit Benson Benson and Tiuryn bent Bentley Bentley and McGeogh Benyelles Benyelles Ben-David Ben-David et al. Ben-David et al. completion Ben-Or Ben-Or Berarducci Berge Berge's positional games Berge-acyclic view Bergstra Bergstra Bergstra and Bergstra and Klop Bergstra and Tucker Bergstra et al. Bergstra et al. Baeten and Bergstra Bergstra-Klop free process algebras with silent actions Berkowitz Berkowitz Berlekamp Berlekamp Berlekamp et al. Berlekamp factorization algorithm Berlekamp's inequality Berlekamp-Massey problem Berman Berman Berman and Hartmanis Berman complexity class Bern Bern Bernays Bernoulli Bernoulli Bernoulli measure Bernoulli model Bernoulli morphisms Bernoulli polynomials Bernoulli proces Bernoulli shifts Bernshtein Bernshtein, Kushnirenko, Khovanskii bound Bernshtein-Kushnirenko-Khovanskii bound Berry Berry Berry and Sethi Berry's category of dI-domains Berry-Boudol chemical abstract machine Berry-Curien sequential algorithm Berry-Sethi algorithm Berry-Sethi family of languages Berstel Berstel Berstel and Berstel and Mignotte Berstel and Perrin Berstel and Reutenauer Berstel's Berstel's theorem Bertelsen Bertrand Bertrand Bertrand numeration systems Bessel Bessel functions Bessis Bessis, Mehta and Moussa best best bounds best commutative approximate algorithm for matrix multiplication best competitive guarantee best nonoverlapping alignment score best reduction best sequential algorithm best sequential algorithm of Rose et al. best testable circuit best time interval best-known best-known algorithms best-known upper bounds beta rules β numeration systems βη rules of polymorphic lambda calculus βη-convertibility βη-expansion βη-invertible terms βη-normal forms βη-reduction βη-solvability problem βη-solvable β-conversion β-derivations β-equality β-equality rule β-expansions β-normal form β-numbers β-redexes β-reduction β-reduction in combinatory logic β-reductions β-solvability problem β-solvable β-triangles beta-acyclic beta-acyclic database scheme beta-acyclic scheme beta-cycles beta-cycles in a database scheme beta-equal beta-equal λ-I-terms Betti Betti numbers Bezem Bezem and Veldman Bézout Bézout's BFO BFO BFO circuits biaccessible biaccessible G-schemes biadherence biadherence bias of a battery of tests biased coins Bibel Bibel Bibel's Bibel's connection graph bibliography bibliography of L systems bicartesian bicartesian squares bicentre bicentre of a language biconditional biconditional biconnected biconnected biconnected components of graphs biconnected graph biconnected outerplanar graphs biconnected planar graph biconnected subgraph biconnection biconnectivity biconnectivity augmentation problem bidelta bidelta networks bidimensional bidirectional bidirectional communication channel bidirectional rings bidirectional rings of processors Bidoit Bidoit et al. Bieberbach Bieberbach conjecture bifaithful bifaithful trio bifinite bifinite domains bifix bifunctor bifunctor bifurcation bifurcation phenomena bifurcation ratio bifurcation ratio of binary trees Biggins Biggins' first- and last-birth problem bijection bijective bijective bijective expansive TMT bijective proof bilateral bilateral center of a language bilateral centers of languages bilateral semidirect bilateral semidirect decomposition bilateral semidirect products bilattice bilattice based logic programs bilattices bilattices bilimit bilimit bilimits bilimits of recognizable languages bilinear bilinear bilinear aggregation bilinear algorithms bilinear approximation bilinear circuit-size complexity bilinear complexity of multiplication in finite fields bilinear form bilinear forms bilinear mappings bilinear mincing rank bilinear system billiard billiard trajectories billiards billiards in the billiards in the half equilateral triangle billiards in the isoceles right angle triangle Billingsley Billingsley dimension bimatrix bimatrix equilibria in games bimorphisms bimorphisms BIN1 BIN1 binary binary binary alphabets binary Boolean operations binary choice operator binary composition operator binary concurrency relations binary conjunction binary containment binary containment inference binary decision binary decision diagram binary decision diagrams binary decision free binary decision diagram binary decision real time binary decision diagram binary decision tree binary decision trees binary disjunction binary disjunctions in the quantifier free matrix binary encoding binary encoding scheme binary expansion binary expansions binary exponential backoff binary form binary function constant binary grammatical codes binary grammatical codes of trees binary hypercube binary images binary inevitability properties binary language binary languages binary monotone consensus binary morphisms binary multiple-choice knapsack packing problem binary multiple-choice knapsack problem binary network flow problem binary operations binary operator binary Patricia trie binary Patricia tries binary periodic synchronizing sequences binary predicate binary predicate symbols binary race analysis binary random string binary recursive rules binary relation binary relations binary relations in relational databases binary representation binary representations binary residual operation on transitions binary resolution binary rules binary search binary search tree model binary search tree model of probability binary search trees binary sequence binary sequences binary string binary string measures binary systolic tree automata binary timing pulse binary tournaments binary tree binary tree networks binary tree networks of memoryless processors binary trees binary tree-connected network binary tree-connected network with sequential input and output binary word type binary worktape alphabet binding binding binding structures binding symbols creating local scopes binding time binding time analysis binding times bindings bindings bindings of arguments binding-passing behavior Binkowska Binkowska binomial binomial coefficients binomial queues bintree bintree biocomputing biocomputing area biological biological biological context biological function biological interpretation of Lindenmayer systems biological organisms biological schemes biological schemes with cellular interactions biological sequence biology biology biophysics bipartite bipartite bipartite degree-restricted digraphs bipartite graph bipartite graphs bipartite map bipartite networks bipartite order bipartite permutation graphs bipartite planar graphs bipartitioning biplanar biplanar biplanar drawing biplanar subgraph bipolar bipolar bipolar coefficients bipolar synchronization schemes biprefix biprefix biprefix code biprefix codes biprefix codes of words biprefix encodement biprefix sets of paths in a graph biquadratic biquadratic method biquadratic method of Book et al. Biran Biran Birkhoff Birkhoff Birkhoff and Lipson Birkhoff calculus Birkhoff equational calculus Birkhoff's Birkhoff's decomposition theorem Birkhoff-like deduction theory Biró Biró birth and death type equations birth-and-death equations bisections bisections bishop bisimilar bisimilar LTS bisimilarities bisimilarities bisimilarity bisimilarity bisimilarity of normed bisimilarity of normed context-free processes bisimilarity of normed unary processes bisimilarity undecidability of bisimilarity for Petri nets bisimular bisimular processes bisimulation bisimulation bisimulation based semantics bisimulation class bisimulation congruence bisimulation equivalence bisimulation equivalence classes of trees bisimulation equivalences bisimulation of groups bisimulation of open terms with finite-state recursion bisimulation relation bisimulation semantics bisimulations bisimulations bisimulation-based bisimulation-based congruences bisimulation-based equivalence bisimulation-based semantics bisimulation-equivalence bisimulation-like equivalences bispecial bispecial elements bispecial Sturmian words bistable bistable asynchronous devices bit bit directed routing bit operations bitonic bitonic sort bitonic sort family of languages bitonic sorting algorithm bits bivariate bivariate generating function bi-ω-languages bi-adherence bi-enumerable bi-Greibach normal form bi-immune bi-immune for P bi-immunity bi-immunity results for cheatable sets bi-infinite bi-infinite application bi-infinite derivation bi-infinite number bi-infinite paths bi-infinite power bi-infinite power of languages of finite words bi-infinite rational closure bi-infinite sequences bi-infinite words bi-infite G-derivation bi-synchronizing presentation Bjo¨rner BJn schemes Björner BKK BKK bound black black boxes black pebble black pebble game black-box group black-box group problems black-white pebble game Blair Blair and Blair and Kunen Blair and Subrahmanian Blanchard Blanchard Blanchard and Fabre Blanchard and Hansel blind blind blind choice operator blind counter blind machine blind machines blind multicounter machines blind one-way multicounter machines block block block diagonal block edit block edit distance block edit models block expressions block graphs block in a word block matrix multiples block of cells block structure in programming languages block structured block structured language block structured language with local variables block structured programming languages block structured programs blocked blocked blocked jobs blocked matrix multiplication blocked multiplication blocking blocking blocking in basic completion blocking networks blocking of machines blocking probabilities blocks blocks blocksize block-pumping property Blom Blom Bloom Bloom Bloom and Bloom and Elgot Bloom and Tindell Blum Blum Blum and Marques Blum et al. Blum et al. speedup Blum et al. speedup Turing machine of Blum et al. Blumer Blumer Blumer et al. Blum-Shub-Smale model Blum-Shub-Smale model of computation Blundo Blundo et al. BM BM time BNP BNP family of languages board Boasson Boasson Boasson and Nivat Boasson Courcelle and Nivat Boasson, Courcelle and Nivat bodies of bodies of nested loops bodies of rules Bodlaender Bodlaender and van Leeuwen Boffa Boffa Böhm Bol Bol Bonner Bonner and Kifer Book Book and Book and Mayordomo Book and O'Dunlaing Book and Wrathall Book et al. Boolean Boolean Boolean algebra Boolean algebra closed under quotients Boolean algebra of Boolean algebra of describable sets Boolean algebras Boolean and/or/not formulae Boolean arguments Boolean automata Boolean bases Boolean branching program model Boolean calculus Boolean categories Boolean circuit Boolean circuits Boolean circuits of depth two Boolean closure Boolean closure of context-free languages Boolean closure of deterministic Boolean closure of deterministic classes of automata Boolean closure of deterministic context-free languages Boolean closure of NP Boolean combinations of queries Boolean completion Boolean computation Boolean computations Boolean connectives Boolean constraints Boolean convolution Boolean dimension Boolean expression Boolean expressions Boolean formula Boolean formulas Boolean function Boolean function approximation Boolean function of the states Boolean function on disjoint sets Boolean functions Boolean functions monotone Boolean functions Boolean functions network complexity of Boolean functions Boolean functions norm for Boolean functions Boolean functions representable Boolean functions Boolean functions representation of Boolean functions Boolean functions with low L1 norms Boolean graphs Boolean hierarchy Boolean Horn formulae Boolean l×l-matrices Boolean languages Boolean lattices Boolean linear operators Boolean machine models Boolean matrices Boolean matrix Boolean matrix functions Boolean matrix multiplication time Boolean matrix product Boolean network Boolean networks Boolean neural nets Boolean operations Boolean operators Boolean operators on ω-languages Boolean permanent Boolean processing component Boolean programs Boolean queries Boolean query languages Boolean query languages over finite structures Boolean relations Boolean routing schemes Boolean satisfiability problem Boolean semiring Boolean set operations Boolean sorting Boolean sums Boolean threshold computations Boolean two-person game Boolean two-person games Boolean variables Booleans Booleans Boolean-valued functions Boolean-variable Boolean-weighted counting functions Boolos Boolos' example Booth Booth and Lueker Boppana Boppana border border rank of a tensor border rank of tensors Borel Borel Borel and Laubie theorem Borel class Borel classes Borel hierarchy Borel normal numbers Borkowski Borkowski-Slupecki's Borkowski-Slupecki's device Borkowski-Slupecki's rule Borodin Borodin et al. borrowing of logical structure Bossi Bossi and Menegus bottom bottom fan-in bottom morphism bottom planes of three-dimensional arrays bottom-up bottom-up abstract interpretation bottom-up abstract interpretation of logic programs bottom-up algorithm bottom-up algorithms bottom-up approach bottom-up automata bottom-up computation bottom-up evaluation bottom-up finite-state tree transducer bottom-up generalization procedure bottom-up generalized automata bottom-up method bottom-up operational procedure bottom-up parsing bottom-up transduction on term representations bottom-up tree bottom-up tree pushdown bottom-up tree pushdown automata bottom-up tree transducers bottom-up tree transformations BOTTOM-UP-HEAPSORT Boudol bound bound bound fixed bound bound linear lower bound bound matching lower bound bound optimal lower bound bound primitive recursive bound bound randomized upper bound bound uniform linear upper bound bound upper bound bound variables boundaries boundaries boundary boundary between decidable and undecidable boundary eNCE boundary eNCE graph boundary eNCE graph grammars boundary eNCE graph language boundary of a boundary of a concept boundary of a picture bounded bounded bounded 2-sided error bounded alternating bounded alternating on-line Turing machines bounded alternating Turing machines bounded ambiguity bounded ATMs bounded automata bounded balance bounded Borel bounded Borel measures bounded capacity priority queues bounded complete bounded complete ω-algebraic cpo's bounded complete domains bounded complexity bounded complexity cut rule bounded context-free languages bounded D0L languages bounded database schemes bounded deciphering delay bounded degree bounded degree source graph bounded degree trees bounded delay bounded delay L codes bounded delay morphisms bounded dependencies bounded discrete values bounded disorder bounded disorder file organization bounded domain bounded equality-generating dependencies bounded error bounded error probability bounded existential types bounded existentials bounded fan-out bounded fan-out circuits bounded first-order quantification bounded fixpoint operator bounded fixpoints bounded free choice bounded free choice nets bounded free choice system bounded full implicational dependencies bounded gap Ramsey-type property bounded genus bounded grammar families bounded height bounded in storage bounded incremental algorithm bounded inequivalence aprobelms for expressions bounded inequivalence problem for arithmetic bounded interpretations of grammar forms bounded intuitionistic proof system bounded language bounded language families bounded languages bounded linear logic bounded memory bounded nondeterminism bounded nondeterministic choice operator bounded NP query hierarchies bounded number bounded number of iterations bounded objective functions bounded orientation bounded parallelism bounded Petri net bounded product bounded programs bounded quantification bounded quantifier alternation depth bounded quantifiers bounded queries bounded queries to SAT bounded query bounded query machines bounded query reductions bounded real valued function bounded real-valued function bounded real-valued functions bounded recursion bounded rewriting systems bounded second-order λ abstraction bounded semilinear language bounded sets bounded stack registers bounded suffix bounded summation bounded time bounded tree-width graphs bounded truth table bounded two-dimensional ATMs bounded widths bounded work registers boundedness boundedness boundedness for Petri nets boundedness lemma boundedness of boundedness of database schemes boundedness of sequences boundedness problem boundedness problem on graphs boundedness problems for boundedness problems for vector addition systems bounded-complete bounded-complete algebraic cpo bounded-complete cpo bounded-complete domains bounded-complete hull bounded-complete hull of an a-space bounded-degree bounded-degree decision tree bounded-degree networks bounded-depth circuits bounded-error probabilistic machines bounded-query bounded-right-context grammars bounded-width bounded-width branching bounded-width branching programs bounding bounding its proof-theoretic strength bounds bounds bounds for bounds for equivalence of Presburger formulas bounds for linear queries bounds for maximal flows bounds for minimal comparison merging bounds on bounds on composition of functions bounds on depth of nesting of function calls bounds on inputs bounds on nonholonomy bounds on the number of productions in a grammar boustrophedonic boustrophedonic boustrophedonic algorithms boustrophedonic automata Bouton Bouton Bovet Bovet et al. Bowen Bowen box calculus boxes Boyce Boyce-Codd normal form Boyce-Codd normal form database schemes Boyce-Codd normal form families Boyer Boyer-Moore Boyer-Moore algorithm Boyer-Moore automaton Boyer-Moore character comparison order Boyer-Moore-Horspool algorithm Boyer-Moore-type string searching algorithms BP BP (bipolar) synchronization scheme BPA BPA BPA axiom system BPA plus state operator BPP BPP BPP-nets Bru¨ggemann-Klein bracket bracket bracket abstraction bracket context-free languages bracket languages bracketed bracketed context free languages bracketed context-free languages bracketing bracketing property brackets brackets braid braid groups branch and bound branches branching branching algorithm branching automata branching bisimilarity branching bisimulation branching event structures branching flow graph branching in branching in discrete processes branching instructions in programs branching nodes branching nondeterministic infinite automata branching points branching program branching program depth branching program operator branching program with linear queries branching programs branching programs computing Boolean functions branching programs of branching programs of bounded widths branching programs of unbounded widths branching programs with linear queries branching search space branching structure branching structure of terms branching term rewriting systems branching time branching time models branching time semantics branching time semantics for recursion with merge branching time temporal logic branching transition branching transition relation branching transition systems branching-time branching-time combinators branching-time framework branching-time operators branching-time temporal logics branching-time v Brand Brand and Zafiropulo Brandenburg Brandenburg brave reasoning Brazma Brazma and Kinber BRC BRC (bounded right context) grammar BRC grammar BRC property breadth breadth first search algorithm breadth-first breadth-first context-free breadth-first context-free grammars breadth-first grammars breadth-first rewriting breadth-first search breadth-first search rule breakdown breakdown rates breakdowns breakdowns Breidbart Breidbart Breitbart Breitbart Brent Brent Brent and Kung's adder Brent Kung adder Brent's Brent's theorem Brent-Kung algorithm Bresenham Bresenham's discrete lines brick language bridges Briley Briley broadcast broadcast broadcast calculus broadcast communication broadcast encryption broadcast message broadcast network broadcast problem broadcasted broadcasted signals broadcasting broadcasting Brock Brock and Ackerman Brock and Ackerman anomalies Brock and Ackerman model of nondeterministic asynchronous processes Brocot Broder Broder Bronstein Bronstein Brookes Brookes Brookes and Rounds Brooks Brooks' theorem brother trees Brouwer Brouwer's Brouwer's Brouwer's fixed points Brouwer's intuitionism Brouwer's theory of choice sequences Brouwerian Brownian Brownian Brownian excursion functionals Brownian motion Brozowski Brozowski's Brozowski's result on star free languages Bruck Bruck and Smolensky Brüggemann Bruhat Bruijn Bruno Bruno's Bruno's formula Bruschi Bruschi et al. Bruss Bruss and Meyer brute-force search jobs Brzozowski Brzozowski Brzozowski and Knast theorem Brzozowski derivatives Brzozowski hierarchy Brzozowski hierarchy of ω-languages Brzozowski hierarchy of languages Brzozowski's algorithm for constructing DFA's BSP BSP BSP programming BSPRAM BSPRAM BSPRAM algorithms BSS BSS model BSTA BT BT (branching time) semantics btt bubbling system Buchberger Buchberger Buchberger algorithm Buchberger theory Buchberger's algorithm Buchberger's family of languages Bucher Bucher Bucher and Culik Bucher, Culik II, Maurer and Wotschke Büchi Büchi's bucket bucket bucket recursive trees bucket size budget budget constraint buffer buffer buffers buffers building building blocks building blocks of building blocks of artificial neural networks building blocks of distributed applications building blocks of operators building blocks of parallel applications building calculi building descriptions building libraries building of complex modules from simpler ones building strategies built-ins bulk bulk data bulk updates bulk-synchronous model bulk-synchronous parallel bulk-synchronous parallel computation bulk-synchronous parallel random access machine Bunder Bunder and Meyer Buneman Buneman's Buneman's lossless power domains Burge Burge's Burge's mapstream function Burks Burks et al. burner burner flame Burnside Burnside problem Burroni Burroni Burstall Burstall Burstall and Pnueli Burstall Manna and Waldinger intermittent assertion method Burstall's Burstall's intermittent assertions method Bushi Bushi Buss Buss busses butterfly butterfly butterfly dag computation butterfly network by parallel computers of Boolean functions Byzantine Byzantine Byzantine faulty behavior Byzantine processes B-LAG's B-rational identities B-splines B-tree index C = P C programs cβ normal form cβ-machine cβ-reduction cβ-reduction in combinatory logic c.f. grammar c.f. grammars C/E systems C/E systems, augmented ~ C1-LAGs ~parsers C2-LAGs C3-LAGs C5 cycle in a graph Ce´sari Ce´sari-Schu¨tzenberger algorithm CA CA cellular array CA's CA's CABP CABP cache cache size CACI cacti cacti CAD CAD tools Cahndy Cai Cai calculability calculability calculability issues calculation calculation capacities calculation capacities of Lambda-calculus calculational calculational proofs calculators calculi calculi calculi of concurrent processes calculi of control calculus calculus calculus for distributed computation calculus for nondeterministic flowchart schemes calculus for synchrony calculus for three valued logic calculus for three valued logic interpretations of one calculus in another calculus of calculus of broadcasting systems calculus of closures calculus of communicating systems calculus of concurrent processes calculus of constructions calculus of coordinating environments calculus of decomposition calculus of design calculus of finite differences calculus of fixed point terms calculus of generalized natural transformations calculus of invariants calculus of Lukasiewicz calculus of mobile processes calculus of natural transformations calculus of nets calculus of partially-ordered data type structures calculus of polynomials calculus of processes calculus of program refinement calculus of stochastic systems calculus of substitutions calculus of S-invariants for PrT nets calculus of total correctness calculus with typical ambiguity call by name call by name λ-calculus call by name evaluation call by name interpretation call by name languages call by name mechanisms call by name strategy call by name variant of ISWIN call by value call by value confluent systems call by value interpretation call by value operational semantics call by value semantics calling patterns for a clause calling patterns of clauses calling structure call-by-name call-by-name λ-calculus call-by-name evaluation call-by-name interpretation call-by-name languages call-by-name mechanisms call-by-name strategy call-by-name variant of ISWIM call-by-name variant of ISWIN call-by-value call-by-value confluent systems call-by-value interpretation call-by-value operational semantics call-by-value semantics call-consistency condition call-consistent program Γ calulating CAM CAM CAMILA CAMILA, specification and prototyping language CAML Campbell Campbell-Haussdorf formula cancellation cancellation cancellation conditions cancellation groups cancellation of substrings cancellation operation on strings cancellation properties in context-free grammars cancellations cancellative cancellative cancellative automaton cancellative semigroups Canny Canny et al. canonical canonical canonical amalgamation construction canonical bit recoding technique canonical completion of a poset canonical congruence canonical congruence induced by the concurrency relations canonical constraints canonical constraints for parametrized data types canonical decomposition canonical derivation forms canonical equational theory canonical expression canonical extensions of languages canonical finite presentations canonical form canonical form for canonical form for constraint specifications canonical form for decision trees canonical form of a canonical form of a circular string canonical form of a polynomial matrix canonical form of matrices canonical form of rewrites canonical forms canonical forms for interval functions canonical function canonical function application canonical function computation canonical generator sets canonical interpretation canonical models canonical models of map theory canonical numbering canonical one to-one correspondence canonical one-to-one correspondence canonical positions canonical PP-complete set canonical process canonical q-series canonical recoding canonical representation canonical representation of planar graphs canonical representations of proofs canonical representative canonical representative of equivalence classes canonical representatives of equivalence classes canonical representatives of functions canonical rewrite system canonical slice functions canonical solution canonical string-rewriting systems canonical structure of an Abelian group canonical system canonical systems canonical term algebras canonical type canonical types for grammar forms canonical types for grammars Cantor Cantor discontinuum Cantor topology Cantor's Cantor's space Cantor-Zassenhaus factorization algorithm capabilities capabilities capabilities for reasoning capabilities of hybrid dynamical systems capabilities of inference capabilities to execute jumps capability capability to execute jumps capacities capacity capacity-oriented availability capturing capturing complexity classes capturing strong reduction Cardelli Cardelli and Wegner's kernel fun variant of system F&le cardinal cardinalities cardinalities cardinalities of relations cardinality cardinality cardinality bound cardinality of a cardinality of a combinatory basis cardinality of a finite semigroup of matrices cardinality of a group cardinality of a semigroup of matrices cardinality-bounded set values Carlo Carlson Carlson carrier carrier carrier sets carriers carriers of an algebra Cartan Cartan subalgebra Carter Carter-Wegman universal hashing Cartesian Cartesian Cartesian closed Cartesian closed categories Cartesian closed categories of Cartesian closed categories of algebraic cpo's Cartesian closed categories of domains Cartesian closed category Cartesian closed category of algorithms Cartesian closed category of domains Cartesian closed full subcategories Cartesian coordinate system Cartesian plane Cartesian product Cartesian product of component alphabets Cartesian-closed categories Cartesian-closed category of domains Cartesian-closedness Cartier Cartier and Foata Cartmell Cartmell cascade cascade cascade composition cascade decompositions cascade product Case Case and Smith case bases case intrinsic properties Caseau Caseau case-based case-based learnability case-based learning case-based reasoning case-based representation case-based representations Castellani Castellani Castellani's abstraction homomorphisms Catalan Catalan number Catalan's Catalan's equation Catalan's equation number catamorphisms catamorphisms catch rules categorial categorial categorial axiomatizations categorial construction categorial grammar categorial grammars categorical categorical categorical abstract categorical abstract machine categorical adequacy result categorical approaches categorical aspects of data type constructors categorical axiomatizations of arithmetic categorical combinator categorical combinator reduction system categorical combinator terms categorical combinators categorical combinatory logic categorical constructions categorical constructs categorical equivalence categorical fixed point categorical fixed point semantics categorical framework categorical framework for program semantics categorical generalization of domains categorical grammar categorical graph grammars categorical graph-grammar approach categorical graph-oriented object data model categorical implementation of term rewriting categorical interpretation of pre- and post-condidtions categorical model categorical models categorical notation categorical programming categorical programming language categorical programming language implementation categorical properties categorical rewriting categorical role of the natural numbers categorical semantics categorical structures categorical structures in nonextensional lambda calculus categorical systems categorical universe categorical viewpoint categories categories categories in semigroup theory categories in semigroup theory linked by adjoint functors categories of categories of algebras categories of algebras for special monads categories of algebras of partial types categories of domains categories of embeddings categories of interpretations categories of monads categories of partial orders categories of partialmorphisms categories of predicate categories of predicate transformers categories of quasi-prime algebraic domains categories of transition systems category category category class category classes category in abstract complexity theory category models category of category of ω-cpo's category of 1-bounded compact ultrametric spaces category of actions category of algebraic cpo's category of algebraic lattices category of algebras category of bases category of closed homomorphisms of unary partial algebras category of coherent spaces category of compact metric spaces category of complete category of complete lattices category of complete partial orders category of concatenable processes category of continuous category of continuous domains category of continuous lattices category of countably based algebraic cpo's category of descriptive modal frames with contractions category of digital spaces category of directed category of directed complete partial orders category of directed graphs category of dI-domains category of domains category of finite sets category of flowcharts category of flow-charts category of graphs category of homomorphisms of unary partial algebras category of infinite directed hyperedge-labelled hypergraphs category of information systems category of modal algebras with homomorphisms category of models of computation category of modest sets category of modular development category of observation frames category of occurrence nets category of partial algebras category of partialmorphisms category of process models category of profinite domains category of Scott continuous lattices category of Scott domains category of semimodules category of sets category of sets generated by Martin-Lo¨f's extensional type theory category of sets in time category of symmetries category of T0 topological spaces category of transition systems category of trees category Pos(ω) category theory category theory in computer science category theory of binary relations categoryPos(ω) category-sorted category-sorted action semantics category-sorted algebra category-sorted algebra-based action semantics category-theoretic category-theoretic characterization of functional completeness category-theoretic results category-theoretic structures catenation catenation catenation operation catenative catenative L catenative L scheme catenative L systems catenativity catgory Cauchy Cauchy Cauchy completion Cauchy integrals Cauchy matrices Cauchy products Cauchy sequence Cauchy sequence representation Cauchy sequences Cauchy towers of spaces causal causal causal automata causal behaviour causal dependencies causal functionals causal net causal nets causal partial orders causal structure causal structure of a deterministic concurrent system causal trees causality causality causality ordering causality relation cautious cautious cut cautious monotony cautious reasoning Cavedon Cavedon Cayley Cayley Cayley automata Cayley automata with pebbles Cayley graph languages Cayley graphs Cayley trees Cayley-Hamilton identity Cazanescu Cazanescu and Stefanescu Cazanescu and Ungureanu cbnormal CBS CBS CBS congruences CCω CCC CCC ccc CCC models CCC's CCE CCL CCL CCLβ CCLβ rewriting system CCLβ SP CCLβη SP CCLb CCLbh CCP CCP CCP incremental algorithm CCP incremental family of languages CCP system CCP systems with deep guards CCS CCS CCS agent CCS agents CCS bisimulation CCS calculus of communicating systems CCS context CCS expressions CCS operation CCS process calculus CCS processes CCS semantics CCS terms CCS transition CCS-like languages CD CDF CDF CDF-series cdr CDS CDS's CE CE agents Cech Cech closure spaces cedar cedar trees Cederbaum cell cell cell action structure cell complex cell decomposition cell form cell lineages cell of an ITA cell probe complexity cell probe complexity bounds cells cells cells in a biological system cellular cellular cellular array models cellular arrays cellular automata cellular automata computations cellular automata limit sets cellular automata probability functions cellular automata synchronizers cellular automaton cellular automaton model cellular Bu¨chi automata cellular code cellular interactions cellular space center center center of a language center of languages center switches centers centers of languages center-mapping of languages central central slice functions centralized centralized centralized PC grammar centralized program centralized system centre Cerro certificates certificates of primality certification certification method certified certified group actions Cesari Cesari Vincent theorem CF cf cf grammars CFARb CFG CFG cfg CFL CFL CFL cfl CFL's CFSM CFSM CF-ambiguous CF-languages CGPP CGPP chain chain chain automata chain closed under chain property chain code picture chain code picture language chain code picture languages chain code pictures chain complete posets chain complete posets and isotone maps chain completeness chain completion chain completion of a poset chain decomposition chain grammars chain languages chain of chain of iterations chain of retractions chain partitions of orders chain properties chain rule free cfg chain rules chain rules in context free grammars chain rules in context-free grammars chain transitive chaining chains chains of chains of derivations chains of full AFL's chains-*continuous maps chain-code picture language chain-complete chain-complete partially ordered sets chain-complete posets chain-complete subsets chain-completeness of partially ordered sets chain-completion chain-continuous maps chain-free context free grammar chain-free context-free grammar chain-inductive Chaitin Chaitin chance leads Chandra Chandra Chandra et al. Chandra, Kozen and Stockmeyer Chandy Chandy Chandy and Misra Chang Chang Chang and Paige change change of state changeable input size changes-of-states change-making problem changing changing semantics changing the base of a number system Chang-Roberts distributed election algorithm Chang-Roberts distributed election theorem channel channel channels channel-label expressions chaos chaos chaotic chaotic chaotic behavior chaotic characteristics chaotic dynamical chaotic dynamical behaviours chaotic dynamical system chaotic fixed point theorem chaotic iterations chaotic numerical perturbations Char Char et al. character character comparison order character substitutions characterisation characterisation characterisation of characterisation of deterministic context-free languages characterisation of the four-colour problem characterisations characterisations of impartial sequences characteristic characteristic 0 characteristic algebra characteristic arrays characteristic class characteristic classes characteristic functions characteristic of characteristic of fields characteristic of pavings characteristic parameters of binary search trees characteristic polynomial characteristic polynomial of a matrix characteristic properties of subwords characteristic rules characteristic sets characteristic sets of differential ideals characteristic words characteristic zero characteristic zero fields characteristics characteristics characteristics for probabilistic databases characteristic-two finite fields characterizable characterizable complexity classes characterization characterization characterization Angluin characterization of learnable families characterization for characterization for bounded context-free languages characterization for computations in BPP-nets characterization for multi-pattern languages characterization for rational ω-languages characterization for the complexity of linear program ming characterization Kleene characterization of recognizable subsets characterization logical characterization characterization of characterization of λ definability characterization of ω-chain complete partially ordered sets characterization of Ω-languages accepted by X-automata characterization of ω-regular languages characterization of ω-regular languages by first-order formulas characterization of (E0L-E0L) array languages characterization of accessible prefix transitive graphs characterization of AFP's characterization of algebraic specification characterization of algebraic specification languages characterization of an interaction-free MVD set characterization of ANC AG's characterization of aperiodic semigroups characterization of baseline-equivalent multistage interconnection networks characterization of behavioral reduction characterization of behavioural characterization of behavioural abstraction characterization of behavioural satisfaction characterization of bisimulation equivalence characterization of brother trees characterization of classes of characterization of classes of regular events characterization of completion characterization of complexity classes characterization of computable real-valued characterization of computable real-valued functions characterization of computable real-valued relations characterization of computing domains characterization of context-free generators characterization of context-free languages characterization of DCFL's characterization of DCFL's characterization of deductive databases characterization of digital search trees characterization of distributively computable functions characterization of domains characterization of dynamic behaviour characterization of D-structuredness characterization of embeddability characterization of exponential time languages characterization of expressiveness characterization of families of languages characterization of finite characterization of finite monoids characterization of finite monoids possessing a universal presentation characterization of finite Sturmian words characterization of Floyd-Hoare logic characterization of frontier testable tree languages characterization of grammars characterization of graph languages characterization of graphically representable formulae characterization of group codes characterization of homogeneously orderable graphs characterization of Horn functions characterization of if-then-else characterization of inference bases characterization of infinite characterization of infinite behavior characterization of infinite fair computations characterization of interconnection networks characterization of interior and exterior points characterization of invertible terms characterization of join dependencies characterization of L systems characterization of L(BSTA) characterization of languages characterization of LC(0) languages characterization of linear ω-languages characterization of linear indexed languages characterization of LL languages characterization of LL(k) grammars characterization of LLP(k) grammars characterization of machines of type U1(M)~ characterization of macro tree transducers characterization of migration inventories characterization of minimal characterization of minimal complete sets of words of a free monoid which are codes characterization of minimal firing time characterization of morphisms characterization of morphisms which preserve finite and infinite standard Sturmian words characterization of morphisms with Sturmian stationary words characterization of multivalued dependencies characterization of M-automata characterization of name-stamp protocols characterization of non-erasing pure context-free derivation relations characterization of normal forms characterization of NP characterization of NPOP's characterization of observation equivalence characterization of observational equivalence characterization of one-counter groups characterization of passing compatibility characterization of permutation groups characterization of Petri net languages characterization of PHCF characterization of Plotkin's order characterization of polynomial time characterization of positive rational sequences characterization of Post simple sets characterization of power-free morphisms characterization of prefixes of behaviors characterization of PSPACE/poly characterization of pushdown permuters characterization of queue languages characterization of rational Ω-languages characterization of rational functions characterization of rational functions of bounded complexity characterization of rational relations characterization of rationality of zigzag series characterization of recognizable languages characterization of reducible flowchart schemes characterization of regular ω-languages characterization of reversal bounded multipushdown machine languages characterization of reversal-bounded multipushdown machine languages characterization of reversible celluar automata characterization of secure two-party cascade protocols characterization of semi-AFP's characterization of sequences of numbers characterization of sequential functions characterization of small cancellation groups characterization of stage graphs characterization of star-free languages characterization of state-independent automata characterization of strongly liberal algebraic institutions characterization of Sturmian morphisms characterization of subsequential functions characterization of symbolic sequences characterization of the characterization of the 2-bounded languages recogized by 1-DPDA's characterization of the classes of recognizable Boolean languages characterization of the complexity of the subgraph isomorphism problem on bounded tree-width graphs characterization of the deductive strength of surface deduction characterization of the double-pushout transformation characterization of the EXRUD class of languages characterization of the information ordering on environments characterization of the intermittent assertions method characterization of the largest bisimulation characterization of the natural numbers characterization of the optimal arrangement of records characterization of the polynomial-time hierarchy by classes of Presburger formulas characterization of the Rabin index of an ω-language characterization of the Scott topology characterization of the search number characterization of the semantics of Occam characterization of the squares in a Fibonacci string characterization of the star-height of a prefix-free regular language characterization of thinning characterization of transductors characterization of uniformly nonprimitive labeled 2-structures characterization of unispectral morphisms characterization of well branching event structures characterization of wellfounded while computation trees characterization results for characterization results for D0L systems characterization results for partial algebras characterization theorem for context-free generators characterization theorems characterization theorems for characterization theorems for higher type characterization theorems for higher type equational classes characterization theorems for higher type Horn classes characterization theorems for nonsymmetric cascade protocols characterization theorems for symmetric cascade protocols characterizations characterizations characterizations of characterizations of π-calculus bisimulation equivalences characterizations of cellular arrays characterizations of complexity classes characterizations of context-free languages characterizations of families of languages characterizations of finite semilattices characterizations of infinite tree languages characterizations of iterative arrays characterizations of language families characterizations of LLP(k) grammars characterizations of partial recursive sequence functions characterizations of primitive recursive wordsequence functions characterizations of program characterizations of program verification systems characterizations of rational ω-languages characterizations of rational adherences characterizations of recognizable picture languages characterizations of recursively enumerable languages characterizations of regular languages characterizations of repeatable characterizations of repeatable languages characterizations of repeatable words characterizations of sets of numbers recognizable by a finite automaton characterizations of structured flowchart schemes characterizations of theclass PSPACE/poly characterizations of transition system equivalences characterizing characterizing characterizing ω-regular languages characterizing a bilattice characterizing approximation classes characterizing asynchronous processes characterizing boundedness of database schemes characterizing classes of languages by machine models characterizing complete programs characterizing complexity classes characterizing D0L languages characterizing fault tolerance characterizing finite Kripke structures characterizing learnable concept classes characterizing pattern spectra characterizing slices characterizing stable functions characterizing structure languages characters characters charity charity programming system charity programming system framework chart chart parsers charts Chase chase Chase's Chase's algorithm for pattern preprocessing Chaudhuri Chaudhuri Chazelle Chazelle cheatable cheatable sets cheating checker checkers checking checking equivalence checking liveness checking nontermination checking set disjointness checking stability checking stacks chemical chemical chemical abstract machine chemical metaphor chemical solutions Chen Chen Chern Chern characters Chernoff Chernoff bounds Chernovenkis Chervonenkis Chervonenkis and Vapnik chess chess chessboard chip chip chip configurations chip firing games chip firing games on graphs chip games chip transfer games chip-firing game chip-firing game on undirected graphs Choffrut Choffrut Choffrut and Choffrut and Culik II Choffrut and Schu¨tzenberger choice choice composition choice of consequence relation choice of programming system choice operation choice operator choice operators choice sequences choices choices of finite state control automata Chomsky Chomsky Chomsky and Stanley characterization of context-free languages Chomsky and Stanley homomorphic characterization of context-free languages Chomsky and Stanley's homomorphic characterization of context-free languages Chomsky classes of languages Chomsky hierarchy Chomsky hierarchy of adherences Chomsky normal form Chomsky normal form for context-free string grammars Chomsky normal form grammar Chor chord chordal chordal chordal bipartite graphs chordal graph chordal graphs chordless chordless chordless cycle chordless path Chottin Chottin Choueka Choueka Choueka automata Christoffel Christoffel Christoffel pairs Christoffel primitive words Christoffel tree Christoffel word Christofides Christofides algorithm Christofides family of languages Christol Christol et al. chromatic chromatic index chromatic number chromatic number problem chrono chrono-topology Chu Chu construction Church Church Church numerals Church's Church's simply typed λ-calculus Church's simply-typed λ-calculus Church's thesis Church-numerals Church-Rosser Church-Rosser approach Church-Rosser approach to correctness of Church-Rosser approach to correctness of asynchronous parallel programs Church-Rosser approach to correctness of parallel programs Church-Rosser confluence property Church-Rosser congruence Church-Rosser monadic reduction systems Church-Rosser monoids Church-Rosser properties Church-Rosser property Church-Rosser property for ground term-rewriting systems Church-Rosser property of Thue systems Church-Rosser relation Church-Rosser strategies in the lambda calculus Church-Rosser strategy Church-Rosser subcalculus Church-Rosser system Church-Rosser theorem Church-Rosser theorem for graph derivations Church-Rosser Thue system Church-Rosser Thue systems Church-Rosser tree replacement systems Ciancaglini cicuit complexity cicuit complexity classes cicuit complexity lower bounds cigarette cigarette smokers problem circle circle intersections