Lines Matching full:theory
573 keywords = "number theory; subroutines",
591 keywords = "number theory; subroutines",
994 …keywords = "arg; artificial intelligence; automata theory; computers; game theory; heuristic p…
1085 keywords = "artificial intelligence; automata theory; computational linguistics",
1162 keywords = "number theory",
1178 classcodes = "C4290 (Other computer theory)",
1180 …keywords = "computation theory; demand paging; paging machines; replacement algorithm; storage…
1454 classcodes = "C4230 (Switching theory)",
1590 …keywords = "automata theory; compilers; computational linguistics; computers, language; contex…
1628 …reas for this language are operation research, network problems, control theory, traffic problems,…
1633 …ters; data handling; data structures; electric circuits, analysis; graph theory; operations resear…
1732 keywords = "co; computers; graph theory; programming; undirected linear graphs",
1833 …abase; ftp://ftp.ira.uka.de/pub/bibliography/Theory/gvl.bib and ftp://ftp.ira.uka.de/pub/bibliogra…
2080 …gorithm; greatest common divisor; iterative methods; mathematics; number theory; numerical methods…
2102 … "automata theory; computational linguistics; context-sensitive grammars; context-sensitive parsi…
2138 keywords = "number theory; subroutines",
2154 classcodes = "C4290 (Other computer theory)",
2156 keywords = "computation theory; graph theory",
2208 classcodes = "C4290 (Other computer theory)",
2706 classcodes = "C4220 (Automata theory)",
2840 keywords = "graph theory; subroutines; trees (mathematics)",
3057 keywords = "number theory; subroutines",
3188 …keywords = "algorithm; circuit search algorithm; elementary circuits; graph theory; path searc…
3319 classcodes = "C4290 (Other computer theory)",
3322 …keywords = "computation theory; computer communications; distribution of random variables; mod…
3339 classcodes = "C4230 (Switching theory)",
3538 classcodes = "C4290 (Other computer theory)",
3541 …theory; CACMA; coding; computers, digital; computers, digital, programming; documentation; FIND; I…
3563 …keywords = "algorithm analysis; algorithm theory; CACMA; computational; ES,; experience; integ…
3584 …r integer partitioning; combinations; design; experiments design; number theory; statistical; subr…
3658 …keywords = "CACMA; communication channels; computers, digital; information theory; programming…
3698 …keywords = "CACMA; computation theory; computers, digital; computers, digital, operating; oper…
3784 …digital, character; dynamic programming; game against nature; game theory; game theory application…
3869 …keywords = "answer extraction; artificial; artificial intelligence; automata theory; automatic…
4254 …keywords = "automata theory; CACMA; compiler correctness; compiler correctness proofs; computa…
4316 …keywords = "circuits; combinatorial algebra; graph theory; Hamiltonian; nonoriented complete g…
4333 classcodes = "C4290 (Other computer theory)",
4378 …keywords = "control theory; equation; feedback matrix; matrix Riccati; numerical; numerical an…
4418 …stem; operating systems (computers); programming; programming systems; programming theory; theory",
4566 …nt-tree; blocks; cut nodes; cutnode; fundamental cycle set; graph; graph theory; labelled edges; l…
4708 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/reduce.bib",
4780 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Comp.Alg.1.bib",
4808 …d algebraic manipulation; celestial mechanics; integration; perturbation theory; physics; Poisson …
5473 …ebra; Munkres algorithm; operations research; optimisation; optimization theory; rectangular matri…
5581 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
5909 …ic; harmony; heuristic; humanities; models of cognitive processes; music theory; program; programm…
6143 classcodes = "C4290 (Other computer theory)",
6148 keywords = "model; modelling; paging; programming theory; supervisory programs; working set",
6313 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
6489 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/obscure.bib",
6512 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Comp.Alg.1.bib",
6696 classcodes = "B6120B (Codes); C1260 (Information theory)",
6734 classcodes = "C4290 (Other computer theory); C6150J (Operating systems)",
6736 …keywords = "computation theory; finite; infinite auxiliary store; job scheduling algorithm; no…
6772 classcodes = "C4290 (Other computer theory); C6150J (Operating systems)",
6774 …keywords = "computation theory; concurrent programming control; cooperating processes; formal …
7148 title = "Toward an Automata Theory of Brains",
7163 classcodes = "C4220 (Automata theory)",
7165 keywords = "automata theory; brain models; brains",
7171 title = "Fixpoint Approach to the Theory of Computation",
7186 …abstract = "Following the fix point theory of Scott, the semantics of computer programs are de…
7188 classcodes = "C4290 (Other computer theory)",
7190 …s of computer programs; semantics of programming languages; termination; theory; verification tech…
7241 title = "Toward a General Theory of Special Functions",
7257 keywords = "general theory; mathematics; special functions",
7614 …ational and conceptual system; Plankalkul; programming; programming languages; programming theory",
7739 …ammars; algorithmic language processing; algorithmic languages; automata theory --- Grammars; bott…
7834 …g; multiprogrammed; operating; paging machines; probability --- Queueing Theory; queuing analysis;…
7984 …rrays; data storage, digital; graph problems; graph theory; mathematical techniques --- Graph Theo…
8104 classcodes = "C4290 (Other computer theory)",
8108 …keywords = "arrays; computation theory; computer programming --- Subroutines; data handling; i…
8328 …keywords = "automata theory; computer applications; computer programming languages --- lisp; d…
8518 classcodes = "C4240 (Programming and algorithm theory)",
8522 …emantics; flowcharts; lambda calculus; programming language; programming theory; side effects; tra…
8895 … and worst possible methods, the traditional methods of multiprogramming theory, round-robin, firs…
8980 classcodes = "C4290 (Other computer theory)",
8984 …multiprogrammed computer system; multiprogramming; probability; queueing theory; queuing model; se…
9077 classcodes = "C4240 (Programming and algorithm theory)",
9081 …pattern matching; program statements; programming; programming languages; syntax analysis; theory",
9126 …abase; ftp://ftp.ira.uka.de/pub/bibliography/Theory/gvl.bib and ftp://ftp.ira.uka.de/pub/bibliogra…
9319 title = "A Theory of Discrete Patterns and Their Implementation in {SNOBOL4}",
9339 …n implementation; pattern matching; pattern recognition systems; pattern theory; patterns; program…
9867 …ommon divisor; inductive assertion method; integers; multipliers; number theory; proof of algorith…
10006 …keywords = "array grammar; array grammars; automata theory --- Grammars; automatic testing; CA…
10480 …keywords = "ALGOL; algorithms; graph manipulation; graph theory; mathematics; partitioning; su…
10608 …s useful design concepts, and may serve as a basis for developing a formal theory on the subject.",
10614 … theory; information; information retrieval; information retrieval systems; information structure;…
10785 …ligence; context free grammars; context-free grammars; equivalance; graph theory; language theory",
10905 …theory (or its derivatives) for the concise and accurate description of program semantics. It is s…
10931 classcodes = "C4230D (Sequential switching theory); C5210 (Logic design methods)",
11167 classcodes = "C4240 (Programming and algorithm theory)",
11171 …n; computer metatheory; inductive methods; least fixedpoint; programming theory; properties of pro…
11193 classcodes = "C4240 (Programming and algorithm theory)",
11197 … exit statement; flowchart; go to statement; node splitting; programming theory; repeat statement;…
11242 classcodes = "B0240C (Queueing theory); C1140C (Queueing theory)",
11250 …ntial servers; operations research; probability; queueing networks; queueing theory; steady state",
11258 …title = "Information Theory Applied to the Conversion of Decision Tables to Computer Progra…
11268 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/inductive.inferen…
11269 …abstract = "Using ideas from information theory, this paper develops a heuristic algorithm tha…
11271 classcodes = "C4240 (Programming and algorithm theory)",
11275 …ision tables; decision theory and analysis; information measure; information theory; optimum compu…
11362 …the symbol-table lookup of structured variables based on simple automata theory is presented. The …
11368 …keywords = "automata theory; COBOL; computer programming languages; computer systems programmi…
11433 …keywords = "ALGOL; analysis; binary model; group theory; lattice; outer product; permutation; …
11452 …keywords = "FORTRAN; graph theory; Hamiltonian circuit; optimisation; routing problem; shortes…
11468 …"ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bib and ftp://ftp.ira.uka.de/pub/bibl…
11473 …ers; fgraph coloring related clique backtracking branch and bound; graph theory; maximal complete;…
11699 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
11703 …keywords = "computer operating systems; page residency; program behaviour; programming theory;…
11764 …keywords = "ALGOL; elementary circuits; graph; graph theory; path search algorithm; subroutine…
11904 …classcodes = "C4210 (Formal logic); C4220 (Automata theory); C6150C (Compilers, interpreters and…
12031 …keywords = "in place; matrix algebra; matrix operations; number theory; permutations; primitiv…
12091 …classcodes = "C4240 (Programming and algorithm theory); C5230 (Digital arithmetic methods); C615…
12131 classcodes = "C4290 (Other computer theory); C6110 (Systems analysis and programming)",
12330 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
12376 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
12619 …keywords = "automata theory; BNF; compilers; computer programming languages; context sensitive…
12641 …classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging a…
12645 …theory --- Theorem Proving; boundary conditions; computer operating systems; computer programming;…
12865 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
13130 classcodes = "C4240 (Programming and algorithm theory)",
13135 …imitive resolutions; problem; program synthesizing algorithm; programming theory; theorem proving",
13205 …keywords = "mutually exclusive subsets; PARTEXACT; partitions; permutations; set theory; subro…
13325 title = "Design for a Number Theory Package with an Optimized Trial Division Routine",
13336 …abstract = "A number theory package is described which uses doubly linked list structures for …
13342 …rs; macro language; mathematical techniques; multiprecise; number theory; number theory package; o…
13503 …keywords = "complete graph; feature; FORTRAN; graph theory; human perception; minimal spanning…
13706 …tion; direct access; file organization; information retrieval; information theory; text searching",
13707 …ncy distribution of text; index keys; information retrieval; information theory; large; rectangula…
13906 …isation; fixed point numbers; information coding techniques; information theory; programs; text co…
13996 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bi…
14003 …tional administrative data processing; graph colouring conditions; graph theory; graphs; graphs wi…
14046 …mainly program debugging and optimization in practice. Extensions to the theory of computation and…
14048 …classcodes = "C4290 (Other computer theory); C6110 (Systems analysis and programming); C6150G (D…
14052 …ng; decision tables; objectives; optimization; program; semantics; systems; theory of programming",
14111 …raph; natural sciences applications of computers; orbits; semigroup; set theory; sets; spanning tr…
14369 …title = "Extending the Information Theory Approach to Converting Limited-Entry Decision Tab…
14380 …into efficient flowcharts and the well-understood problem in information theory of noiseless codin…
14386 … decision tables; depth of search; flowcharting; flowcharts; information theory approach; limited …
14402 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/ProbAlgs.bib and …
14730 …theory plus additional heuristics. Fundamental to the method is a set of productions together with…
14736 …programming; humanities; languages; models of cognitive processes; music theory; probabilistic gra…
14777 classcodes = "C4220 (Automata theory); C6150J (Operating systems)",
14779 …keywords = "(computers); automata theory; distributed control; error recovery; fault tolerant …
15000 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bi…
15002 …se formulations can be presented in the terminology of classical Network Theory. \par One such for…
15004 …timisation techniques); C1180 (Optimisation techniques); C1290F (Systems theory applications in in…
15008 …xamination scheduling; graph; graph coloring; graph theory; mathematical techniques --- Graph Theo…
15196 …ith A. S. Householder, the character and use of algebraic methods in the theory of norms is demons…
15303 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/gvl.bib",
15356 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
15387 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
15391 …niques; program correctness; program execution; programming; programming theory; structured; syste…
15476 …chniques; matrix formulation; mean; stably updating; standard deviation; theory; transformations; …
15540 …keywords = "artificial intelligence; automata theory; conceptual base; conceptual properties; …
15687 classcodes = "C4240 (Programming and algorithm theory); C7310 (Mathematics computing)",
15691 …keywords = "algorithm theory; bound; computational complexity; computer programming; mathemati…
15730 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
16029 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bib",
16045 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bib",
16111 …classcodes = "C1230 (Artificial intelligence); C4290 (Other computer theory); C7820 (Humanities …
16115 …keywords = "artificial intelligence; automata theory --- Computational Linguistics; computatio…
16134 …keywords = "basic; BASIC GENERATOR; cycle generation; finite undirected graph; graph theory; P…
16176 keywords = "graph theory; kth shortest paths; N node network; networks; nodes; optimisation",
16277 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bib",
16297 keywords = "basic cycles; cycles; generation; graph; graph theory; PL/I; subroutines",
16438 …keywords = "algorithm; automata theory --- Finite Automata; bibliographic search; computationa…
16481 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/Seiferas/1975.bib…
16507 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Seiferas/1975.bib",
16509 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
16625 …keywords = "automata theory; computational linguistics; computer grammars; computer programmin…
16809 …bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib and ftp://ftp.ira.uka.de/p…
16937 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/Seiferas/1975.bib…
17054 …ristics is examined using analytical techniques. Using standard queueing theory, each disk drive i…
17056 …ristics is examined using analytical techniques. Using standard queueing theory, each disk drive i…
17061 …descriptors = "Analysis; queueing theory; queueing system; model; disk; system evaluation; schedu…
17064 …erational; optimization; probability --- Queueing Theory; probability density function; queueing t…
17207 classcodes = "C4240 (Programming and algorithm theory)",
17211 … merging; parallel binary insertion; parallel processing; parallel processors; programming theory",
17231 classcodes = "B0240C (Queueing theory); C1140C (Queueing theory)",
17238 …te; multinomial sums; operations research --- Computer Applications; probability; queueing theory",
17307 classcodes = "C4290 (Other computer theory); C6110 (Systems analysis and programming)",
17350 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/graph.coloring.bi…
17353 …classcodes = "C4240 (Programming and algorithm theory); C6100 (Software techniques and systems)",
17357 …roblem; nonattacking queen's problem; pentominoes; problems; programming theory; search; shorten t…
17379 classcodes = "C4240 (Programming and algorithm theory)",
17455 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
17459 …keywords = "attribute grammars; automata theory; circ; circularity problem; computational comp…
17482 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
17486 keywords = "automata theory; computer programming languages",
17508 …ph; function spaces; global flow analysis; go-to-less programming; graph theory; information propa…
17531 classcodes = "C4240 (Programming and algorithm theory)",
17535 …erruptible; parallel processing; parallel programs; process; programming theory; reduction; semaph…
17554 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
17558 …age; mappings; optimisation; program; programming languages; programming theory; set theoretically…
17660 classcodes = "C4290 (Other computer theory); C6120 (File organisation)",
17951 …optimal joining policy; price; priority queues; probability --- Queueing Theory; research; schedul…
17970 classcodes = "C4240 (Programming and algorithm theory)",
17974 …sting data; flow graphs; optimisation; program optimisation; programming theory; static analysis; …
18405 …classcodes = "C4290 (Other computer theory); C5400 (Analogue and digital computers and systems)",
18474 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
18478 …mming; mathematical techniques --- Combinatorial Mathematics; optimal program; programming theory",
18517 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Seiferas/1976.bib",
18533 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Seiferas/1976.bib",
18582 …classcodes = "C4290 (Other computer theory); C5400 (Analogue and digital computers and systems);…
18586 …keywords = "assertions; computer metatheory --- Programming Theory; computer systems, digital;…
18658 …ocessing --- Security of Data; decision rules; decision tables; decision theory and analysis; inte…
18756 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
18761 …keywords = "algorithm theory; data structures; discrete event simulation; event; heaps; priori…
18806 …theory of programming language semantics developed by D. Scott and C. Strachey. The application of…
18812 …theory --- Context Free Languages; computer metatheory; computer programming languages --- Analysi…
18860 classcodes = "C4210 (Formal logic); C4220 (Automata theory); C6150J (Operating systems)",
18864 …keywords = "(computers); automata theory --- Turing Machines; computability and decidability; …
18971 classcodes = "C4240 (Programming and algorithm theory)",
19001 …keywords = "ambiguity; automata theory; combinatorial optimisation; computer programming --- S…
19020 …classcodes = "C4290 (Other computer theory); C6150C (Compilers, interpreters and other processor…
19046 classcodes = "C4240 (Programming and algorithm theory)",
19050 …keywords = "algorithm theory; codes, symbolic; combinations; combinatorial computing; composit…
19094 classcodes = "C4290 (Other computer theory); C6120 (File organisation)",
19115 …ze of this weighting function are chosen using digital signal processing theory. The patch renderi…
19512 …20 (Mathematical analysis); C1250 (Pattern recognition); C1290L (Systems theory applications in bi…
19515 …keywords = "automata theory --- Context Free Languages; biomedical engineering --- Computer Ai…
19541 …plication programming; COBOL; Cobol; computer metatheory --- Programming Theory; computer programm…
19608 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
19612 …val; secondary keys; sorting; systems science and cybernetics --- Artificial Intelligence; theory",
19744 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
19791 classcodes = "C1140C (Queueing theory); C1180 (Optimisation techniques)",
19795 …cal programming, linear; MPS package; phenomena; probability --- Queueing Theory; queueing theory",
19812 …atorial mathematics); C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)",
19912 …phase; nonpaged memories; performance measures; probability --- Queueing Theory; response time; st…
19962 …keywords = "automata theory --- Grammars; computational complexity; computations; computer met…
20051 …keywords = "computer metatheory --- Programming Theory; computer operating systems; computer p…
20073 classcodes = "C4240 (Programming and algorithm theory)",
20077 …Theory; computer programming; computer programming languages --- Program Debugging; functional ver…
20100 …phs; image processing; local analysis; mathematical techniques --- Graph Theory; pattern recogniti…
20123 …cial intelligence; data processing --- Psychology Applications; decision theory and analysis; huma…
20281 …keywords = "computer metatheory --- Programming Theory; computer programming; correctness; hie…
20331 …rch --- Computer Applications; probability --- Queueing Theory; queueing systems; queueing theory;…
20375 classcodes = "C4240 (Programming and algorithm theory)",
20379 …keywords = "algorithm theory; balance; balanced binary search; comparison; height balance; tot…
20500 classcodes = "C4240 (Programming and algorithm theory)",
20505 …keywords = "algorithm theory; computer programming --- Subroutines; data processing; fast algo…
20660 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
20664 …theory --- Algorithmic Languages; computer programming languages; data processing --- Data Structu…
20729 classcodes = "C4240 (Programming and algorithm theory)",
20733 … "automata theory --- Recursive Functions; computer programming; computer systems programming --…
20807 …tation efficiency; operating systems; priority; probability --- Queueing Theory; processor sharing…
21040 …b/bibliography/Object/Nierstrasz.bib and ftp://ftp.ira.uka.de/pub/bibliography/Theory/obscure.bib",
21163 keywords = "$k$ shortest paths; algorithms; computing; graph; graph theory",
21203 …abstract = "The framework for research in the theory of complexity of computations is describe…
21205 classcodes = "C4240 (Programming and algorithm theory)",
21209 …keywords = "algebraic complexity; algorithmic cost functions; algorithms; automata theory; com…
21235 …theory --- Computability and Decidability; computability and decidability; computability theory; c…
21330 …s; generation of prime numbers; mathematical techniques; methods; number theory; preprocessing tec…
21398 …y shaped three-dimensional surfaces. The method is a synthesis of spline theory and algorithms, an…
21400 …y shaped three-dimensional surfaces. The method is a synthesis of spline theory and algorithms, an…
21425 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
21449 classcodes = "C4240 (Programming and algorithm theory)",
21453 …guages; control structure; languages; nondeterministic programming; programming theory; two level",
21474 classcodes = "C4210 (Formal logic); C4220 (Automata theory)",
21478 …keywords = "automata theory; computer programming languages; finite automata; finite state mac…
21497 classcodes = "C4240 (Programming and algorithm theory); C6150J (Operating systems)",
21501 …lock avoidance; multiprogramming; operating system; probability --- Game Theory; processes; resour…
21567 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
21637 …descriptors = "Method; graphics; three-dimensional plot; display; filter theory; sampling; aliasi…
21724 …classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory); C6140D (High level…
21765 …classcodes = "C4240 (Programming and algorithm theory) 1 Years All Years in which items were pub…
21767 keywords = "optimal approach; optimal fixedpoints; programming theory; recursive programs",
21809 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/ProbAlgs.bib",
21862 classcodes = "C4240 (Programming and algorithm theory)",
21866 …rn matching computational induction; program transformation; programming theory; recursion introdu…
21975 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
22025 classcodes = "C4240 (Programming and algorithm theory)",
22027 …; garbage collector; parallel processing; parallel programs; programming theory; proving; storage …
22046 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
22284 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/ProbAlgs.bib and …
22292 …rity of Data; decryption key; digital signatures; encryption key; number theory; operating protect…
22311 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
22315 …; PL/1; procedure; procedure integration; procedure linkage; programming theory; recursion elimina…
22337 …inatorial mathematics); C1180 (Optimisation techniques); C4240 (Programming and algorithm theory)",
22417 …classcodes = "C1180 (Optimisation techniques); C1260 (Information theory); C4140 (Linear algebra…
22443 classcodes = "C4240 (Programming and algorithm theory)",
22448 …intermittent-assertion method; program; program correctness; programming theory; termination proof…
22467 …ideo signal processing); C1250 (Pattern recognition); C1260 (Information theory); C6130B (Graphics…
22534 …keywords = "concepts; decision information; decision theory and analysis; government data proc…
22575 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
22580 …keywords = "deletions; insertions; one sided height balanced trees; programming theory; trees …
22798 …classcodes = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and othe…
22800 …exity; instructions; lengths of programs; program assemblers; programming; span dependent; theory",
22917 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/obscure.bib",
22946 …classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging a…
22950 …keywords = "computer programming; procedures; program testing; programming theory; proving pro…
22966 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/obscure.bib",
23042 …artificial intelligence; complexity; computer metatheory --- Programming Theory; computer programm…
23064 classcodes = "C1180 (Optimisation techniques); C1290 (Applications of systems theory)",
23146 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
23150 …programming; data structures; deletion; one; optimal method; programming theory; sided height bala…
23169 classcodes = "C4240 (Programming and algorithm theory); C6120 (File organisation)",
23173 …rees; computer programming; Data retrieval; data structures; programming theory; range conditions;…
23195 classcodes = "C4210 (Formal logic); C4240 (Programming and algorithm theory)",
23199 …keywords = "algorithm theory; average times; benchmarks; bottom up SLR(1) parser; computer pro…
23390 classcodes = "C4240 (Programming and algorithm theory)",
23394 …keywords = "algorithm theory; computational complexity; computational model; computer metatheo…
23537 …classcodes = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and othe…
23564 …classcodes = "C4240 (Programming and algorithm theory); C6150G (Diagnostic, testing, debugging a…
23590 classcodes = "C4290 (Other computer theory); C5420 (Mainframes and minicomputers)",
23635 …rogram transformation; programming languages; Rhighnam; structured data; theory ak; Turing award l…
23784 …malism in general relativity); A0430 (Gravitational waves and radiation: theory); C6130 (Data hand…
23828 classcodes = "C4240 (Programming and algorithm theory)",
23832 …low analysis algorithm; optimal in time complexity; program; programming theory; recursive program…
23943 classcodes = "C1290 (Applications of systems theory)",
24059 classcodes = "C1140C (Queueing theory); C6150J (Operating systems)",
24064 …ition; parallel I/O; parallel processing; pario bib; processing; queueing models; queueing theory",
24107 classcodes = "C1260 (Information theory)",
24244 classcodes = "C1290 (Applications of systems theory); C6130 (Data handling techniques)",
24410 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
24412 …; LISP; Lisp; LISP; Parallel evaluation; parallel evaluation; programming theory; suspending cons",
24432 classcodes = "C4240 (Programming and algorithm theory); C6140D (High level languages)",
24436 …h; path expressions; procedure calls; procedures; processes; programming theory; semaphores; stora…
24458 …classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C6120…
24484 …classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C6120…
24523 …finding values for a set of variables subject to a set of constraints. A theory of consistency lev…
24525 classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory)",
24529 … network representation; graph colouring; LISP; problem; programming theory; theory of consistency…
24621 …keywords = "computer programming; linear sieve algorithm; number theory; prime factorization; …
24711 classcodes = "C4240 (Programming and algorithm theory)",
24715 …bles; heuristically guided search; mathematical programming, dynamic; optimal; programming theory",
24783 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
24899 …tiprogramming; multitasking; performance; priorities; queueing models; queueing theory; tradeoffs",
24943 …classcodes = "C4240 (Programming and algorithm theory); C6110 (Systems analysis and programming)…
24947 … programming; program manipulation; program transformations; programming theory; semantic transfor…
25032 …classcodes = "C4240 (Programming and algorithm theory); C6150C (Compilers, interpreters and othe…
25036 …optimizer; partial redundancies; program; program compilers; programming theory; redundant computa…
25370 …bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/clique.color.bib",
25378 …ng; graph; graph colouring; heuristic; mathematical techniques --- Graph Theory; maximal; operatio…
25397 classcodes = "C4240 (Programming and algorithm theory)",
25401 …l verification; philosophical aspects; program language design; programming theory; specification",
25417 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Theory/ProbAlgs.bib",
25421 classcodes = "C4290 (Other computer theory); C6150J (Operating systems)",
25471 classcodes = "C4240 (Programming and algorithm theory)",
25475 …; laws; merging; notations; ordering; partitions; pointwise; programming theory; programs; reasoni…
25598 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/Seiferas/1979.bib",
25617 …tion, image and video signal processing); C1250 (Pattern recognition); C1260 (Information theory)",
25738 classcodes = "C4240 (Programming and algorithm theory)",
25740 …keywords = "algorithm; algorithm theory; computer programs; control; logic; programming theory…
25803 …onnected components; fetch instructions; file organisation; Graph theory; graph theory; operating …
25821 bibsource = "ftp://ftp.ira.uka.de/pub/bibliography/Theory/obscure.bib",
25823 classcodes = "C4240 (Programming and algorithm theory)",
25825 …keywords = "multiset orderings; program variables; programming theory; proving the termination…
25927 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
25951 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
25954 descriptors = "Method; information system; search tree; graph theory;",
25977 …classcodes = "C1160 (Combinatorial mathematics); C4240 (Programming and algorithm theory); C6160…
26043 …bibliography/Distributed/QLD/1979.bib and ftp://ftp.ira.uka.de/pub/bibliography/Theory/Matrix.bib",
26134 classcodes = "C4240 (Programming and algorithm theory)",
26136 keywords = "calendar program; correctness; formal specification; programming theory; proof",