Result 1 to 20 of 634 total
Properties of co-operations: diagrammatic proofs. (English)
Math. Struct. Comput. Sci. 22, No. 6, 970-986 (2012).
1
Shuffles and concatenations in the construction of graphs. (English)
Math. Struct. Comput. Sci. 22, No. 6, 904-930 (2012).
2
Incomputability in physics and biology. (English)
Math. Struct. Comput. Sci. 22, No. 5, 880-900 (2012).
3
The impact of models of a physical oracle on computational power. (English)
Math. Struct. Comput. Sci. 22, No. 5, 853-879 (2012).
4
Adversarial scheduling in discrete models of social dynamics. (English)
Math. Struct. Comput. Sci. 22, No. 5, 788-815 (2012).
5
Algorithmic thermodynamics. (English)
Math. Struct. Comput. Sci. 22, No. 5, 771-787 (2012).
6
A statistical mechanical interpretation of algorithmic information theory. III: Composite systems and fixed points. (English)
Math. Struct. Comput. Sci. 22, No. 5, 752-770 (2012).
7
Renormalisation and computation. II: Time cut-off and the halting problem. (English)
Math. Struct. Comput. Sci. 22, No. 5, 729-751 (2012).
8
Introduction to the special issue: Computability of the physical. (English)
Math. Struct. Comput. Sci. 22, No. 5, 723-728 (2012).
9
A duality between exceptions and states. (English)
Math. Struct. Comput. Sci. 22, No. 4, 719-722 (2012).
10
Extending relational algebra with similarities. (English)
Math. Struct. Comput. Sci. 22, No. 4, 686-718 (2012).
11
Static analysis of biological regulatory networks dynamics using abstract interpretation. (English)
Math. Struct. Comput. Sci. 22, No. 4, 651-685 (2012).
12
Extending modal transition systems with structured labels. (English)
Math. Struct. Comput. Sci. 22, No. 4, 581-617 (2012).
13
On quasi-interpretations, blind abstractions and implicit complexity. (English)
Math. Struct. Comput. Sci. 22, No. 4, 549-580 (2012).
14
Formalising PFSQL queries using Ł$ Π\frac 12$ fuzzy logic. (English)
Math. Struct. Comput. Sci. 22, No. 3, 533-547 (2012).
15
Spatial quantum search in a triangular network. (English)
Math. Struct. Comput. Sci. 22, No. 3, 521-531 (2012).
16
What is a categorical model of the differential and the resource $λ$-calculi? (English)
Math. Struct. Comput. Sci. 22, No. 3, 451-520 (2012).
17
A coding theoretic study of MLL proof nets. (English)
Math. Struct. Comput. Sci. 22, No. 3, 409-449 (2012).
18
The small-community phenomenon in networks. (English)
Math. Struct. Comput. Sci. 22, No. 3, 373-407 (2012).
19
A hierarchy of reverse bisimulations on stable configuration structures. (English)
Math. Struct. Comput. Sci. 22, No. 2, 333-372 (2012).
20
Result 1 to 20 of 634 total
Start
Contact
Print
General Help
