×

Found 12 Documents (Results 1–12)

Labelled transitions for mobile ambients (as synthesized via a graphical encoding). (English) Zbl 1291.68281

Hildebrandt, Thomas (ed.) et al., Proceedings of the 15th international workshop on expressiveness in concurrency (EXPRESS 2008), Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 242, No. 1, 73-98 (2009).
MSC:  68Q85 68R10
PDFBibTeX XMLCite
Full Text: DOI

Defining inferential contexts: deduction and abduction. (English) Zbl 1226.03009

Carnielli, Walter (ed.) et al., The many sides of logic. Selected papers of the simultaneous conferences “CLE 30 – 30th Anniversary of the Centre for Logic, Epistemology and the History of Science”, “XV EBL – 15th Brazilian Logic Conference” and “XIV SLALM – 14th Latin-American Symposium on Mathematical Logic”, Paraty, Brazil, May 11–17, 2008. London: College Publications (ISBN 978-1-904987-78-9/pbk). Studies in Logic (London) 21, 511-529 (2009).
MSC:  03A05 03A10
PDFBibTeX XMLCite

Reduced rings, Morita contexts and derivations. (English) Zbl 1207.16003

Kamarul Haili, Hailiza (ed.) et al., Proceedings of the 5th Asian mathematical conference (AMC), June 22–26, 2009, Kuala Lumpur, Malaysia. Vol. I: Pure Mathematics. Penang: Universiti Sains Malaysia, School of Mathematical Sciences (ISBN 978-967-5417-53-5/CD-ROM). 198-205 (2009).
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 3

Main Field