Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

4

CORR
2006
Springer

favoriteEmaildiscussreport

63views Education» more CORR 2006»

Nominal Logic Programming

13 years 4 months ago

Nominal Logic Programming

Download homepages.inf.ed.ac.uk

James Cheney, Christian Urban

Real-time Traffic

CORR 2006 | Education |

claim paper

Related Content

» Avoiding Equivariance in AlphaProlog

» Equivariant Unification

» Permissivenominal logic

» Translating specifications from nominal logic to CIC with the theory of contexts

» Formalising in Nominal Isabelle Crarys Completeness Proof for Equivalence Checking

» An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS

» Nominal System T

» Nominal rewriting systems

» Nominal Unification from a HigherOrder Perspective

Post Info
More Details (n/a)

Added	11 Dec 2010
Updated	11 Dec 2010
Type	Journal
Year	2006
Where	CORR
Authors	James Cheney, Christian Urban

Comments (0)