The decidability of the FOL-DOL equivalence problem
type: Item
instance of: scholarly article
title: The decidability of the FOL-DOL equivalence problem
zbMATH Open document ID: 0403.68068
DOI: 10.1016/0020-0190(79)90119-4
author: Keijo Ruohonen
published in: Information Processing Letters
publication date: 1979-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 3626623
zbMATH Keywords: Formal Language
zbMATH Keywords: Lindemayer System
zbMATH Keywords: Developmental System
zbMATH Keywords: Equivalence Problem
MaRDI profile type: Publication
full work available at URL: 0020-0190(79)90119-4
OpenAlex ID: W2006520807
cites work: The decidability of the equivalence problem for DOL-systems
cites work: On the decidability of some equivalence problems for DOL-systems
cites work: Q4116297
cites work: Q4140407
cites work: On the decidability of the OL-DOL equivalence problem
cites work: Q4127408
description: scientific article; zbMATH DE number 3626623