Variadic Equational Matching

Besik Dundua; Teimuraz Kutsia; Mircea Marin

doi:10.1007/978-3-030-23250-4_6

Variadic Equational Matching

Besik Dundua
, Teimuraz Kutsia
, Mircea Marin

Research Institute for Symbolic Computation

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

Original language	English
Title of host publication	Intelligent Computer Mathematics - 12th International Conference, CICM 2019
Editors	Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen
Publisher	Springer
Pages	77-92
Number of pages	16
Volume	11617
ISBN (Print)	978-3-030-23249-8
DOIs	https://doi.org/10.1007/978-3-030-23250-4_6
Publication status	Published - 2019

Publication series

Name	Lecture Notes in Computer Science (LNCS)

Fields of science

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

JKU Focus areas

Digital Transformation

Access to Document

10.1007/978-3-030-23250-4_6

Cite this

@inproceedings{bf0568f6abf04bb09f05c609bd76f084,

title = "Variadic Equational Matching",

author = "Besik Dundua and Teimuraz Kutsia and Mircea Marin",

year = "2019",

doi = "10.1007/978-3-030-23250-4\_6",

language = "English",

isbn = "978-3-030-23249-8",

volume = "11617",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "77--92",

editor = "\{Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen\}",

booktitle = "Intelligent Computer Mathematics - 12th International Conference, CICM 2019",

}

Variadic Equational Matching. / Dundua, Besik; Kutsia, Teimuraz; Marin, Mircea.
Intelligent Computer Mathematics - 12th International Conference, CICM 2019. ed. / Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen. Vol. 11617 Springer, 2019. p. 77-92 (Lecture Notes in Computer Science (LNCS)).

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

TY - GEN

T1 - Variadic Equational Matching

AU - Dundua, Besik

AU - Kutsia, Teimuraz

AU - Marin, Mircea

PY - 2019

Y1 - 2019

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

U2 - 10.1007/978-3-030-23250-4_6

DO - 10.1007/978-3-030-23250-4_6

M3 - Conference proceedings

SN - 978-3-030-23249-8

VL - 11617

T3 - Lecture Notes in Computer Science (LNCS)

SP - 77

EP - 92

BT - Intelligent Computer Mathematics - 12th International Conference, CICM 2019

A2 - Cezary Kaliszyk, Edwin Brady, Andrea Kohlhase, Claudio Sacerdoti Coen, null

PB - Springer

ER -

Variadic Equational Matching

Publication series

Fields of science

JKU Focus areas

Access to Document

Other files and links

Cite this