-
1
-
-
0000942205
-
Theory ofbraids
-
E. Artin. Theory ofbraids. Annals of Mathematics. 48(1):101–126, 1947.
-
(1947)
Annals of Mathematics
, vol.48
, Issue.1
, pp. 101-126
-
-
Artin, E.1
-
2
-
-
84974356026
-
Explicit substitutions
-
M. Abadi, L. Cardelli, P.-L. Curien, J.-J. Lévy. “Explicit substitutions”. Journal of Functional Programming, 1(4):375–416, 1991.
-
(1991)
Journal of Functional Programming
, vol.1
, Issue.4
, pp. 375-416
-
-
Abadi, M.1
Cardelli, L.2
Curien, P.-L.3
Lévy, J.-J.4
-
3
-
-
84973944182
-
Interaction Systems I: The theory ofoptimal reductions
-
A. Asperti, C. Laneve. Interaction Systems I: the theory ofoptimal reductions. In Mathematical Structures in Computer Science, Volume 4(4), pp. 457-504, 1995.
-
(1995)
Mathematical Structures in Computer Science
, vol.4
, Issue.4
, pp. 457-504
-
-
Asperti, A.1
Laneve, C.2
-
5
-
-
0001131295
-
A new approach to the word problem in the braid groups
-
J. Birman, K.H. Ko and S.J. Lee. A new approach to the word problem in the braid groups. Advances in Math. vol 139-2, pp. 322-353. 1998.
-
(1998)
Advances in Math
, vol.139-2
, pp. 322-353
-
-
Birman, J.1
Ko, K.H.2
Lee, S.J.3
-
6
-
-
0002907936
-
Computational semantics ofterm rewriting systems
-
Maurice Nivat and John C. Reynolds (eds), Cambridge University Press
-
G. Boudol. Computational semantics ofterm rewriting systems. In Maurice Nivat and John C. Reynolds (eds), Algebraic methods in Semantics. Cambridge University Press, 1985.
-
(1985)
Algebraic Methods in Semantics
-
-
Boudol, G.1
-
7
-
-
0004455697
-
Diagram Techniques for Confluence
-
March 15
-
M. Bezem, V. van Oostrom and J. W. Klop. Diagram Techniques for Confluence. Information and Computation, Volume 141, No. 2, pp. 172-204, March 15, 1998.
-
(1998)
Information and Computation
, vol.141
, Issue.2
, pp. 172-204
-
-
Bezem, M.1
Van Oostrom, V.2
Klop, J.W.3
-
8
-
-
0026152557
-
An abstract framework for environment machines
-
May
-
P.-L. Curien. An abstract framework for environment machines. Theoretical Computer Science, 82(2):389-402, 31 May 1991.
-
(1991)
Theoretical Computer Science
, vol.82
, Issue.2
, pp. 389-402
-
-
Curien, P.-L.1
-
10
-
-
0008937074
-
On completeness ofw ord reversing
-
P. Dehornoy. On completeness ofw ord reversing. Discrete Math. 225 pp 93–119, 2000.
-
(2000)
Discrete Math
, vol.225
, pp. 93-119
-
-
Dehornoy, P.1
-
16
-
-
0000380214
-
An abstract form of the Church-Rosser theorem
-
J.R. Hindley. An abstract form of the Church-Rosser theorem. Journal of Symbolic Logic, vol 34, 1969.
-
(1969)
Journal of Symbolic Logic
, vol.34
-
-
Hindley, J.R.1
-
17
-
-
84976811006
-
Confluent reductions: Abstract properties and applications to term rewriting systems
-
G. Huet. Confluent reductions: abstract properties and applications to term rewriting systems. Journal of the ACM, 27(4):797–821, 1980.
-
(1980)
Journal of the ACM
, vol.27
, Issue.4
, pp. 797-821
-
-
Huet, G.1
-
18
-
-
0003164539
-
Computations in orthogonal rewriting systems
-
J.- L. Lassez and G. D. Plotkin, editors, MIT Press
-
G. Huet, J.-J. Lévy. Computations in orthogonal rewriting systems. In J.- L. Lassez and G. D. Plotkin, editors, Computational Logic; Essays in Honor of Alan Robinson, pages 394–443. MIT Press, 1991.
-
(1991)
Computational Logic; Essays in Honor of Alan Robinson
, pp. 394-443
-
-
Huet, G.1
Lévy, J.-J.2
-
21
-
-
0001834942
-
Term Rewriting Systems
-
S. Abramsky, D. Gabbay, T. Maibaum, eds., Clarendon Press, Oxford
-
J.W. Klop. Term Rewriting Systems. In S. Abramsky, D. Gabbay, T. Maibaum, eds. Handbook of Logic in Computer Science, vol. 2, pp. 2–117. Clarendon Press, Oxford, 1992.
-
(1992)
Handbook of Logic in Computer Science
, vol.2
, pp. 2-117
-
-
Klop, J.W.1
-
23
-
-
0033687012
-
-
June
-
J.W. Klop, V. van Oostrom and R. de Vrijer. A geometric proofofconfluence by decreasing diagrams Journal of Logic and Computation, Volume 10, No. 3, pp. 437-460, June 2000
-
(2000)
A Geometric Proofofconfluence by Decreasing Diagrams Journal of Logic and Computation
, vol.10
, Issue.3
, pp. 437-460
-
-
Klop, J.W.1
Van Oostrom, V.2
De Vrijer, R.3
-
24
-
-
0002896422
-
Simple word problems in universal algebras
-
J. Leech (ed), Pergamon Press, Oxford, 1970. Reprinted in Automation of Reasoning 2. Springer Verlag
-
D. E. Knuth, P.B. Bendix. Simple word problems in universal algebras. In J. Leech (ed) Computational Problems in Abstract Algebra. Pergamon Press, Oxford, 1970. Reprinted in Automation of Reasoning 2. Springer Verlag, 1983.
-
(1983)
Computational Problems in Abstract Algebra
-
-
Knuth, D.E.1
Bendix, P.B.2
-
27
-
-
0002968794
-
Optimal reductions in the lambda-calculus
-
J.P. Seldin and J.R. Hindley, editors, To H.B, Academic Press
-
J.-J. Lévy. Optimal reductions in the lambda-calculus. In J.P. Seldin and J.R. Hindley, editors, To H.B. Curry,essays on Combinatory Logic,L ambda Calculus, and Formalisms, pp. 159–191.Academic Press, 1980.
-
(1980)
Curry,Essays on Combinatory Logic,L Ambda Calculus, and Formalisms
, pp. 159-191
-
-
Lévy, J.-J.1
-
28
-
-
0010013580
-
Optimal Derivations inWeak Lambda-calculi and in Orthogonal Term Rewriting Systems
-
L. Maranget. Optimal Derivations inWeak Lambda-calculi and in Orthogonal Term Rewriting Systems. Proceedings POPL’91.
-
Proceedings POPL’91
-
-
Maranget, L.1
-
35
-
-
0002569005
-
Higher-Order Rewrite Systems and their Confluence
-
R. Mayr, T. Nipkow. Higher-Order Rewrite Systems and their Confluence. Theoretical Computer Science, 192:3-29, 1998.
-
(1998)
Theoretical Computer Science
, vol.192
, pp. 3-29
-
-
Mayr, R.1
Nipkow, T.2
-
36
-
-
0000187751
-
On theories with a combinatorial definition of“equiv alence”
-
M. H. A. Newman. On theories with a combinatorial definition of“equiv alence”. Annals of Math. 43(2):223-243, 1942.
-
(1942)
Annals of Math
, vol.43
, Issue.2
, pp. 223-243
-
-
Newman, M.1
-
39
-
-
0028413138
-
Confluence by decreasing diagrams
-
V. van Oostrom. Confluence by decreasing diagrams. Theoretical Computer Science, 121:259–280, 1994.
-
(1994)
Theoretical Computer Science
, vol.121
, pp. 259-280
-
-
Van Oostrom, V.1
-
42
-
-
0031096224
-
Developing developments
-
March 30
-
V. van Oostrom. Developing developments. Theoretical Computer Science, Volume 175, No. 1, pp. 159-181, March 30, 1997
-
(1997)
Theoretical Computer Science
, vol.175
, Issue.1
, pp. 159-181
-
-
Van Oostrom, V.1
-
48
-
-
0347268848
-
Commutativity ofterm rewriting systems
-
K. Fuchi and L. Kott (eds), North-Holland
-
Y. Toyama. Commutativity ofterm rewriting systems. In K. Fuchi and L. Kott (eds) Programming of Future Generation Computer, vol II, pp. 393–407. North-Holland, 1988.
-
(1988)
Programming of Future Generation Computer
, vol.2
, pp. 393-407
-
-
Toyama, Y.1
|