Compiling dyadic first-order specifications into map algebra
type: Item
instance of: scholarly article
title: Compiling dyadic first-order specifications into map algebra
zbMATH Open document ID: 1025.68053
DOI: 10.1016/S0304-3975(01)00355-3
published in: Theoretical Computer Science
publication date: 2003-05-14T00:00:00Z
Mathematics Subject Classification ID: 68Q65
zbMATH DE Number: 1909918
zbMATH Keywords: algebraic logic
zbMATH Keywords: quantifier elimination
zbMATH Keywords: computational complexity
author: Domenico Cantone
author: Andrea Formisano
author: Eugenio Omodeo
author: Calogero G. Zarba
describes a project that uses: Datalog
describes a project that uses: AGG
MaRDI profile type: Publication
cites work: Q4342094
cites work: Decidability of the theory of the natural integers with the Cantor pairing function and the successor
cites work: Q3619797
cites work: Q3221381
cites work: Q4052071
cites work: Handbook of Graph Grammars and Computing by Graph Transformation
cites work: Q4503910
cites work: Goals and benchmarks for automated map reasoning
cites work: Layered map reasoning
cites work: Q4539604
cites work: An Agg Application Supporting Visual Reasoning1
cites work: A proof system for fork algebras and its applications to reasoning in logics based on intuitionism
cites work: Q3282928
cites work: Q4384471
cites work: Introduction to axiomatic set theory
cites work: Q3992465
cites work: Q4032144
cites work: Q3703918
cites work: Negation as failure: a comparison of Clark's completed data base and Reiter's closed world assumption
cites work: Q4069886
cites work: Q4040000
full work available at URL: s0304-3975(01)00355-3
OpenAlex ID: W1986995658
Recommended article: Formalizing generalized maps in Coq
Recommended article: Q4035654
Recommended article: Towards the Formal Specification and Verification of Maple Programs
Recommended article: First order compiler: A deterministic logic program synthesis algorithm
Recommended article: Q4282524
Recommended article: On Formal Specification of Maple Programs
Recommended article: Q3798292
Recommended article: A Calculus of Higher-Order Parameterization for Algebraic Specifications
Recommended article: Combining first order algebraic rewriting systems, recursion and extensional lambda calculi
Recommended article: Compositional Diagrammatic First-Order Logic
description: scientific article; zbMATH DE number 1909918