An efficient decision procedure for the theory of rational order
type: Item
instance of: scholarly article
title: An efficient decision procedure for the theory of rational order
zbMATH Open document ID: 0372.02024
DOI: 10.1016/0304-3975(77)90037-8
author: Jeanne Ferrante
author: James R. Geiser
published in: Theoretical Computer Science
publication date: 1977-01-01T00:00:00Z
Mathematics Subject Classification ID: 03B25
Mathematics Subject Classification ID: 03D80
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 11U05
zbMATH DE Number: 3578865
MaRDI profile type: Publication
full work available at URL: 0304-3975(77)90037-8
OpenAlex ID: W2004091282
cites work: A Decision Procedure for the First Order Theory of Real Addition with Order
cites work: Q5592246
cites work: The computational complexity of logical theories
cites work: Q5807665
Wikidata QID: Q126310990
description: scientific article; zbMATH DE number 3578865