Verification of PCP-related computational reductions in Coq
type: Item
instance of: scholarly article
title: Verification of PCP-related computational reductions in Coq
DOI: 10.1007/978-3-319-94821-8_15
author: Yannick Forster
author: Edith Heiter
author: Gert Smolka
publication date: 2018-10-04T00:00:00Z
full work available at URL: https://arxiv.org/abs/1711.07023
Mathematics Subject Classification ID: 68V15
Mathematics Subject Classification ID: 68Q42
zbMATH DE Number: 6946984
zbMATH Keywords: Post correspondence problem
zbMATH Keywords: string rewriting
zbMATH Keywords: context-free grammars
zbMATH Keywords: computational reductions
zbMATH Keywords: undecidability
zbMATH Keywords: Coq
describes a project that uses: Coq
MaRDI profile type: Publication
OpenAlex ID: W2769209754
description: scientific article; zbMATH DE number 6946984