Linear logic as logic programming: An abstract

Dale Miller

doi:10.1007/bfb0052151

Linear logic as logic programming: An abstract

Dale Miller

University of Pennsylvania

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

langue originale	Anglais
titre	Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers
rédacteurs en chef	Christian Retore
Editeur	Springer Verlag
Pages	63-67
Nombre de pages	5
ISBN (imprimé)	9783540637004
Les DOIs	https://doi.org/10.1007/bfb0052151
état	Publié - 1 janv. 1997
Modification externe	Oui
Evénement	1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996 - Nancy, France Durée: 23 sept. 1996 → 25 sept. 1996

Série de publications

Nom	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1328
ISSN (imprimé)	0302-9743
ISSN (Electronique)	1611-3349

Une conférence

Une conférence	1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996
Pays/Territoire	France
La ville	Nancy
période	23/09/96 → 25/09/96

Accès au document

10.1007/bfb0052151

Autres fichiers et liens

Lien vers la publication dans Scopus

Contient cette citation

Miller, D. (1997). Linear logic as logic programming: An abstract. Dans C. Retore (Ed.), Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers (p. 63-67). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1328). Springer Verlag. https://doi.org/10.1007/bfb0052151

@inproceedings{14c6ee822fa940068315c7d36524cf35,

title = "Linear logic as logic programming: An abstract",

author = "Dale Miller",

year = "1997",

month = jan,

day = "1",

doi = "10.1007/bfb0052151",

language = "English",

isbn = "9783540637004",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Verlag",

pages = "63--67",

editor = "Christian Retore",

booktitle = "Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers",

note = "1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996 ; Conference date: 23-09-1996 Through 25-09-1996",

}

Miller, D 1997, Linear logic as logic programming: An abstract. Dans C Retore (Ed.), Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOL. 1328, Springer Verlag, p. 63-67, 1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996, Nancy, France, 23/09/96. https://doi.org/10.1007/bfb0052151

Linear logic as logic programming: An abstract. / Miller, Dale.
Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers. Ed. / Christian Retore. Springer Verlag, 1997. p. 63-67 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol 1328).

Résultats de recherche: Le chapitre dans un livre, un rapport, une anthologie ou une collection › Contribution à une conférence › Revue par des pairs

TY - GEN

T1 - Linear logic as logic programming

T2 - 1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996

AU - Miller, Dale

PY - 1997/1/1

Y1 - 1997/1/1

UR - https://www.scopus.com/pages/publications/84949768845

U2 - 10.1007/bfb0052151

DO - 10.1007/bfb0052151

M3 - Conference contribution

AN - SCOPUS:84949768845

SN - 9783540637004

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 63

EP - 67

BT - Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers

A2 - Retore, Christian

PB - Springer Verlag

Y2 - 23 September 1996 through 25 September 1996

ER -

Miller D. Linear logic as logic programming: An abstract. Dans Retore C, Editeur, Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers. Springer Verlag. 1997. p. 63-67. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/bfb0052151