Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
type: Item
instance of: scholarly article
title: Propagating \textsc{lex}, \textsc{find} and \textsc{replace} with dashed strings
DOI: 10.1007/978-3-319-93031-2_2
author: Roberto Amadini
author: Graeme Gange
author: Peter J. Stuckey
publication date: 2018-11-21T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 68W32
zbMATH DE Number: 6982381
describes a project that uses: Gecode
describes a project that uses: PASS
describes a project that uses: WAPTEC
describes a project that uses: StrSolve
describes a project that uses: Z3str3
describes a project that uses: MiniZinc
describes a project that uses: HAMPI
MaRDI profile type: Publication
full work available at URL: 978-3-319-93031-2 2
OpenAlex ID: W2805568784
description: scientific article; zbMATH DE number 6982381