|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
12 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Author Index for Volume 118 |
1995 |
118 | 2 |
p. 341- 1 p. |
artikel |
||
| 2 | Deciding Branching Bisimilarity of Normed Context-Free Processes Is in Σp 2 |
Caucal, D. |
1995 |
118 | 2 |
p. 306-315 10 p. |
artikel |
|
| 3 | Economy of Description for Single-Valued Transducers |
Weber, A. |
1995 |
118 | 2 |
p. 327-340 14 p. |
artikel |
|
| 4 | Full Abstraction and Expressive Completeness for FP |
Halpern, J.Y. |
1995 |
118 | 2 |
p. 246-271 26 p. |
artikel |
|
| 5 | How Inductive Inference Strategies Discover Their Errors |
Freivalds, R. |
1995 |
118 | 2 |
p. 208-226 19 p. |
artikel |
|
| 6 | On Embeddings in Cycles |
Hromkovic, J. |
1995 |
118 | 2 |
p. 302-305 4 p. |
artikel |
|
| 7 | On the Learnability of Infinitary Regular Sets |
Maler, O. |
1995 |
118 | 2 |
p. 316-326 11 p. |
artikel |
|
| 8 | Recursive Data Types in Algebraically ω-Complete Categories |
Adamek, J. |
1995 |
118 | 2 |
p. 181-190 10 p. |
artikel |
|
| 9 | Regular Languages Defined with Generalized Quantifiers |
Straubing, H. |
1995 |
118 | 2 |
p. 289-301 13 p. |
artikel |
|
| 10 | Split and ST Bisimulation Semantics |
Gorrieri, R. |
1995 |
118 | 2 |
p. 272-288 17 p. |
artikel |
|
| 11 | Transition-Systems, Event Structures, and Unfoldings |
Nielsen, M. |
1995 |
118 | 2 |
p. 191-207 17 p. |
artikel |
|
| 12 | Unambiguous Auxiliary Pushdown Automata and Semi-unbounded Fan-in Circuits |
Niedermeier, R. |
1995 |
118 | 2 |
p. 227-245 19 p. |
artikel |
12 gevonden resultaten