An on-line problem database

Nachum Dershowitz; Ralf Treinen

doi:10.1007/BFb0052380

An on-line problem database

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

Original language	English
Title of host publication	Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings
Editors	Tobias Nipkow
Publisher	Springer Verlag
Pages	332-342
Number of pages	11
ISBN (Print)	354064301X, 9783540643012
DOIs	https://doi.org/10.1007/BFb0052380
State	Published - 1998
Externally published	Yes
Event	9th International Conference on Rewriting Techniques and Applications, RTA 1998 - Tsukuba, Japan Duration: 30 Mar 1998 → 1 Apr 1998

Publication series

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

Conference

Conference	9th International Conference on Rewriting Techniques and Applications, RTA 1998
Country/Territory	Japan
City	Tsukuba
Period	30/03/98 → 1/04/98

Access to Document

10.1007/BFb0052380

Cite this

Dershowitz, N., & Treinen, R. (1998). An on-line problem database. In T. Nipkow (Ed.), Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings (pp. 332-342). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1379). Springer Verlag. https://doi.org/10.1007/BFb0052380

@inproceedings{579fa4f8c7104810ad1f6fc3fe5b6462,

title = "An on-line problem database",

author = "Nachum Dershowitz and Ralf Treinen",

year = "1998",

doi = "10.1007/BFb0052380",

language = "אנגלית",

isbn = "354064301X",

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

publisher = "Springer Verlag",

pages = "332--342",

editor = "Tobias Nipkow",

booktitle = "Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings",

note = "9th International Conference on Rewriting Techniques and Applications, RTA 1998 ; Conference date: 30-03-1998 Through 01-04-1998",

}

Dershowitz, N & Treinen, R 1998, An on-line problem database. in T Nipkow (ed.), Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 1379, Springer Verlag, pp. 332-342, 9th International Conference on Rewriting Techniques and Applications, RTA 1998, Tsukuba, Japan, 30/03/98. https://doi.org/10.1007/BFb0052380

An on-line problem database. / Dershowitz, Nachum; Treinen, Ralf.
Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings. ed. / Tobias Nipkow. Springer Verlag, 1998. p. 332-342 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 1379).

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

TY - GEN

T1 - An on-line problem database

AU - Dershowitz, Nachum

AU - Treinen, Ralf

PY - 1998

Y1 - 1998

UR - http://www.scopus.com/inward/record.url?scp=1342285594&partnerID=8YFLogxK

U2 - 10.1007/BFb0052380

DO - 10.1007/BFb0052380

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:1342285594

SN - 354064301X

SN - 9783540643012

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

SP - 332

EP - 342

BT - Rewriting Techniques and Applications - 9th International Conference, RTA 1998, Proceedings

A2 - Nipkow, Tobias

PB - Springer Verlag

T2 - 9th International Conference on Rewriting Techniques and Applications, RTA 1998

Y2 - 30 March 1998 through 1 April 1998

ER -

An on-line problem database

Publication series

Conference

Access to Document

Other files and links

Cite this