-
1
-
-
85040319536
-
Implementation of Makanin's algorithm
-
Springer-Verlag
-
Abdulrab. Implementation of Makanin's Algorithm. In Word Equations and Related Topics, LNCS 572, pages 61-85. Springer-Verlag, 1990.
-
(1990)
Word Equations and Related Topics, LNCS
, vol.572
, pp. 61-85
-
-
Abdulrab1
-
5
-
-
0023347145
-
Iconic indexing by 2-D strings
-
May
-
S.K. Chang, Q.Y. Shi, and C.W. Yan. Iconic Indexing by 2-D Strings. IEEE PAMI, 9(3):413-428, May 1987.
-
(1987)
IEEE PAMI
, vol.9
, Issue.3
, pp. 413-428
-
-
Chang, S.K.1
Shi, Q.Y.2
Yan, C.W.3
-
6
-
-
0018705521
-
Extending the database relational model to capture more meaning
-
December
-
E.F. Codd. Extending the Database Relational Model to Capture More Meaning. ACM Trans. on Database Systems, 4(4):394-434, December 1979.
-
(1979)
ACM Trans. On Database Systems
, vol.4
, Issue.4
, pp. 394-434
-
-
Codd, E.F.1
-
7
-
-
0014797273
-
A relational model of data for large shared data banks
-
June
-
E.F. Codd. A relational model of data for large shared data banks. Comm. ACM, 13(6):377-387, June 1970.
-
(1970)
Comm. ACM
, vol.13
, Issue.6
, pp. 377-387
-
-
Codd, E.F.1
-
9
-
-
85033685833
-
Pattern matching by rsoperations: Towards a unifying approach to querying sequenced data
-
S. Ginsburg and X. Wang. Pattern Matching by RSoperations: Towards a Unifying Approach to Querying Sequenced Data. In Proc. PODS, 1992.
-
(1992)
Proc. PODS
-
-
Ginsburg, S.1
Wang, X.2
-
12
-
-
85040364182
-
Implementing a declarative string query language with string restructuring
-
R. Hakli, M. Nykanen, H. Tamm, and E. Ukkonen. Implementing a Declarative String Query Language with String Restructuring. In Proc. PADL, 1999.
-
(1999)
Proc. PADL
-
-
Hakli, R.1
Nykanen, M.2
Tamm, H.3
Ukkonen, E.4
-
13
-
-
0043252204
-
Special section on multimedia information systems
-
Special section on multimedia information systems. IEEE Trans. Knowledge and Data Engineering, 1993. Vol. 5, No. 4.
-
(1993)
IEEE Trans. Knowledge and Data Engineering
, vol.5
, Issue.4
-
-
-
14
-
-
85040349121
-
Special section on image databases
-
Special section on image databases. IEEE Trans. Software Engineering, 1988. Vol. 14, No. 5.
-
(1988)
IEEE Trans. Software Engineering
, vol.14
, Issue.5
-
-
-
15
-
-
0025207616
-
Minimal and complete word unification
-
J. Jaffar. Minimal and Complete Word Unification. Jour. ACM, 37(1):67-85, 1990.
-
(1990)
Jour. ACM
, vol.37
, Issue.1
, pp. 67-85
-
-
Jaffar, J.1
-
16
-
-
0002692684
-
Solving equations in abstract algebras: A rule-based survey of unification
-
J-L. Lassez and G. Plotkin, editors MIT Press
-
J-P. Jouannaud and C. Kirchner. Solving Equations in Abstract Algebras: A Rule-based Survey of Unification. In J-L. Lassez and G. Plotkin, editors, Computational Logic: Essays in honor of Alan Robinson, pages 257-321. MIT Press, 1991.
-
(1991)
Computational Logic: Essays in Honor of Alan Robinson
, pp. 257-321
-
-
Jouannaud, J.-P.1
Kirchner, C.2
-
18
-
-
85040329641
-
-
Math USSR Sbornik, 32,2 (1977).
-
(1977)
Math USSR Sbornik
, vol.32
, pp. 2
-
-
-
19
-
-
84910897108
-
-
Technical Report Dept of Computer Science, University of Kentucky submitted
-
A. Rajasekar. Applications in String-based First Order Logic. Technical Report 237-93, Dept of Computer Science, University of Kentucky, 1993. submitted.
-
(1993)
Applications in String-based First Order Logic
, pp. 237-293
-
-
Rajasekar, A.1
-
23
-
-
85156239486
-
Representing genetic information with formal grammars
-
D.B. Searls. Representing Genetic Information with Formal Grammars. In Proc. of AAAI, pages 386-391, 1988.
-
(1988)
Proc. of AAAI
, pp. 386-391
-
-
Searls, D.B.1
-
24
-
-
0002487729
-
Investigating the linguistics of DNA with definite clause grammars
-
MIT Press, Cambridge, Mass
-
D.B. Searls. Investigating the Linguistics of DNA with Definite Clause Grammars. In Proc. of NACLP, pages 189-208, MIT Press, Cambridge, Mass., 1989.
-
(1989)
Proc. of NACLP
, pp. 189-208
-
-
Searls, D.B.1
|