|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
13 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Affine Completeness of Some Free Binary Algebras |
Arnold, André |
|
186 | 1-4 |
p. 27-44 |
artikel |
|
| 2 | A Generalization of Falsity in Finitely-many Valued Logics |
Francez, Nissim |
|
186 | 1-4 |
p. 121-132 |
artikel |
|
| 3 | A Note on Calculi for Non-deterministic Many-valued Logics |
Kaminski, Michael |
|
186 | 1-4 |
p. 143-153 |
artikel |
|
| 4 | Boris (Boaz) Trakhtenbrot — The Beginning |
Trakhtenbrot, Mark |
|
186 | 1-4 |
p. 219-236 |
artikel |
|
| 5 | Morphisms and Minimisation of Weighted Automata |
Lombardy, Sylvain |
|
186 | 1-4 |
p. 195-218 |
artikel |
|
| 6 | On the Tutte and Matching Polynomials for Complete Graphs |
Kotek, Tomer |
|
186 | 1-4 |
p. 155-173 |
artikel |
|
| 7 | Order-theoretic Trees: Monadic Second-order Descriptions and Regularity |
Courcelle, Bruno |
|
186 | 1-4 |
p. 89-120 |
artikel |
|
| 8 | Preface |
Avron, Arnon |
|
186 | 1-4 |
p. v-viii |
artikel |
|
| 9 | Resource Bisimilarity in Petri Nets is Decidable |
Lomazova, Irina A. |
|
186 | 1-4 |
p. 175-194 |
artikel |
|
| 10 | Solving Infinite Games in the Baire Space |
Brütsch, Benedikt |
|
186 | 1-4 |
p. 63-88 |
artikel |
|
| 11 | Structure and Power: an Emerging Landscape |
Abramsky, Samson |
|
186 | 1-4 |
p. 1-26 |
artikel |
|
| 12 | The 1966 International Congress of Mathematicians: A Micro-memoir |
Gurevich, Yuri |
|
186 | 1-4 |
p. 133-141 |
artikel |
|
| 13 | Towards Syntactic Epistemic Logic |
Artemov, Sergei |
|
186 | 1-4 |
p. 45-62 |
artikel |
13 gevonden resultaten