Connecting Constrained Constructor Patterns and Matching Logic

Xiaohong Chen; Dorel Lucanu; Grigore Roşu

doi:10.1007/978-3-030-63595-4_2

Connecting Constrained Constructor Patterns and Matching Logic

Xiaohong Chen^*, Dorel Lucanu, Grigore Roşu

^*Corresponding author for this work

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

1 Citation (Scopus)

Original language	English
Title of host publication	Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers
Editors	Santiago Escobar, Narciso Martí-Oliet
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	19-37
Number of pages	19
ISBN (Print)	9783030635947
DOIs	https://doi.org/10.1007/978-3-030-63595-4_2
Publication status	Published (VoR) - 2020
Event	13th International Workshop on Rewriting Logic and Its Applications, WRLA 2020 - Virtual, Online Duration: 20 Oct 2020 → 22 Oct 2020

Publication series

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

Conference

Conference	13th International Workshop on Rewriting Logic and Its Applications, WRLA 2020
City	Virtual, Online
Period	20/10/20 → 22/10/20

Access to Document

10.1007/978-3-030-63595-4_2

Cite this

Chen, X., Lucanu, D., & Roşu, G. (2020). Connecting Constrained Constructor Patterns and Matching Logic. In S. Escobar, & N. Martí-Oliet (Eds.), Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers (pp. 19-37). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12328 LNCS). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-63595-4_2

Chen, Xiaohong ; Lucanu, Dorel ; Roşu, Grigore. / Connecting Constrained Constructor Patterns and Matching Logic. Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. editor / Santiago Escobar ; Narciso Martí-Oliet. Springer Science and Business Media Deutschland GmbH, 2020. pp. 19-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{30e11d44c30944aba9c953f01d4e958b,

title = "Connecting Constrained Constructor Patterns and Matching Logic",

author = "Xiaohong Chen and Dorel Lucanu and Grigore Ro{\c s}u",

note = "Publisher Copyright: {\textcopyright} 2020, Springer Nature Switzerland AG.; 13th International Workshop on Rewriting Logic and Its Applications, WRLA 2020 ; Conference date: 20-10-2020 Through 22-10-2020",

year = "2020",

doi = "10.1007/978-3-030-63595-4\_2",

language = "English",

isbn = "9783030635947",

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

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "19--37",

editor = "Santiago Escobar and Narciso Mart{\'i}-Oliet",

booktitle = "Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers",

}

Chen, X, Lucanu, D & Roşu, G 2020, Connecting Constrained Constructor Patterns and Matching Logic. in S Escobar & N Martí-Oliet (eds), Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 12328 LNCS, Springer Science and Business Media Deutschland GmbH, pp. 19-37, 13th International Workshop on Rewriting Logic and Its Applications, WRLA 2020, Virtual, Online, 20/10/20. https://doi.org/10.1007/978-3-030-63595-4_2

Connecting Constrained Constructor Patterns and Matching Logic. / Chen, Xiaohong; Lucanu, Dorel; Roşu, Grigore.
Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. ed. / Santiago Escobar; Narciso Martí-Oliet. Springer Science and Business Media Deutschland GmbH, 2020. p. 19-37 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12328 LNCS).

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

TY - GEN

T1 - Connecting Constrained Constructor Patterns and Matching Logic

AU - Chen, Xiaohong

AU - Lucanu, Dorel

AU - Roşu, Grigore

PY - 2020

Y1 - 2020

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

UR - https://www.scopus.com/inward/citedby.url?scp=85099049469&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-63595-4_2

DO - 10.1007/978-3-030-63595-4_2

M3 - Conference contribution

AN - SCOPUS:85099049469

SN - 9783030635947

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

SP - 19

EP - 37

BT - Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers

A2 - Escobar, Santiago

A2 - Martí-Oliet, Narciso

PB - Springer Science and Business Media Deutschland GmbH

T2 - 13th International Workshop on Rewriting Logic and Its Applications, WRLA 2020

Y2 - 20 October 2020 through 22 October 2020

ER -

Chen X, Lucanu D, Roşu G. Connecting Constrained Constructor Patterns and Matching Logic. In Escobar S, Martí-Oliet N, editors, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Springer Science and Business Media Deutschland GmbH. 2020. p. 19-37. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-030-63595-4_2

Connecting Constrained Constructor Patterns and Matching Logic

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this