×

Found 375 Documents (Results 101–200)

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

The \(\lambda\)-context calculus. (English) Zbl 1278.03036

Pientka, B. (ed.) et al., Proceedings of the second international workshop on logical frameworks and meta-languages: theory and practice (LFMTP 2007), Bremen, Germany, July 15, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 196, 19-35 (2008).
MSC:  03B40 03B70
PDFBibTeX XMLCite
Full Text: Link

Injective Morita contexts (revisited). (English) Zbl 1182.16003

Brzeziński, Tomasz (ed.) et al., Modules and comodules. Proceedings of the international conference, Porto, Portugal, September 6–8, 2006. Dedicated to Robert Wisbauer on the occasion of his 65th birthday. Basel: Birkhäuser (ISBN 978-3-7643-8741-9/hbk). Trends in Mathematics, 1-30 (2008).
MSC:  16D90 16S90
PDFBibTeX XMLCite
Full Text: arXiv

The number of plane diagrams of a lattice. (English) Zbl 1132.06002

Medina, Raoul (ed.) et al., Formal concept analysis. 6th international conference, ICFCA 2008, Montreal, Canada, February 25–28, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78137-0/pbk). Lecture Notes in Computer Science 4933. Lecture Notes in Artificial Intelligence, 106-123 (2008).
MSC:  06B05 05C10 68T30
PDFBibTeX XMLCite
Full Text: DOI

Temporal contextual logic programming. (English) Zbl 1279.68042

López Fraguas, Francisco J. (ed.), Proceedings of the 15th workshop on functional and (constraint) logic programming (WFLP 2006), Madrid, Spain, November 16–17, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 177, 219-233 (2007).
MSC:  68N17 03B44 03B70
PDFBibTeX XMLCite
Full Text: DOI

Algebraic fusion of functions with an accumulating parameter and its improvement. (English) Zbl 1321.68170

Proceedings of the 11th ACM SIGPLAN international conference on functional programming, ICFP ’06, Portland, OR, USA, September 18–20, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-309-3). ACM SIGPLAN Notices 41, No. 9, 227-238 (2006).
PDFBibTeX XMLCite
Full Text: DOI

Context logic and tree update. (English) Zbl 1369.68132

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 271-282 (2005).
PDFBibTeX XMLCite
Full Text: DOI Link

Real time reactive programming in Lucid enriched with contexts. (English) Zbl 1108.68357

Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 387-402 (2005).
MSC:  68N15
PDFBibTeX XMLCite
Full Text: DOI

Galois corings applied to partial Galois theory. (English) Zbl 1085.16029

Kalla, Shyam L. (ed.) et al., Proceedings of the international conference on mathematics and its applications, ICMA 2004, Kuwait, April 5–7, 2004. Kuwait: Kuwait University, Department of Mathematics and Computer Science; Kuwait: Kuwait Foundation for the Advancement of Sciences (KFAS). 117-134 (2005).
MSC:  16W30 16W22 16D90
PDFBibTeX XMLCite
Full Text: arXiv

Rationality properties for Morita contexts associated to corings. (English) Zbl 1080.16039

Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 113-136 (2005).
MSC:  16W30 16D90
PDFBibTeX XMLCite

On coseparable and biseparable corings. (English) Zbl 1082.16042

Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 71-87 (2005).
PDFBibTeX XMLCite
Full Text: arXiv

Morita contexts for corings and equivalences. (English) Zbl 1080.16033

Caenepeel, Stefaan (ed.) et al., Hopf algebras in noncommutative geometry and physics. Proceedings of the conference on Hopf algebras and quantum groups, Brussels, Belgium, May 28–June 1, 2002. New York, NY: Marcel Dekker (ISBN 0-8247-5759-9/pbk). Lecture Notes in Pure and Applied Mathematics 239, 1-19 (2005).
MSC:  16W30 16D90 16S40
PDFBibTeX XMLCite
Full Text: arXiv

Translating dependency into parametricity. (English) Zbl 1323.68168

Proceedings of the 9th ACM SIGPLAN international conference on functional programming, ICFP ’04, Uppsala, Snowbird, UT, USA, September 19–21, 2004. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-905-5). ACM SIGPLAN Notices 39, No. 9, 115-125 (2004).
MSC:  68N18 03B70
PDFBibTeX XMLCite
Full Text: DOI

What makes expressions meaningful? A reflection on contexts and actions. (English) Zbl 1060.03022

Link, Godehard (ed.), One hundred years of Russell’s paradox. Mathematics, logic, philosophy. Based on the Munich centenary conference, Munich, Germany, June 2001 . Berlin: de Gruyter (ISBN 3-11-017438-3/hbk). de Gruyter Series in Logic and Its Applications 6, 625-644 (2004).
MSC:  03A05
PDFBibTeX XMLCite

Galois corings from the descent theory point of view. (English) Zbl 1082.16043

Janelidze, George (ed.) et al., Galois theory, Hopf algebras, and semiabelian categories. Papers from the workshop on categorical structures for descent and Galois theory, Hopf algebras, and semiabelian categories, Toronto, ON, Canada, September 23–28, 2002. (ISBN 0-8218-3290-5/hbk). Fields Institute Communications 43, 163-186 (2004).
MSC:  16W30 16D90 18D10
PDFBibTeX XMLCite
Full Text: arXiv

Morita contexts, idempotents, and Hochschild cohomology – with applications to invariant rings. (English) Zbl 1062.16012

Avramov, Luchezar L. (ed.) et al., Commutative algebra. Interactions with algebraic geometry. Proceedings of the international conference, Grenoble, France, July 9–13, 2001 and the special session at the joint international meeting of the American Mathematical Society and the Société Mathématique de France, Lyon, France, July 17–20, 2001. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3233-6/pbk). Contemp. Math. 331, 25-53 (2003).
PDFBibTeX XMLCite
Full Text: arXiv

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software