Sciweavers

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

6

CORR
2010
Springer

favoriteEmaildiscussreport

48views Education» more CORR 2010»

Algebraic Theories over Nominal Sets

13 years 1 months ago

Algebraic Theories over Nominal Sets

Download ct2010.disi.unige.it

Alexander Kurz, Daniela Petrisan, Jiri Velebil

Real-time Traffic

CORR 2010 | Education |

claim paper

Related Content

» On universal algebra over nominal sets

» A Name Abstraction Functor for Named Sets

» An Axiomatic Approach to Metareasoning on Nominal Algebras in HOAS

» Nominal System T

» Combining Theories with Shared Set Operations

» A Set Theory Based Approach on Applying Domain Semantics to XML Structures

» Bitsize estimates for triangular sets in positive dimension

» A Network Model of Analogue Computation over Metric Algebras

» Universality and semicomputability for nondeterministic programming languages over abstrac...

Post Info
More Details (n/a)

Added	22 Mar 2011
Updated	22 Mar 2011
Type	Journal
Year	2010
Where	CORR
Authors	Alexander Kurz, Daniela Petrisan, Jiri Velebil

Comments (0)