Complexity of Query Answering in Logic Databases with Complex Values

Evgeny Dantsin; Andrei Voronkov; Sergei I Adian; Anil Nerode

Complexity of Query Answering in Logic Databases with Complex Values

Evgeny Dantsin, Andrei Voronkov, Sergei I Adian (Editor), Anil Nerode (Editor)

Research output: Chapter in Book/Conference proceeding › Conference contribution

Original language	English
Title of host publication	LFCS
Editors	Sergei I Adian, Anil Nerode
Publisher	Springer Nature
Pages	56-66
Number of pages	11
Volume	1234
ISBN (Print)	3-540-63045-7
Publication status	Published - 1997
Event	Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings - Duration: 1 Jan 1824 → … http://dblp.uni-trier.de/db/conf/lfcs/lfcs1997.html#DantsinV97http://dblp.uni-trier.de/rec/bibtex/conf/lfcs/DantsinV97.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lfcs/DantsinV97

Publication series

Name	Lecture Notes in Computer Science

Conference

Conference	Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings
Period	1/01/24 → …
Internet address	http://dblp.uni-trier.de/db/conf/lfcs/lfcs1997.html#DantsinV97http://dblp.uni-trier.de/rec/bibtex/conf/lfcs/DantsinV97.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lfcs/DantsinV97

Access to Document

Cite this

@inproceedings{0133372555ef4f0d82ba9e8c398479c9,

title = "Complexity of Query Answering in Logic Databases with Complex Values",

author = "Evgeny Dantsin and Andrei Voronkov and Adian, {Sergei I} and Anil Nerode",

year = "1997",

language = "English",

isbn = "3-540-63045-7",

volume = "1234",

series = "Lecture Notes in Computer Science",

publisher = "Springer Nature",

pages = "56--66",

editor = "Adian, {Sergei I} and Anil Nerode",

booktitle = "LFCS",

address = "United States",

note = "Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings ; Conference date: 01-01-1824",

url = "http://dblp.uni-trier.de/db/conf/lfcs/lfcs1997.html#DantsinV97http://dblp.uni-trier.de/rec/bibtex/conf/lfcs/DantsinV97.xmlhttp://dblp.uni-trier.de/rec/bibtex/conf/lfcs/DantsinV97",

}

Dantsin, E, Voronkov, A, Adian, SI (ed.) & Nerode, A (ed.) 1997, Complexity of Query Answering in Logic Databases with Complex Values. in SI Adian & A Nerode (eds), LFCS. vol. 1234, Lecture Notes in Computer Science, Springer Nature, pp. 56-66, Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings, 1/01/24. <http://dblp.uni-trier.de/db/conf/lfcs/lfcs1997.html#DantsinV97>

TY - GEN

T1 - Complexity of Query Answering in Logic Databases with Complex Values

AU - Dantsin, Evgeny

AU - Voronkov, Andrei

A2 - Adian, Sergei I

A2 - Nerode, Anil

A2 - Adian, Sergei I

A2 - Nerode, Anil

PY - 1997

Y1 - 1997

M3 - Conference contribution

SN - 3-540-63045-7

VL - 1234

T3 - Lecture Notes in Computer Science

SP - 56

EP - 66

BT - LFCS

PB - Springer Nature

T2 - Logical Foundations of Computer Science, 4th International Symposium, LFCS'97, Yaroslavl, Russia, July 6-12, 1997, Proceedings

Y2 - 1 January 1824

ER -