Compiling dyadic first-order specifications into map algebra-Reference-Cited by-同舟云学术

Compiling dyadic first-order specifications into map algebra

Published:2003-02 Issue:2 Volume:293 Page:447-475
ISSN:0304-3975
Container-title:Theoretical Computer Science
language:en
Short-container-title:Theoretical Computer Science

Author:

Cantone D.,Formisano A.,Omodeo E.G.,Zarba C.G.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference32 articles.

1. F. Aureli, A. Formisano, E.G. Omodeo, M. Temperini, Map calculus: Initial application scenarios and experiments based on Otter. Technical Report 466, IASI-CNR, 1998.

2. Basic tense logic;Burgess,1984

3. D. Cantone, A. Cavarra, E.G. Omodeo, On existentially quantified conjunctions of atomic formulae of L+, in: M.P. Bonacina, U. Furbach (Eds.), Proc. FTP97 Int. Workshop on First-Order Theorem Proving, RISC-Linz Report Series No. 97-50, 1997, pp. 45–52.

4. Decidability of the theory of the natural integers with the Cantor pairing function and the successor;Cegielski;Theoretical Computer Science,2001

5. Logic Programming and Databases. Surveys in Computer Science;Ceri,1990

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Reasoning on Relations, Modalities, and Sets;Outstanding Contributions to Logic;2018

2. A graphical representation of relational formulae with complementation;RAIRO - Theoretical Informatics and Applications;2012-02-27

3. Dual Tableaux: Foundations, Methodology, Case Studies;Trends in Logic;2011

4. A Calculus for Graphs with Complement;Diagrammatic Representation and Inference;2010

5. On graph reasoning;Information and Computation;2009-10