Relational synthesis for pattern matching
type: Item
instance of: scholarly article
title: Relational synthesis for pattern matching
zbMATH Open document ID: 1476.68046
DOI: 10.1007/978-3-030-64437-6_15
author: Dmitry Kosarev
author: Petr Lozov
author: Dmitry Boulytchev
publication date: 2021-07-08T00:00:00Z
Mathematics Subject Classification ID: 68N17
zbMATH DE Number: 7370101
zbMATH Keywords: relational programming
zbMATH Keywords: relational interpreters
zbMATH Keywords: pattern matching
MaRDI profile type: Publication
full work available at URL: 978-3-030-64437-6 15
OpenAlex ID: W3110089463
description: scientific article; zbMATH DE number 7370101