|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1424 occurrences of 808 keywords
|
|
|
Results
Found 2517 publication records. Showing 2517 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
14 | Gerlind Plonka |
Two-scale symbol and autocorrelation symbol for B-splines with multiple knots. |
Adv. Comput. Math. |
1995 |
DBLP DOI BibTeX RDF |
Subject classification Primary 41A15, 42A38, 65D07 |
14 | Xiaoyong Du 0001, Naohiro Ishii |
An Algebraic Rewriting Theorem of Multiple Linear Recursions and Its Applications |
DEXA |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Guozhu Dong, Jianwen Su |
Increment Boundedness and Nonrecursive Incremental Evaluation of Datalog Queries. |
ICDT |
1995 |
DBLP DOI BibTeX RDF |
|
14 | Tom Mens, Kim Mens, Patrick Steyaert |
OPUS: a Formal Approach to Object-Orientation. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Dan Suciu, Val Tannen |
A Query Language for NC. |
PODS |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Richard E. Pattis |
Teaching EBNF first in CS 1. |
SIGCSE |
1994 |
DBLP DOI BibTeX RDF |
|
14 | Rob J. van Glabbeek |
A Complete Axiomatization for Branching Bisimulation Congruence of Finite-State Behaviours. |
MFCS |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Ashish Gupta 0001, Inderpal Singh Mumick, V. S. Subrahmanian |
Maintaining Views Incrementally. |
SIGMOD Conference |
1993 |
DBLP DOI BibTeX RDF |
SQL, Datalog |
14 | Weidong Chen 0005, David Scott Warren |
Query Evaluation under the Well Founded Semantics. |
PODS |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Allen Van Gelder |
Foundations of Aggregation in Deductive Databases. |
DOOD |
1993 |
DBLP DOI BibTeX RDF |
|
14 | Rosana S. G. Lanzelotte, Patrick Valduriez, Mohamed Zaït |
Optimization of Object-Oriented Recursive Queries using Cost-Controlled Strategies. |
SIGMOD Conference |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Allen Van Gelder |
The Well-Founded Semantics of Aggregation. |
PODS |
1992 |
DBLP DOI BibTeX RDF |
Prolog |
14 | Klaus P. Jantke |
Case-Based Learning in Inductive Inference. |
COLT |
1992 |
DBLP DOI BibTeX RDF |
|
14 | Huimin Lin |
PAM: A Process Algebra Manipulator. |
CAV |
1991 |
DBLP DOI BibTeX RDF |
|
14 | Tom H. Axford |
An elementary language construct for parallel programming. |
ACM SIGPLAN Notices |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Upen S. Chakravarthy, John Grant, Jack Minker |
Logic-Based Approach to Semantic Query Optimization. |
ACM Trans. Database Syst. |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Saumya K. Debray, Nai-Wei Lin |
Static Estimation of Query Sizes in Horn Programs. |
ICDT |
1990 |
DBLP DOI BibTeX RDF |
|
14 | Greg Nelson |
A Generalization of Dijkstra's Calculus. |
ACM Trans. Program. Lang. Syst. |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Bent Thomsen |
A Calculus of Higher Order Communicating Systems. |
POPL |
1989 |
DBLP DOI BibTeX RDF |
CCS |
14 | Loïc Colson |
About Primitive Recursive Algorithms. |
ICALP |
1989 |
DBLP DOI BibTeX RDF |
|
14 | Susumu Yamasaki |
Dataflow Programs for Parallel Computations of Logic Programs and their Semantics. |
PARLE (2) |
1989 |
DBLP DOI BibTeX RDF |
Semantics for fair nodeterminism, Parallel computation of logic programs, Dataflow |
14 | Giuseppe Cattaneo, Vincenzo Loia |
A common-LISP implementation of an extended Prolog system. |
ACM SIGPLAN Notices |
1988 |
DBLP DOI BibTeX RDF |
Prolog, LISP |
14 | H. Peter Gumm |
Continuations of logic programs. |
Algebraic Logic and Universal Algebra in Computer Science |
1988 |
DBLP DOI BibTeX RDF |
|
14 | John C. Mitchell, Robert Harper 0001 |
The Essence of ML. (long version: TOPLAS 15(2): 211-252 (1993)) |
POPL |
1988 |
DBLP DOI BibTeX RDF |
ML |
14 | Saumya K. Debray |
Unfold/Fold Transformations and Loop Optimization of Logic Programs. |
PLDI |
1988 |
DBLP DOI BibTeX RDF |
|
14 | Dieter Spreen |
On Functions Computable in Nondeterministic Polynomial Time: Some Characterizations. |
CSL |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Alberto Pettorossi |
Program Development Using Lambda Abstraction. |
FSTTCS |
1987 |
DBLP DOI BibTeX RDF |
|
14 | Arthur H. Veen |
Dataflow Machine Architecture. |
ACM Comput. Surv. |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Paris C. Kanellakis |
Logic Programming and Parallel Complexity. |
ICDT |
1986 |
DBLP DOI BibTeX RDF |
|
14 | Klaus Indermark |
Complexity of Infinite Trees. |
ICALP |
1983 |
DBLP DOI BibTeX RDF |
|
14 | John Case, Christopher Lynes |
Machine Inductive Inference and Language Identification. |
ICALP |
1982 |
DBLP DOI BibTeX RDF |
|
14 | Stephen L. Bloom, David B. Patterson |
Easy Solutions are Hard To Find. |
CAAP |
1981 |
DBLP DOI BibTeX RDF |
|
14 | Stefan Sokolowski |
A Uniform Approach to Applicative and Imperative Features in Programming Languages. |
MFCS |
1980 |
DBLP DOI BibTeX RDF |
|
14 | Ken C. Liu, Arthur C. Fleck |
String Pattern Matching in Polynomial Time. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Norman H. Cohen |
Characterization and Elimination of Redundancy in Recursive Programs. |
POPL |
1979 |
DBLP DOI BibTeX RDF |
|
14 | Rod M. Burstall, John Darlington |
A Transformation System for Developing Recursive Programs. |
J. ACM |
1977 |
DBLP DOI BibTeX RDF |
|
14 | Paul R. Young |
Toward a Theory of Enumerations. |
J. ACM |
1969 |
DBLP DOI BibTeX RDF |
|
14 | Herbert Kanner, P. Kosinski, Charles L. Robinson |
The structure of yet another ALGOL compiler. |
Commun. ACM |
1965 |
DBLP DOI BibTeX RDF |
ALGOL |
14 | James A. Ayers |
Recursive programming in Fortran II. |
Commun. ACM |
1963 |
DBLP DOI BibTeX RDF |
|
14 | Marvin Blum |
On Exponential Digital Filters. |
J. ACM |
1959 |
DBLP DOI BibTeX RDF |
|
14 | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
Nested interpolants. |
POPL |
2010 |
DBLP DOI BibTeX RDF |
floyd-hoare logic, nested words, static analysis, interpolants, abstract interpretation, recursion, software model checking, abstraction refinement |
14 | Herman Koppelman, Betsy van Dijk |
Teaching abstraction in introductory courses. |
ITiCSE |
2010 |
DBLP DOI BibTeX RDF |
abstraction, pedagogy, computer science, recursion, abstraction level |
14 | Jesús Ubaldo Quevedo-Torrero |
Solving Recursive Queries Using Depth First Search. |
ITNG |
2010 |
DBLP DOI BibTeX RDF |
teaching methodology, relational databases, Recursion |
14 | Tamás Terlaky |
Criss-Cross Pivoting Rules. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Criss-cross method, Recursion, Cycling, Oriented matroids, Linear optimization, Pivot rules |
14 | Tamás Terlaky |
Least-index Anticycling Rules. |
Encyclopedia of Optimization |
2009 |
DBLP DOI BibTeX RDF |
Anticycling, Least-index, Recursion, Oriented matroids, Pivot rules |
14 | Sanjay Jain 0001, Eric Martin 0002, Frank Stephan 0001 |
Input-Dependence in Function-Learning. |
Theory Comput. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Various forms of input presentation, Team learning, Learning with additional information, Inductive inference, Recursion theory |
14 | Yanhong A. Liu, Scott D. Stoller |
From datalog rules to efficient programs with time and space guarantees. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
data structure design, indexed representations, linked representations, optimization, indexing, program transformation, Datalog, recursion, tabling, Complexity analysis, incremental computation |
14 | Chin Soon Lee |
Ranking functions for size-change termination. |
ACM Trans. Program. Lang. Syst. |
2009 |
DBLP DOI BibTeX RDF |
?-Automaton, multiple recursion, size-change termination, determinization, ranking function, termination analysis |
14 | Robert M. Languedoc, James C. McKim Jr., Joseph G. Trausch |
Using a recursive traversal algorithm with an active composite pattern in swing applications. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
visitor, composite, recursion, desktop |
14 | Ana Bove, Peter Dybjer, Andrés Sicard-Ramírez |
Embedding a logical theory of constructions in Agda. |
PLPV |
2009 |
DBLP DOI BibTeX RDF |
general recursion, logical theory of constructions, type theory |
14 | Brian J. McNely |
Backchannel persistence and collaborative meaning-making. |
SIGDOC |
2009 |
DBLP DOI BibTeX RDF |
mobilization, recursion, persistence, twitter, microblogging, backchannel |
14 | Anna M. Manning, David J. Haglin, John A. Keane |
A recursive search algorithm for statistical disclosure assessment. |
Data Min. Knowl. Discov. |
2008 |
DBLP DOI BibTeX RDF |
Unique itemset, Algorithm, Recursion, Search space, Statistical disclosure |
14 | Richard A. Frost, Rahmatullah Hafiz, Paul Callaghan |
Parser Combinators for Ambiguous Left-Recursive Grammars. |
PADL |
2008 |
DBLP DOI BibTeX RDF |
left recursion, natural-language parsing, functional programming, ambiguity, Parser combinators |
14 | Andrea Asperti |
The intensional content of Rice's theorem. |
POPL |
2008 |
DBLP DOI BibTeX RDF |
complexity, computability, recursion theory |
14 | Ali Erkan, Diyan Gochev |
An image background detection project for a visual exploration of DFS and BFS. |
SIGCSE |
2008 |
DBLP DOI BibTeX RDF |
visualization, algorithms, data structures, recursion, queues, stacks |
14 | Hannes Kegel, Friedrich Steimann |
Systematically refactoring inheritance to delegation in java. |
ICSE |
2008 |
DBLP DOI BibTeX RDF |
open recursion, evaluation, design, refactoring, inheritance, delegation, forwarding |
14 | Steven Minsker |
The linear twin Towers of Hanoi problem. |
ACM SIGCSE Bull. |
2007 |
DBLP DOI BibTeX RDF |
recursion, analysis of algorithms, Towers of Hanoi |
14 | Geoff W. Hamilton |
Distillation: extracting the essence of programs. |
PEPM |
2007 |
DBLP DOI BibTeX RDF |
superlinear improvement, program transformation, termination, generalisation, tail-recursion |
14 | Sandra Alves, Maribel Fernández, Mário Florido, Ian Mackie |
Linear Recursive Functions. |
Rewriting, Computation and Proof |
2007 |
DBLP DOI BibTeX RDF |
linear calculi, computable functions, iteration, Recursion theory |
14 | John Case, Samuel E. Moelius |
Cautious virus detection in the extreme. |
PLAS |
2007 |
DBLP DOI BibTeX RDF |
co-isolated sets, program self-reference, simple sets, virus detection, recursion theorems |
14 | Garnett Carl Wilson, Malcolm I. Heywood |
Learning recursive programs with cooperative coevolution of genetic code mapping and genotype. |
GECCO |
2007 |
DBLP DOI BibTeX RDF |
recursion, redundant representation, cooperative coevolution, genetic code, genotype-phenotype mapping, developmental genetic programming |
14 | Sanjay Jain 0001, Eric Martin 0002, Frank Stephan 0001 |
Input-Dependence in Function-Learning. |
CiE |
2007 |
DBLP DOI BibTeX RDF |
various forms of input presentation, team learning, learning with additional information, Inductive inference, recursion theory |
14 | José R. Paramá, Nieves R. Brisaboa, Miguel R. Penabad, Ángeles Saavedra Places |
A semantic approach to optimize linear datalog programs. |
Acta Informatica |
2006 |
DBLP DOI BibTeX RDF |
Deductive databases, Recursion, Semantic query optimization, SQL:1999 |
14 | Hans Hüttel, Jirí Srba |
Decidability Issues for Extended Ping-Pong Protocols. |
J. Autom. Reason. |
2006 |
DBLP DOI BibTeX RDF |
replication, cryptographic protocols, formal modelling, recursion |
14 | Linda Lawton |
Almost complemented Pi01 classes. |
Arch. Math. Log. |
2006 |
DBLP DOI BibTeX RDF |
?01 classes, computability, recursion |
14 | Jennifer Tenzer, Perdita Stevens |
On modelling recursive calls and callbacks with two variants of Unified Modelling Language state diagrams. |
Formal Aspects Comput. |
2006 |
DBLP DOI BibTeX RDF |
Protocol state machines, UML, Recursion, Object-oriented modelling, State machines, Callbacks |
14 | Robert Granat, Isak Jonsson, Bo Kågström |
Recursive Blocked Algorithms for Solving Periodic Triangular Sylvester-Type Matrix Equations. |
PARA |
2006 |
DBLP DOI BibTeX RDF |
Sylvester-type matrix equations, periodic matrix equations, recursion, blocking, superscalar, level 3 BLAS |
14 | Alexander Holt, Sarah Rauchas, Ian D. Sanders |
Introducing python into the first year curriculum at wits. |
ITiCSE |
2006 |
DBLP DOI BibTeX RDF |
imperative, programming experience, SCHEME, recursion, Python, schools |
14 | Oscar Waddell, Dipanwita Sarkar, R. Kent Dybvig |
Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct. |
High. Order Symb. Comput. |
2005 |
DBLP DOI BibTeX RDF |
letrec restriction, recursive binding construct, internal definitions, optimization, Scheme, modules, mutual recursion |
14 | Raymond T. Boute |
Functional declarative language design and predicate calculus: a practical approach. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
Leibniz's principle, binary algebra, calculational reasoning, elastic operators, function equality, functional predicate calculus, summation, software engineering, databases, programming languages, Analysis, recursion, generic functionals, declarative languages, limits, quantifiers, program semantics |
14 | Tom Hirschowitz, Xavier Leroy |
Mixin modules in a call-by-value setting. |
ACM Trans. Program. Lang. Syst. |
2005 |
DBLP DOI BibTeX RDF |
type systems, recursion, modules, Mixins |
14 | J. Ángel Velázquez-Iturbide |
A programming languages course for freshmen. |
ITiCSE |
2005 |
DBLP DOI BibTeX RDF |
language description, programming languages, functional programming, recursion, programming paradigms, formal grammars |
14 | John P. Dougherty, David Wonnacott |
Use and assessment of a rigorous approach to CS1. |
SIGCSE |
2005 |
DBLP DOI BibTeX RDF |
multi-paradigm, verification, pedagogy, CS1, gender, recursion, rigor |
14 | Lee Spector, Jon Klein, Maarten Keijzer |
The Push3 execution stack and the evolution of control. |
GECCO |
2005 |
DBLP DOI BibTeX RDF |
reversing a list, stack-based genetic programming, sorting, recursion, iteration, combinators, exponentiation, push, parity, Fibonacci sequence, factorial |
14 | Alexei Vernitski |
Finite quasivarieties and self-referential conditions. |
Stud Logica |
2004 |
DBLP DOI BibTeX RDF |
quasi-identity, pseudovariety, self-referential condition, recursion, quasivariety |
14 | Clare E. Martin, Jeremy Gibbons, Ian Bayley |
Disciplined, efficient, generalised folds for nested datatypes. |
Formal Aspects Comput. |
2004 |
DBLP DOI BibTeX RDF |
Functor category, Nested datatype, Non-regular datatype, Non-uniform datatype, Polymor- phic recursion, Universal property, Fold |
14 | John Clements, Matthias Felleisen |
A tail-recursive machine with stack inspection. |
ACM Trans. Program. Lang. Syst. |
2004 |
DBLP DOI BibTeX RDF |
tail call optimization, Stack inspection, tail recursion |
14 | Nick Parlante, David Matuszek, Jeff Lehman, David Reed, John K. Estell, Donald D. Chinn |
Nifty assignments. |
SIGCSE |
2004 |
DBLP DOI BibTeX RDF |
minesweeper, pirate, education, object oriented programming, pedagogy, recursion, library, repository, assignments, examples, nifty, homeworks, cards |
14 | Neng-Fa Zhou, Yi-Dong Shen, Taisuke Sato |
Semi-naive evaluation in linear tabling. |
PPDP |
2004 |
DBLP DOI BibTeX RDF |
linear tabling, semi-naive evaluation, prolog, recursion, tabling, memoization |
14 | Ferruccio Damiani |
Rank 2 intersection types for local definitions and conditional expressions. |
ACM Trans. Program. Lang. Syst. |
2003 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Type inference, principal typings |
14 | Yanhong A. Liu, Scott D. Stoller |
Optimizing Ackermann's function by incrementalization. |
PEPM |
2003 |
DBLP DOI BibTeX RDF |
tabulation, optimization, caching, program transformation, recursion, iteration, incrementalization, incremental computation, memoization |
14 | Alistair E. R. Campbell, Geoffrey L. Catto, Eric E. Hansen |
Language-independent interactive data visualization. |
SIGCSE |
2003 |
DBLP DOI BibTeX RDF |
visualization, data-structures, recursion, CS2, scope |
14 | Neng-Fa Zhou, Taisuke Sato |
Efficient fixpoint computation in linear tabling. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
linear tabling, prolog, recursion, tabling, optimization techniques, memoization |
14 | Yanhong A. Liu, Scott D. Stoller |
From datalog rules to efficient programs with time and space guarantees. |
PPDP |
2003 |
DBLP DOI BibTeX RDF |
data structure design, indexed representations, linked representations, optimization, indexing, program transformation, datalog, recursion, tabling, complexity analysis, incremental computation |
14 | Isak Jonsson, Bo Kågström |
Recursive blocked algorithms for solving triangular systems - Part II: two-sided and generalized Sylvester and Lyapunov matrix equations. |
ACM Trans. Math. Softw. |
2002 |
DBLP DOI BibTeX RDF |
SMP parallelization, generalized Sylvester and Lyapunov, standard discrete-time Sylvester and Lyapunov, recursion, superscalar, LAPACK, level-3 BLAS, GEMM-based, SLICOT, Matrix equations, automatic blocking |
14 | Bruno Durand 0001, Leonid A. Levin, Alexander Shen |
Complex tilings. |
STOC |
2001 |
DBLP DOI BibTeX RDF |
Kolmogrov complexity, tilings, recursion theory |
14 | Jaehwa Park, Venu Govindaraju, Sargur N. Srihari |
OCR in a Hierarchical Feature Space. |
IEEE Trans. Pattern Anal. Mach. Intell. |
2000 |
DBLP DOI BibTeX RDF |
character/digit recognition, Pattern recognition, recursion, multiresolution, feature space, hierarchical classification |
14 | Michael Huth 0001 |
On the Approximation of Denotational Mu-Semantics. |
Appl. Categorical Struct. |
1999 |
DBLP DOI BibTeX RDF |
least/greatest pixed, recursion, points, partial orders, denotational semantics |
14 | Robert O'Callahn |
A Simple, Comprehensive Type System for Java Bytecode Subroutines. |
POPL |
1999 |
DBLP DOI BibTeX RDF |
polymorphic recursion, Java, Java, types, continuations, subroutines, bytecode |
14 | R. W. Brankin, Ian Gladwell |
Algorithm 771: rksuite_90: Fortran 90 Software for Ordinary Differential Equation Initial-Value Problems. |
ACM Trans. Math. Softw. |
1997 |
DBLP DOI BibTeX RDF |
complex, recursion, Fortran 90 |
14 | Viktor K. Sabelfeld, Andrei Sabelfeld |
Simple Semantic Analysis Problems for Functional Programs. |
ICFP |
1997 |
DBLP DOI BibTeX RDF |
parameter dependence, static analysis, approximation, abstract interpretation, flow analysis, strictness analysis, recursion scheme |
14 | Martin P. Ward |
Derivation of Data Intensive Algorithms by Formal Transformation: The Schnorr-Waite Graph Marking Algorithm. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
transformational development, graph marking, Schorr-Waite, ghost variables, recursion removal, pointer switching, refinement, transformation, Program development, data refinement |
14 | Andrei P. Nemytykh, Victoria A. Pinchuk |
Program Transformation with Metasystem Transitions: Experiments with a Supercompiler. |
Ershov Memorial Conference |
1996 |
DBLP DOI BibTeX RDF |
metasystem transition, Refal, optimization, program transformation, recursion, metacomputation, supercompilation |
14 | Armin Kühnemann |
A Pumping Lemma for Output Languages of Macro Tree Transducers. |
CAAP |
1996 |
DBLP DOI BibTeX RDF |
Macro tree transducer, Pumping Lemma, Primitive Recursion |
14 | Rusins Freivalds, Efim B. Kinber, Carl H. Smith |
On the Impact of Forgetting on Learning Machines. |
J. ACM |
1995 |
DBLP DOI BibTeX RDF |
memory limited learning, machine learning, Kolmogorov complexity, inductive inference, probabilistic automata, pumping lemma, recursion theorem |
14 | Eike Best, Maciej Koutny |
Solving Recursive Net Equations. |
ICALP |
1995 |
DBLP DOI BibTeX RDF |
Petri nets, Recursion, Denotational semantics |
14 | Adrian E. Conway, Eugene Pinsky, Srinivasan Tridandapani |
Efficient Decomposition Methods for the Analysis of Multi-Facility Blocking Models. |
J. ACM |
1994 |
DBLP DOI BibTeX RDF |
blocking models, locality, recursion, sparsity, product-form, decomposition methods, circuit-switched networks, exact analysis |
14 | Haim Gaifman, Harry G. Mairson, Yehoshua Sagiv, Moshe Y. Vardi |
Undecidable Optimization Problems for Database Logic Programs. |
J. ACM |
1993 |
DBLP DOI BibTeX RDF |
query language, Datalog, recursion, boundedness |
14 | Peter Clote, Aleksandar Ignjatovic, Bruce M. Kapron |
Parallel computable higher type functionals (Extended Abstract) |
FOCS |
1993 |
DBLP DOI BibTeX RDF |
recursion-theoretic characterisations, parallel computable higher type functionals, parallel complexity classes, higher type classes, machine-theoretic characterisations, proof-theoretic characterisations |
14 | Jiawei Han 0001, Ling Liu |
Efficient Evaluation of Multiple Linear Recursions. |
IEEE Trans. Software Eng. |
1991 |
DBLP DOI BibTeX RDF |
multiple one sided linear recursions, multiple balanced K-sided recursions, multiple mixed K-sided recursion, side-coherent multiple linear recursions, single-linear recursive query evaluation, side-relation unioned processing, side-relation unioned transitive closure algorithm, side-relation unioned magic sets method, single-probe queries, information retrieval, database theory, deductive database, deductive databases, recursive functions |
Displaying result #401 - #500 of 2517 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ 13][ 14][ >>] |
|