PDL for structured data: a graph-calculus approach

, &
Logic Journal of the IGPL 22 (5):737-757 (2014)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1093/jigpal/jzu011

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

E. P. Northrop, R. S. Fouch, I. R. Hershner, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, H. F. Mist, A. L. Putnam, S. Sherman, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vol. 1. The University of Chicago Press, Chicago1948, pp. vi, 1–281. - E. P. Northrop, R. S. Fouch, M. Friedman, S. P. Hughart, W. S. Karush, J. S. Leech, D. M. Merriell, W. H. L. Meyer, E. H. Ostrow, A. L. Putnam, G. F. Simmons, E. F. Trombley. Fundamental mathematics. Prepared for the general course Mathematics 1 in the College. Third edition, lithoprinted, vols. 2 and 3. The University of Chicago Press, Chicago1949, pp. v, 282–533; v, 534–921. [REVIEW]A. F. Bausch - 1950 - Journal of Symbolic Logic 14 (4):242-243.
R. L. Constable, S. F. Allen, H. M. Bromley, W. R. Cleaveland, J. F. Cremer, R. W. Harper, D. J. Howe, T. B. Knoblock, N. P. Mendler, P. Panangaden, J. T. Sasaki, and S. F. Smith. Implementing mathematics with the Nuprl proof development system. Prentice Hall, Englewood Cliffs, N. J., 1986, x + 299 pp. [REVIEW]Michael J. Beeson - 1990 - Journal of Symbolic Logic 55 (3):1299-1302.
Guillermo de ockham Y el nacimiento Del laicismo moderno.Nicolás López Calera - 2012 - Anales de la Cátedra Francisco Suárez 46:263-280.
Snell, F. M., Shulman, S., Spencer, R. P. And Moos, C. - Biophysical Principles Of Structure And Function. [REVIEW]R. Morchio - 1970 - Scientia 64 (105):786.
SNELL, F. M., SHULMAN, S., SPENCER, R. P. and MOOS, C. - Biophysical Principles of Structure and Function. [REVIEW]R. Morchio - 1970 - Scientia 64 (5):786.
The classification of small weakly minimal sets. III: Modules.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (3):975-979.
Characterization of recursively enumerable sets.Jesse B. Wright - 1972 - Journal of Symbolic Logic 37 (3):507-511.
La configuración histórica E ideológica Del zapatismo (desde la perspectiva de sus protagonistas).María Luisa Soriano González - 2012 - Anales de la Cátedra Francisco Suárez 46:237-257.
D I E K O M P O S I T I O N E N F R I E D R I C H NIETZSCHES.Curt Paul - 1972 - Nietzsche Studien 1 (1):173-184.
Prueba científica: Mitos Y paradigmas.Marina Gascón Abellán - 2010 - Anales de la Cátedra Francisco Suárez 44:81-103.

Analytics

Added to PP
2016-06-30

Downloads
20 (#1,036,437)

6 months
2 (#1,686,184)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Short Proof Of Representability Of Fork Algebras.Viktor Gyuris - 1995 - Logic Journal of the IGPL 3 (5):791-796.

Add more references