-
1
-
-
33745369027
-
Efficient memory representation of XML documents
-
DBPL'05
-
G. Busatto, M. Lohrey, and S. Maneth. Efficient memory representation of XML documents. In DBPL'05, volume 3774 of LNCS, pages 199-216, 2005.
-
(2005)
LNCS
, vol.3774
, pp. 199-216
-
-
Busatto, G.1
Lohrey, M.2
Maneth, S.3
-
2
-
-
0004060205
-
-
release 1.10.2002
-
H. Comon, M. Dauchet, R. Gilleron, F. Jacquemard, D. Lugiez, S. Tison, and M. Tommasi. Tree automata techniques and applications. Available on: http://www.grappa.univ-lille3.fr/tata, 1997. release 1.10.2002.
-
(1997)
Tree Automata Techniques and Applications
-
-
Comon, H.1
Dauchet, M.2
Gilleron, R.3
Jacquemard, F.4
Lugiez, D.5
Tison, S.6
Tommasi, M.7
-
3
-
-
0012575636
-
Higher-order unification and matching
-
A. Robinson and A. Voronkov, editors, chapter 16, . Elsevier Science
-
G. Dowek. Higher-order unification and matching. In A. Robinson and A. Voronkov, editors, Handbook of Automated Reasoning, volume II, chapter 16, pages 1009-1062. Elsevier Science, 2001.
-
(2001)
Handbook of Automated Reasoning
, vol.2
, pp. 1009-1062
-
-
Dowek, G.1
-
4
-
-
0026219155
-
Simple second-order languages for wich unification is undecidable
-
W. M. Farmer. Simple second-order languages for wich unification is undecidable. Theoretical Computer Science, 87:173-214, 1991.
-
(1991)
Theoretical Computer Science
, vol.87
, pp. 173-214
-
-
Farmer, W.M.1
-
5
-
-
0000218554
-
The undecidability of the second-order unification problem
-
W. D. Goldfarb. The undecidability of the second-order unification problem. Theoretical Computer Science, 13:225-230, 1981.
-
(1981)
Theoretical Computer Science
, vol.13
, pp. 225-230
-
-
Goldfarb, W.D.1
-
6
-
-
49549145605
-
A unification algorithm for typed A-calculus
-
G. Huet. A unification algorithm for typed A-calculus. Theoretical Computer Science, 1:27-57, 1975.
-
(1975)
Theoretical Computer Science
, vol.1
, pp. 27-57
-
-
Huet, G.1
-
7
-
-
0030197339
-
Complexity of Makanin's algorithm
-
A. Kościelski and L. Pacholski. Complexity of Makanin's algorithm. J. ACM, 43(4):670-684, 1996.
-
(1996)
J. ACM
, vol.43
, Issue.4
, pp. 670-684
-
-
Kościelski, A.1
Pacholski, L.2
-
8
-
-
26944490354
-
Well-nested context unification
-
CADE'05
-
J. Levy, J. Niehren, and M. Villaret. Well-nested context unification. In CADE'05, volume 3632 of LNCS, pages 149-163, 2005.
-
(2005)
LNCS
, vol.3632
, pp. 149-163
-
-
Levy, J.1
Niehren, J.2
Villaret, M.3
-
9
-
-
33749423952
-
Monadic second-order unification is NP-complete
-
RTA '04
-
J. Levy, M. Schmidt-Schauß, and M. Villaret. Monadic second-order unification is NP-complete. In RTA '04, volume 3091 of LNCS, pages 55-69, 2004.
-
(2004)
LNCS
, vol.3091
, pp. 55-69
-
-
Levy, J.1
Schmidt-Schauß, M.2
Villaret, M.3
-
10
-
-
0034713205
-
On the undecidability of second-order unification
-
J. Levy and M. Veanes. On the undecidability of second-order unification. Information and Computation, 159:125-150, 2000.
-
(2000)
Information and Computation
, vol.159
, pp. 125-150
-
-
Levy, J.1
Veanes, M.2
-
11
-
-
84947216944
-
Currying second-order unification problems
-
RTA'02
-
J. Levy and M. Villaret. Currying second-order unification problems. In RTA'02, volume 2378 of LNCS, pages 326-339, 2002.
-
(2002)
LNCS
, vol.2378
, pp. 326-339
-
-
Levy, J.1
Villaret, M.2
-
12
-
-
18944397777
-
The problem of solvability of equations in a free semigroup
-
G. S. Makanin. The problem of solvability of equations in a free semigroup. Math. USSR Sbornik, 32(2):129-198, 1977.
-
(1977)
Math. USSR Sbornik
, vol.32
, Issue.2
, pp. 129-198
-
-
Makanin, G.S.1
-
13
-
-
84976745321
-
An efficient unification algorithm
-
A. Martelli and U. Montanari. An efficient unification algorithm. ACM TOPLAS, 4(2)-.258-282, 1982.
-
(1982)
ACM TOPLAS
, vol.4
, Issue.2
, pp. 258-282
-
-
Martelli, A.1
Montanari, U.2
-
14
-
-
85016671597
-
Testing equivalence of morphisms in context-free languages
-
ESA '94
-
W. Plandowski. Testing equivalence of morphisms in context-free languages. In ESA '94, volume 855 of LNCS, pages 460-470, 1994.
-
(1994)
LNCS
, vol.855
, pp. 460-470
-
-
Plandowski, W.1
-
16
-
-
84944212694
-
Stratified context unification is in PSPACE
-
CSL'01
-
M. Schmidt-Schau. Stratified context unification is in PSPACE. In CSL'01, volume 2142 of LNCS, pages 498-512, 2001.
-
(2001)
LNCS
, vol.2142
, pp. 498-512
-
-
Schmidt-Schau, M.1
-
17
-
-
0742286326
-
Decidability of bounded second order unification
-
M. Schmidt-Schauß. Decidability of bounded second order unification. Information and Computation, 188(2):143-178, 2004.
-
(2004)
Information and Computation
, vol.188
, Issue.2
, pp. 143-178
-
-
Schmidt-Schauß, M.1
-
18
-
-
33749415713
-
Polynomial equality testing for terms with shared substructures
-
Institut für Informatik. FB Informatik und Mathematik. J. W. Goethe-Universität Frankfurt am Main, November
-
M. Schmidt-Schauß. Polynomial equality testing for terms with shared substructures. Frank report 21, Institut für Informatik. FB Informatik und Mathematik. J. W. Goethe-Universität Frankfurt am Main, November 2005.
-
(2005)
Frank Report
, vol.21
-
-
Schmidt-Schauß, M.1
-
19
-
-
84958752368
-
On the exponent of periodicity of minimal solutions of context equations
-
RTA '98
-
M. Schmidt-Schauß and K. U. Schulz. On the exponent of periodicity of minimal solutions of context equations. In RTA '98, volume 1379 of LNCS, pages 61-75, 1998.
-
(1998)
LNCS
, vol.1379
, pp. 61-75
-
-
Schmidt-Schauß, M.1
Schulz, K.U.2
-
20
-
-
0031679331
-
Second-order unification and type inference for church-style polymorphism
-
A. Schubert. Second-order unification and type inference for church-style polymorphism. In POPL'98, pages 279-288, 1998.
-
(1998)
POPL'98
, pp. 279-288
-
-
Schubert, A.1
|