-
2
-
-
0001680003
-
Zum hilbertschen Aufbau der reellen Zahlen
-
W. Ackermann. Zum Hilbertschen Aufbau der reellen Zahlen. Math. Annalen, 99:118-133, 1928.
-
(1928)
Math. Annalen
, vol.99
, pp. 118-133
-
-
Ackermann, W.1
-
3
-
-
0002198395
-
Towards a theory of declarative knowledge
-
J. Minker, editor Morgan Kauffman, Los Altos
-
K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 89-148. Morgan Kauffman, Los Altos, 1988.
-
(1988)
Foundations of Deductive Databases and Logic Programming
, pp. 89-148
-
-
Apt, K.1
Blair, H.2
Walker, A.3
-
6
-
-
0029190384
-
Sequences, datalog and transducers
-
Special Issue on PODS'95 To Appear
-
A. J. Bonner and G. Mecca. Sequences, Datalog and Transducers. Journal of Computing and System Sciences, Special Issue on PODS'95, 1997. To Appear. http://poincare.inf.uniroma3.it:8080.
-
(1997)
Journal of Computing and System Sciences
-
-
Bonner, A.J.1
Mecca, G.2
-
10
-
-
84893432450
-
-
Communications of the ACM November
-
Communications of the ACM. Special issue on the Human Genome project, Vol. 34(11), November 1991.
-
(1991)
Special Issue on the Human Genome Project
, vol.34
, Issue.11
-
-
-
12
-
-
0039851157
-
Text dominated databases: Theory, practice and experience
-
Tutorial presented at
-
G. H. Gonnet. Text dominated databases: Theory, practice and experience. Tutorial presented at PODS, 1994.
-
(1994)
PODS
-
-
Gonnet, G.H.1
-
13
-
-
0039259426
-
Research issues in genome databases
-
Tutorial presented at
-
N. Goodman. Research issues in Genome databases. Tutorial presented at PODS, 1995.
-
(1995)
PODS
-
-
Goodman, N.1
-
15
-
-
84947797538
-
An algebra for POMSETS
-
S. Grumbach and T. Milo. An algebra for POMSETS. In Fifth International Conference on Data Base Theory, (ICDT'95), Prague, Lecture Notes in Computer Science, pages 191-207, 1995.
-
(1995)
Fifth International Conference on Data Base Theory, (ICDT'95), Prague, Lecture Notes in Computer Science
, pp. 191-207
-
-
Grumbach, S.1
Milo, T.2
-
16
-
-
0003318845
-
Some classes of recursive functions
-
Instytut Matematyczne Polskiej Akademie Nauk, Warsaw
-
A. Grzegorczyk. Some classes of recursive functions. Rozprawy Matematyczne, 4, 1953. Instytut Matematyczne Polskiej Akademie Nauk, Warsaw.
-
(1953)
Rozprawy Matematyczne
, vol.4
-
-
Grzegorczyk, A.1
-
18
-
-
0002389664
-
On a generalization of finite automata generating a hierarchy analogous to the A. Grzegorczyk's classification of the primitive recursive functions
-
V. A. Kozmidiadi. On a generalization of finite automata generating a hierarchy analogous to the A. Grzegorczyk's classification of the primitive recursive functions. Problemi Kibernetiki, 23:127-170, 1970.
-
(1970)
Problemi Kibernetiki
, vol.23
, pp. 127-170
-
-
Kozmidiadi, V.A.1
-
21
-
-
0002102256
-
Finite query languages for sequence databases
-
Gubbio, Italy. electronic Workshops in Computing - Springer-Verlag
-
G. Mecca and A. J. Bonner. Finite query languages for sequence databases. In Fifth Intern. Workshop on Database Programming Languages (DBPL'95), Gubbio, Italy. electronic Workshops in Computing - Springer-Verlag, 1995. http://www.-springer.co.uk/eWiC/Horkshops/DBPL5.html.
-
(1995)
Fifth Intern. Workshop on Database Programming Languages (DBPL'95)
-
-
Mecca, G.1
Bonner, A.J.2
-
22
-
-
0029190384
-
Sequences, datalog and transducers
-
San Jose, California
-
G. Mecca and A. J. Bonner. Sequences, Datalog and Transducers. In Fourteenth ACM SIGMOD Intern. Symposium on Principles of Database Systems (PODS'95), San Jose, California, pages 23-35, 1995. http://poincare.inf.- uniroma3.it:8080.
-
(1995)
Fourteenth ACM SIGMOD Intern. Symposium on Principles of Database Systems (PODS'95)
, pp. 23-35
-
-
Mecca, G.1
Bonner, A.J.2
-
23
-
-
0002363092
-
Computational complexity and program structure
-
A. R. Meyer and D. M. Ritchie. Computational complexity and program structure. I.B.M. Res. Rep., 1817, 1967.
-
I.B.M. Res. Rep
, vol.1817
, pp. 1967
-
-
Meyer, A.R.1
Ritchie, D.M.2
-
26
-
-
0002381095
-
String variable grammars: A logic grammar formalism for dna sequences
-
School of Medicine
-
D. B. Searls. String Variable Grammars: a logic grammar formalism for dna sequences. Technical report, University of Pennsylvania, School of Medicine, 1993.
-
(1993)
Technical Report, University of Pennsylvania
-
-
Searls, D.B.1
-
27
-
-
0002363094
-
SVP - A model capturing sets, streams and parallelism
-
Vancouver, Canada
-
D. Stott Parker, E. Simon, and P. Valduriez. SVP - a model capturing sets, streams and parallelism. In Eighteenth International Conference on Very Large Data Bases (VLDB'92), Vancouver, Canada, pages 115-126, 1992.
-
(1992)
Eighteenth International Conference on Very Large Data Bases (VLDB'92)
, pp. 115-126
-
-
Stott Parker, D.1
Simon, E.2
Valduriez, P.3
-
29
-
-
0004246255
-
-
Benjamin and Cummings Publ. Co., Menlo Park, California, fourth edition
-
J. D. Watson et al. Molecular biology of the gene. Benjamin and Cummings Publ. Co., Menlo Park, California, fourth edition, 1987.
-
(1987)
Molecular Biology of the Gene
-
-
Watson, J.D.1
|