-
1
-
-
0000764813
-
Phase semantics and sequent calculus for pure non-commutative classical linear logic
-
Abrusci, V., 1991, "Phase semantics and sequent calculus for pure non-commutative classical linear logic," Journal of Symbolic Logic 56(4), 1403-1451.
-
(1991)
Journal of Symbolic Logic
, vol.56
, Issue.4
, pp. 1403-1451
-
-
Abrusci, V.1
-
2
-
-
84958967266
-
A survey of symmetrized and complete group presentations
-
H. Comon and J. Jouannaud, eds., LNCS, Berlin: Springer-Verlag
-
Chenadec, P.L., 1995, "A survey of symmetrized and complete group presentations," pp. 135-153 in Term Rewriting, H. Comon and J. Jouannaud, eds., LNCS, Vol. 909, Berlin: Springer-Verlag.
-
(1995)
Term Rewriting
, vol.909
, pp. 135-153
-
-
Chenadec, P.L.1
-
3
-
-
54749120036
-
-
Publication interne 43, Département d'Informatique, Université de Montréal, Montréal
-
Colmerauer, A., 1970, "Les systèmes-Q ou un formalisme pour analyser et synthétiser des phrases sur ordinateur," Publication interne 43, Département d'Informatique, Université de Montréal, Montréal.
-
(1970)
Les Systèmes-Q ou un Formalisme pour Analyser et Synthétiser des Phrases sur Ordinateur
-
-
Colmerauer, A.1
-
4
-
-
5944259707
-
Linear logic for meaning assembly
-
Edinburgh
-
Dalrymple, M., Lamping, J., Pereira, F., and Saraswat, V., 1995, "Linear logic for meaning assembly," in Proceedings of the Workshop on Computational Logic for Natural Language Processing, Edinburgh.
-
(1995)
Proceedings of the Workshop on Computational Logic for Natural Language Processing
-
-
Dalrymple, M.1
Lamping, J.2
Pereira, F.3
Saraswat, V.4
-
5
-
-
2742556975
-
-
Thèse d'État, Université Joseph Fourier (Grenoble 1), Grenoble, France
-
Dymetman, M., 1992, "Transformations de grammaires logiques et réversibilité en traduction automatique," Thèse d'État, Université Joseph Fourier (Grenoble 1), Grenoble, France.
-
(1992)
Transformations de Grammaires Logiques et Réversibilité en Traduction Automatique
-
-
Dymetman, M.1
-
6
-
-
54749090372
-
Inherently reversible grammars
-
T. Strzalkowski, ed., Dordrecht: Kluwer Academic Publishers
-
Dymetman, M., 1994, "Inherently reversible grammars," pp. 33-57 in Reversible Grammar in Natural Language Processing, T. Strzalkowski, ed., Dordrecht: Kluwer Academic Publishers.
-
(1994)
Reversible Grammar in Natural Language Processing
, pp. 33-57
-
-
Dymetman, M.1
-
7
-
-
54749087050
-
Group theory and linguistic processing
-
Montreal: ACL
-
Dymetman, M.: 1998, "Group theory and linguistic processing," pp. 348-352 in Proceedings of the Coling-ACL Conference, Montreal: ACL.
-
(1998)
Proceedings of the Coling-ACL Conference
, pp. 348-352
-
-
Dymetman, M.1
-
9
-
-
0004205783
-
-
Cambridge: Cambridge University Press
-
Johnson, D., 1997, Presentations of Groups, Cambridge: Cambridge University Press.
-
(1997)
Presentations of Groups
-
-
Johnson, D.1
-
10
-
-
0001065597
-
The mathematics of sentence structure
-
Lambek, J., 1958, "The mathematics of sentence structure," American Mathematical Monthly 65, 154-168.
-
(1958)
American Mathematical Monthly
, vol.65
, pp. 154-168
-
-
Lambek, J.1
-
12
-
-
54749144953
-
Lambek grammars are context free
-
R.L. Constable, ed., Montreal: IEEE Computer Society Press
-
Pentus, M., 1993, "Lambek grammars are context free," pp. 371-373 in Proceedings of Eigth Annual IEEE Symposium on Logic in Computer Science, LICS '93, R.L. Constable, ed., Montreal: IEEE Computer Society Press.
-
(1993)
Proceedings of Eigth Annual IEEE Symposium on Logic in Computer Science, LICS '93
, pp. 371-373
-
-
Pentus, M.1
-
13
-
-
0019012878
-
Definite clause grammars for language analysis
-
Pereira, F.C.N. and Warren, D.H.D., 1980, "Definite clause grammars for language analysis," Artificial Intelligence 13, 231-278.
-
(1980)
Artificial Intelligence
, vol.13
, pp. 231-278
-
-
Pereira, F.C.N.1
Warren, D.H.D.2
-
17
-
-
0001594954
-
On some lemmas in the theory of groups
-
van Kampen, E., 1933, "On some lemmas in the theory of groups," American Journal of Mathematics 55, 268-273.
-
(1933)
American Journal of Mathematics
, vol.55
, pp. 268-273
-
-
Van Kampen, E.1
|