Mathematical Structures in Computer Science Vol. 20 Special Issue 05

Mathematical Structures in Computer Science

New Content Alerts
Journal Widget About Widget
Rss
Atom

Table of Contents - Volume 20 - Special Issue 05 (Theory and Applications of Models of Computation (TAMC 2008–2009)) - 2010

Editors: Manindra Agrawal, Barry Cooper and Angsheng Li

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Select All
Deselect All

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

Editorial Preface

Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008–2009) Preface to Special Issue: Theory and Applications of Models of Computation (TAMC 2008–2009)

false

preview

Abstract
Article Structure
Figures and Tables
References

MANINDRA AGRAWAL, BARRY COOPER and ANGSHENG LI

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 705 - 706

DOI: http://dx.doi.org/10.1017/S0960129510000277 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Paper

Quantitative aspects of speed-up and gap phenomena Quantitative aspects of speed-up and gap phenomena

false

preview

Abstract
Article Structure
Figures and Tables
References

KLAUS AMBOS-SPIES and THORSTEN KRÄLING

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 707 - 722

DOI: http://dx.doi.org/10.1017/S0960129510000174 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Semantical proofs of correctness for programs performing non-deterministic tests on real numbers Semantical proofs of correctness for programs performing non-deterministic tests on real numbers

false

preview

Abstract
Article Structure
Figures and Tables
References

THOMAS ANBERRÉE

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 723 - 751

DOI: http://dx.doi.org/10.1017/S0960129510000186 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Bounded minimalisation and bounded counting in argument-bounded idc's Bounded minimalisation and bounded counting in argument-bounded idc's

false

preview

Abstract
Article Structure
Figures and Tables
References

MATHIAS BARRA

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 753 - 779

DOI: http://dx.doi.org/10.1017/S0960129510000198 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Weak bisimulations for the Giry monad Weak bisimulations for the Giry monad

false

preview

Abstract
Article Structure
Figures and Tables
References

ERNST-ERICH DOBERKAT

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 781 - 798

DOI: http://dx.doi.org/10.1017/S0960129510000204 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Diamond embeddings into the enumeration degrees Diamond embeddings into the enumeration degrees

false

preview

Abstract
Article Structure
Figures and Tables
References

ANDREA SORBI, GUOHUA WU and YUE YANG

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 799 - 811

DOI: http://dx.doi.org/10.1017/S0960129510000216 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Tilings: simulation and universality Tilings: simulation and universality

false

preview

Abstract
Article Structure
Figures and Tables
References

GREGORY LAFITTE and MICHAEL WEISS

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 813 - 850

DOI: http://dx.doi.org/10.1017/S0960129510000228 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

A practical parameterised algorithm for the individual haplotyping problem MLF A practical parameterised algorithm for the individual haplotyping problem MLF

false

preview

Abstract
Article Structure
Figures and Tables
References

MINZHU XIE, JIANXIN WANG and JIANER CHEN

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 851 - 863

DOI: http://dx.doi.org/10.1017/S096012951000023X (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Axiomatic semantics of projection temporal logic programs Axiomatic semantics of projection temporal logic programs

false

preview

Abstract
Article Structure
Figures and Tables
References

XIAOXIAO YANG, ZHENHUA DUAN and QIAN MA

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 865 - 914

DOI: http://dx.doi.org/10.1017/S0960129510000241 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Connection between logical and algebraic approaches to concurrent systems Connection between logical and algebraic approaches to concurrent systems

false

preview

Abstract
Article Structure
Figures and Tables
References

NAIJUN ZHAN

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 915 - 950

DOI: http://dx.doi.org/10.1017/S0960129510000253 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

The computational SLR: a logic for reasoning about computational indistinguishability The computational SLR: a logic for reasoning about computational indistinguishability

false

preview

Abstract
Article Structure
Figures and Tables
References

YU ZHANG

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 951 - 975

DOI: http://dx.doi.org/10.1017/S0960129510000265 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

A separation between divergence and Holevo information for ensembles A separation between divergence and Holevo information for ensembles

false

preview

Abstract
Article Structure
Figures and Tables
References

RAHUL JAIN, ASHWIN NAYAK and YI SU

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp 977 - 993

DOI: http://dx.doi.org/10.1017/S0960129510000289 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Abstract
Buy This Article $45.00 / £30.00
Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Front Cover (OFC, IFC) and matter

MSC volume 20 issue 5 Cover and Front matter MSC volume 20 issue 5 Cover and Front matter

false

preview

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp f1 - f2

DOI: http://dx.doi.org/10.1017/S0960129510000472 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

Back Cover (IBC, OBC) and matter

MSC volume 20 issue 5 Cover and Back matter MSC volume 20 issue 5 Cover and Back matter

false

preview

Abstract
Article Structure
Figures and Tables
References

Mathematical Structures in Computer Science / Volume 20 / Special Issue 05 / October 2010, pp b1 - b8

DOI: http://dx.doi.org/10.1017/S0960129510000484 (About DOI), Published online: 27 October 2010

Post a Comment

Name *

Your Position and Institution

Email *

Would you like to receive email updates for comments posted on this article?

Comment * ???en_US.toc.displayArticle.1000 ??? characters remaining

Rent This Article Now for 24 Hours
$5.99 / £3.99 / €4.49
Request Permissions

View Selected Abstracts
Save to My Saved Articles
Export Citation (s)
Download PDF (s)

Add to Basket

View Table of Contents as PDF
View Cover
Forward TOC

Previous Issue
Next Issue

Welcome to Cambridge Journals Online