Predicate Logic with Sequence Variables and Sequence Function Symbols

Bruno Buchberger; Teimuraz Kutsia

doi:10.1007/978-3-540-27818-4_15

Predicate Logic with Sequence Variables and Sequence Function Symbols

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04
Editors	Andrea Asperti, Grzegorz Bancerek, Andrzej Trybulec
Place of Publication	Bialowieza, Poland
Publisher	Springer Verlag
Pages	205-219
Number of pages	15
Volume	3119
ISBN (Print)	3-540-23029-7
DOIs	https://doi.org/10.1007/978-3-540-27818-4_15
Publication status	Published - Sept 2004

Publication series

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

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Access to Document

10.1007/978-3-540-27818-4_15

Cite this

Buchberger, B., & Kutsia, T. (2004). Predicate Logic with Sequence Variables and Sequence Function Symbols. In A. Asperti, G. Bancerek, & A. Trybulec (Eds.), Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04 (Vol. 3119, pp. 205-219). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3119). Springer Verlag. https://doi.org/10.1007/978-3-540-27818-4_15

Buchberger, Bruno ; Kutsia, Teimuraz. / Predicate Logic with Sequence Variables and Sequence Function Symbols. Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04. editor / Andrea Asperti ; Grzegorz Bancerek ; Andrzej Trybulec. Vol. 3119 Bialowieza, Poland : Springer Verlag, 2004. pp. 205-219 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{46d976ced52740c38fb92eb0ff99b2d7,

title = "Predicate Logic with Sequence Variables and Sequence Function Symbols",

author = "Bruno Buchberger and Teimuraz Kutsia",

year = "2004",

month = sep,

doi = "10.1007/978-3-540-27818-4\_15",

language = "English",

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

volume = "3119",

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

publisher = "Springer Verlag",

pages = "205--219",

editor = "Andrea Asperti and Grzegorz Bancerek and Andrzej Trybulec",

booktitle = "Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04",

}

Buchberger, B & Kutsia, T 2004, Predicate Logic with Sequence Variables and Sequence Function Symbols. in A Asperti, G Bancerek & A Trybulec (eds), Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04. vol. 3119, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 3119, Springer Verlag, Bialowieza, Poland, pp. 205-219. https://doi.org/10.1007/978-3-540-27818-4_15

Predicate Logic with Sequence Variables and Sequence Function Symbols. / Buchberger, Bruno ; Kutsia, Teimuraz.
Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04. ed. / Andrea Asperti; Grzegorz Bancerek; Andrzej Trybulec. Vol. 3119 Bialowieza, Poland: Springer Verlag, 2004. p. 205-219 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 3119).

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

TY - GEN

T1 - Predicate Logic with Sequence Variables and Sequence Function Symbols

AU - Buchberger, Bruno

AU - Kutsia, Teimuraz

PY - 2004/9

Y1 - 2004/9

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

U2 - 10.1007/978-3-540-27818-4_15

DO - 10.1007/978-3-540-27818-4_15

M3 - Conference proceedings

SN - 3-540-23029-7

VL - 3119

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

SP - 205

EP - 219

BT - Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04

A2 - Asperti, Andrea

A2 - Bancerek, Grzegorz

A2 - Trybulec, Andrzej

PB - Springer Verlag

CY - Bialowieza, Poland

ER -

Buchberger B , Kutsia T. Predicate Logic with Sequence Variables and Sequence Function Symbols. In Asperti A, Bancerek G, Trybulec A, editors, Proceedings of the 3rd International Conference on Mathematical Knowledge Management, MKM'04. Vol. 3119. Bialowieza, Poland: Springer Verlag. 2004. p. 205-219. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-540-27818-4_15

Predicate Logic with Sequence Variables and Sequence Function Symbols

Publication series

Fields of science

Access to Document

Other files and links

Cite this