Publications

'Galculator' Functional Prototype of a Galois-Connection Based Proof Assistant

AuthID
P-007-P74

Author(s)

Silva, PF

Oliveira, JN

Editor(s)

Sergio Antoy; Elvira Albert

Document Type

Proceedings Paper

Year published

2008

Published

in PPDP'08 - Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP

Pages: 44-55

Conference

Ppdp 2008: 10Th International Acm Sigplan Symposium on Principles and Practice of Declarative Programming, Date: 15 July 2008 through 17 July 2008, Location: Valencia, Sponsors: Universidad Politecnica de Valencia

Indexing

Scopus^®

Dblp^®/en/publications/view/252132

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1145/1389449.1389456

DBLP: conf/ppdp/SilvaO08

SCOPUS: 2-s2.0-57549088169

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

'Galculator' Functional Prototype of a Galois-Connection Based Proof Assistant

Useful Links

Get Help

Federated Authentication (Click on the image)

'Galculator' Functional Prototype of a Galois-Connection Based Proof Assistant

Useful Links

Get Help