|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
16 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | A polynomial nominal unification algorithm |
Calvès, Christophe |
2008 |
403 | 2-3 |
p. 285-306 22 p. |
artikel |
|
| 2 | Arity hierarchy for temporal logics |
Rabinovich, Alexander |
2008 |
403 | 2-3 |
p. 373-381 9 p. |
artikel |
|
| 3 | CERES: An analysis of Fürstenberg’s proof of the infinity of primes |
Baaz, Matthias |
2008 |
403 | 2-3 |
p. 160-175 16 p. |
artikel |
|
| 4 | Corrigendum to: “The category theoretic solution of recursive program schemes” [Theoret. Comput. Sci. 366 (2006) 3–59] |
Milius, Stefan |
2008 |
403 | 2-3 |
p. 409-415 7 p. |
artikel |
|
| 5 | Density elimination |
Ciabattoni, Agata |
2008 |
403 | 2-3 |
p. 328-346 19 p. |
artikel |
|
| 6 | Equational abstractions |
Meseguer, José |
2008 |
403 | 2-3 |
p. 239-264 26 p. |
artikel |
|
| 7 | Loop detection in term rewriting using the eliminating unfoldings |
Payet, Étienne |
2008 |
403 | 2-3 |
p. 307-327 21 p. |
artikel |
|
| 8 | Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof |
Dufourd, Jean-François |
2008 |
403 | 2-3 |
p. 133-159 27 p. |
artikel |
|
| 9 | S4 enriched multimodal categorial grammars are context-free: Corrigendum |
Plummer, Andrew R. |
2008 |
403 | 2-3 |
p. 406-408 3 p. |
artikel |
|
| 10 | Soft constraint abstraction based on semiring homomorphism |
Li, Sanjiang |
2008 |
403 | 2-3 |
p. 192-201 10 p. |
artikel |
|
| 11 | Testing data processing-oriented systems from stream X-machine models |
Ipate, Florentin |
2008 |
403 | 2-3 |
p. 176-191 16 p. |
artikel |
|
| 12 | Uniformity and the Taylor expansion of ordinary lambda-terms |
Ehrhard, Thomas |
2008 |
403 | 2-3 |
p. 347-372 26 p. |
artikel |
|
| 13 | Verification of well-formed communicating recursive state machines |
Bozzelli, Laura |
2008 |
403 | 2-3 |
p. 382-405 24 p. |
artikel |
|
| 14 | Weighted monadic datalog |
Stüber, Torsten |
2008 |
403 | 2-3 |
p. 221-238 18 p. |
artikel |
|
| 15 | When are Timed Automata weakly timed bisimilar to Time Petri Nets? |
Bérard, B. |
2008 |
403 | 2-3 |
p. 202-220 19 p. |
artikel |
|
| 16 | World-set decompositions: Expressiveness and efficient algorithms |
Olteanu, Dan |
2008 |
403 | 2-3 |
p. 265-284 20 p. |
artikel |
16 gevonden resultaten