History
1
so:se00000012
1345


Please fill in your query. A complete syntax description you will find on the General Help page.
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 1345 total

Multi-tilde-bar expressions and their automata. (English)
Acta Inf. 49, No. 6, 413-436 (2012).
WorldCat.org
1
PDF XML AMS-TeX TEXT BIBTeX DOI
On the power of enzymatic numerical P systems. (English)
Acta Inf. 49, No. 6, 395-412 (2012).
WorldCat.org
2
PDF XML AMS-TeX TEXT BIBTeX DOI
Finding vertex-surjective graph homomorphisms. (English)
Acta Inf. 49, No. 6, 381-394 (2012).
WorldCat.org
3
PDF XML AMS-TeX TEXT BIBTeX DOI
Inefficiency of equilibria for the machine covering game on uniform machines. (English)
Acta Inf. 49, No. 6, 361-379 (2012).
WorldCat.org
4
PDF XML AMS-TeX TEXT BIBTeX DOI
Abstract reduction in directed model checking CCS processes. (English)
Acta Inf. 49, No. 5, 313-341 (2012).
WorldCat.org
5
PDF XML AMS-TeX TEXT BIBTeX DOI
Algebras for iteration and infinite computations. (English)
Acta Inf. 49, No. 5, 343-359 (2012).
WorldCat.org
6
PDF XML AMS-TeX TEXT BIBTeX DOI
An algorithmic study of switch graphs. (English)
Acta Inf. 49, No. 5, 295-312 (2012).
WorldCat.org
7
PDF XML AMS-TeX TEXT BIBTeX DOI
Prefix-primitive annihilators of languages under some operations. (English)
Acta Inf. 49, No. 5, 281-293 (2012).
WorldCat.org
8
PDF XML AMS-TeX TEXT BIBTeX DOI
Stochastic game logic. (English)
Acta Inf. 49, No. 4, 203-224 (2012).
WorldCat.org
9
PDF XML AMS-TeX TEXT BIBTeX DOI
First-order logics: some characterizations and closure properties. (English)
Acta Inf. 49, No. 4, 225-248 (2012).
WorldCat.org
10
PDF XML AMS-TeX TEXT BIBTeX DOI
On timed alternating simulation for concurrent timed games. (English)
Acta Inf. 49, No. 4, 249-279 (2012).
WorldCat.org
11
PDF XML AMS-TeX TEXT BIBTeX DOI
Instruction sequence processing operators. (English)
Acta Inf. 49, No. 3, 139-172 (2012).
WorldCat.org
12
PDF XML AMS-TeX TEXT BIBTeX DOI
Least common container of tree pattern queries and its applications. (English)
Acta Inf. 49, No. 3, 173-202 (2012).
WorldCat.org
13
PDF XML AMS-TeX TEXT BIBTeX DOI
A trace-based service semantics guaranteeing deadlock freedom. (English)
Acta Inf. 49, No. 2, 69-103 (2012).
WorldCat.org
14
PDF XML AMS-TeX TEXT BIBTeX DOI
The identity problem of finitely generated bi-ideals. (English)
Acta Inf. 49, No. 2, 105-115 (2012).
WorldCat.org
15
PDF XML AMS-TeX TEXT BIBTeX DOI
Nonterminal complexity of one-sided random context grammars. (English)
Acta Inf. 49, No. 2, 55-68 (2012).
WorldCat.org
16
PDF XML AMS-TeX TEXT BIBTeX DOI
Using transition set sequences to partition behaviors of Petri nets. (English)
Acta Inf. 49, No. 1, 15-28 (2012).
WorldCat.org
17
PDF XML AMS-TeX TEXT BIBTeX DOI
An efficient algorithm for finding ideal schedules. (English)
Acta Inf. 49, No. 1, 1-14 (2012).
WorldCat.org
18
PDF XML AMS-TeX TEXT BIBTeX DOI
Equational weighted tree transformations. (English)
Acta Inf. 49, No. 1, 29-52 (2012).
WorldCat.org
19
PDF XML AMS-TeX TEXT BIBTeX DOI
Erratum to: “Avoidable binary patterns in partial words". (English)
Acta Inf. 49, No. 1, 53-54 (2012).
WorldCat.org
20
PDF XML AMS-TeX TEXT BIBTeX DOI
first | previous | 1 21 41 61 81 101 | next | last

Result 1 to 20 of 1345 total

Valid XHTML 1.0 Transitional Valid CSS!