A Purely Logical Account of Sequentiality in Proof Search

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

35 Citations (SciVal)

Original language	English
Title of host publication	Logic Programming 18th International Conference
Editors	Peter J Stuckey
Publisher	Springer Verlag
Pages	302-316
Number of pages	15
Volume	2401
Edition	Lecture Notes in Artificial Intelligence
Publication status	Published - 31 Dec 2002

Cite this

@inproceedings{3890f5dde7834dcc86b171c2fcf98ed0,

title = "A Purely Logical Account of Sequentiality in Proof Search",

author = "Paola Bruscoli",

year = "2002",

month = dec,

day = "31",

language = "English",

volume = "2401",

pages = "302--316",

editor = "Stuckey, {Peter J}",

booktitle = "Logic Programming 18th International Conference",

publisher = "Springer Verlag",

edition = "Lecture Notes in Artificial Intelligence",

}