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

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

Original language	English
Title of host publication	Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers
Editors	Christian Retore
Publisher	Springer Verlag
Pages	63-67
Number of pages	5
ISBN (Print)	9783540637004
DOIs	https://doi.org/10.1007/bfb0052151
Publication status	Published - 1 Jan 1997
Externally published	Yes
Event	1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996 - Nancy, France Duration: 23 Sept 1996 → 25 Sept 1996

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	1328
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	1st International Conference on Logical Aspects of Computational Linguistics, LACL 1996
Country/Territory	France
City	Nancy
Period	23/09/96 → 25/09/96

Access to Document

10.1007/bfb0052151

Cite this

Miller, D. (1997). Linear logic as logic programming: An abstract. In C. Retore (Ed.), Logical Aspects of Computational Linguistics - 1st International Conference, LACL 1996, Selected Papers (pp. 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. in 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, pp. 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).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

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

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. In Retore C, editor, 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